Timed-automata abstraction of switched dynamical systems using control funnels

DOI10.1007/978-3-319-22975-1_5MaRDI QIDQ2945582zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Timed-automata abstraction of switched dynamical systems using control invariants
• Formal synthesis of stabilizing controllers for switched systems
• Complete abstractions of dynamical systems by timed automata
• Verification of continuous dynamical systems by timed automata
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Cites work

• A theory of timed automata
• Approximating Continuous Systems by Timed Automata
• Complete abstractions of dynamical systems by timed automata
• Computability with low-dimensional dynamical systems
• scientific article; zbMATH DE number 1182386 (Why is no real title available?)
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Trajectory Based Verification Using Local Finite-Time Invariance
• Updatable timed automata

Cited in

(4)

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

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

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