A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
From MaRDI portal
Publication:4647861
DOI10.1007/978-3-642-32759-9_38zbMath1373.93125arXiv1203.6025MaRDI QIDQ4647861
Naijun Zhan, Deepak Kapur, Kim Guldstrand Larsen, Heng-Jun Zhao
Publication date: 8 November 2012
Published in: FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.6025
93C95: Application models in control theory
93B50: Synthesis problems
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Optimal and robust controller synthesis using energy timed automata with uncertainty, Optimal and robust controller synthesis. Using energy timed automata with uncertainty, Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems, Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF, Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, Formal Modelling, Analysis and Verification of Hybrid Systems