Formal Controller Synthesis from Hybrid Programs
DOI10.1145/3178126.3186998zbMath1417.93161OpenAlexW2795943051MaRDI QIDQ4561462
Antoine Girard, Vladimir Sinyakov
Publication date: 6 December 2018
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3178126.3186998
Formal languages and automata (68Q45) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
This page was built for publication: Formal Controller Synthesis from Hybrid Programs
