Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels

DOI10.1007/978-3-319-22975-1_5zbMath1465.68136OpenAlexW2188869759MaRDI QIDQ2945582

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

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_5

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 (3)

Timed-automata abstraction of switched dynamical systems using control invariants ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next? ⋮ Adaptive fuzzy funnel control for nonlinear systems with input deadzone and saturation

Cites Work

• Unnamed Item
• 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
• Approximating Continuous Systems by Timed Automata
• Trajectory Based Verification Using Local Finite-Time Invariance

This page was built for publication: Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels