Optimal and robust controller synthesis. Using energy timed automata with uncertainty

DOI10.1007/978-3-319-95582-7_12zbMath1460.93031OpenAlexW2798491932MaRDI QIDQ2024347

Nicolas Markey, Uli Fahrenberg, Patricia Bouyer, Pierre-Alain Reynier, Giovanni Bacci, Kim Guldstrand Larsen

Publication date: 4 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_12

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (1)

Optimal and robust controller synthesis using energy timed automata with uncertainty

Uses Software

• Mathematica

Cites Work

• Unnamed Item
• Unnamed Item
• Complexity of stability and controllability of elementary hybrid systems
• A theory of timed automata
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Observability and controllability of piecewise affine and hybrid systems
• Timed automata with observers under energy constraints
• On Time with Minimal Expected Cost!
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
• CONCUR 2005 – Concurrency Theory
• Flat Parametric Counter Automata
• The stability of saturated linear dynamical systems is undecidable

This page was built for publication: Optimal and robust controller synthesis. Using energy timed automata with uncertainty