Formal Controller Synthesis from Hybrid Programs

Abstract : We consider a new way of describing complex control problems for dynamic systems called hybrid programs. Hybrid program is a finite state automaton whose states describe elementary tasks of reachability and safety defined on a transition system ([3, 5]). The proposed approach to complex control problems description could be seen as an alternative to linear temporal logic (see e.g. [1]). We provide an example to illustrate the approach.
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download
Contributor : Antoine Girard <>
Submitted on : Friday, March 1, 2019 - 10:13:39 AM
Last modification on : Monday, March 18, 2019 - 10:21:04 AM
Long-term archiving on : Thursday, May 30, 2019 - 1:25:11 PM


HSCC18-final (V. Sinyakov and ...
Files produced by the author(s)



Vladimir Sinyakov, Antoine Girard. Formal Controller Synthesis from Hybrid Programs. 21st International Conference on Hybrid Systems: Computation and Control, Apr 2018, Porto, Portugal. pp.271-272, ⟨10.1145/3178126.3186998⟩. ⟨hal-02053179⟩



Record views


Files downloads