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

https://hal.archives-ouvertes.fr/hal-02053179
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

File

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

Identifiers

Citation

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⟩

Share

Metrics

Record views

53

Files downloads

43