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.6025OpenAlexW1790432088MaRDI 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
Application models in control theory (93C95) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (6)
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Optimal and robust controller synthesis. Using energy timed automata with uncertainty ⋮ Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
This page was built for publication: A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example