Buchumschlag

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kochdumper, Niklas, Bak, Stanley
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Systems and Control Dynamical Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2022)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2019)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
von: Monir, Negar, et al.
Veröffentlicht: (2025)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

Barrier Certificates for Uncertain Temporal Specifications
von: Mamduhi, Mohammad H., et al.
Veröffentlicht: (2026)

On Piecewise Affine Reachability with Bellman Operators
von: Varonka, Anton, et al.
Veröffentlicht: (2025)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
von: Ghorbel, Bassem, et al.
Veröffentlicht: (2024)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
von: Huang, Yushen, et al.
Veröffentlicht: (2024)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2025)

Quantitative Monitoring of Signal First-Order Logic
von: Chalupa, Marek, et al.
Veröffentlicht: (2026)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Joint Learning of Linear Time-Invariant Dynamical Systems
von: Modi, Aditya, et al.
Veröffentlicht: (2021)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Towards Automatic Linearization via SMT Solving
von: Cao, Jian, et al.
Veröffentlicht: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
von: Koul, Prajval, et al.
Veröffentlicht: (2025)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
von: Tang, Valdemar, et al.
Veröffentlicht: (2024)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
von: Kurpiewski, Damian, et al.
Veröffentlicht: (2025)

Determining the Winner in Alternating-Move Games
von: Bellaïche, Itamar, et al.
Veröffentlicht: (2026)

The Reachability Problem for Neural-Network Control Systems
von: Schilling, Christian, et al.
Veröffentlicht: (2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
von: Lewis, Marco, et al.
Veröffentlicht: (2024)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
von: Haimovich, Hernan, et al.
Veröffentlicht: (2026)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Stratifying Reinforcement Learning with Signal Temporal Logic
von: Curry, Justin, et al.
Veröffentlicht: (2026)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
von: Simmons, William, et al.
Veröffentlicht: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)