Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study

DOI10.1007/978-3-642-00602-9_7zbMath1237.93058OpenAlexW1563355994MaRDI QIDQ3624564

Franck Cassez, Jan J. Jessen, Pierre-Alain Reynier, Kim Guldstrand Larsen, Jean-François Raskin

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_7

Mathematics Subject Classification ID

Application models in control theory (93C95) Design techniques (robust design, computer-aided design, etc.) (93B51) Synthesis problems (93B50)

Related Items (12)

Expected reachability-time games ⋮ Model Checking Real-Time Systems ⋮ Average-energy games ⋮ Reachability games with relaxed energy constraints ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ Bounding Average-Energy Games ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Optimal and robust controller synthesis. Using energy timed automata with uncertainty ⋮ A game approach to the parametric control of real-time systems

Uses Software

• PHAVer
• HyTech
• Simulink
• Uppaal
• UPPAAL TIGA

Cites Work

• Timed Control with Observation Based and Stuttering Invariant Strategies
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study