\textit{AP}-observation automata for abstraction-based verification of continuous-time systems

DOI10.1007/978-3-032-11176-0_20MaRDI QIDQ6840982zbMATH OpenFDO

Authors Sasinee Pruekprasert, Clovis Eberhart

Publication date 20 March 2026

Full work available at URL https://doi.org/10.1007/978-3-032-11176-0_20

zbMATH Keywords

abstractionautomatacontinuous-time systemlinear temporal logicsymbolic controlverification

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) System structure simplification (93B11) Synthesis problems (93B50)

Cites work

• An Approximate Simulation Approach to Symbolic Control
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions
• Dynamical properties of hybrid automata
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Hybrid systems
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Linear temporal logic symbolic model checking
• Nonlinear systems.
• On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees
• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Synthesizing Communication Plans for Reachability and Safety Specifications
• Zonotope-based symbolic controller synthesis for linear temporal logic specifications

This page was built for publication: \textit{AP}-observation automata for abstraction-based verification of continuous-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6840982)