Timed-automata abstraction of switched dynamical systems using control invariants

DOI10.1007/S11241-016-9262-3zbMath1425.68181OpenAlexW2570955003MaRDI QIDQ1699229

Patricia Bouyer, Philipp Schlehuber-Caissier, Nicolas Markey, Nicolas Perrin

Publication date: 19 February 2018

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://hal.sorbonne-universite.fr/hal-01436413/file/Bouyer_2017_Timed-automata.pdf

zbMATH Keywords

timed automatacyber-physical systemsswitched dynamical systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Zone-based verification of timed automata: extrapolations, simulations and what next?

Uses Software

• UPPAAL TIGA

Cites Work

• Complete abstractions of dynamical systems by timed automata
• A theory of timed automata
• Computability with low-dimensional dynamical systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Updatable timed automata
• Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
• Approximating Continuous Systems by Timed Automata
• Trajectory Based Verification Using Local Finite-Time Invariance
• Unnamed Item
• Unnamed Item

This page was built for publication: Timed-automata abstraction of switched dynamical systems using control invariants