Formal Controller Synthesis from Hybrid Programs

Vladimir Sinyakov (1) , Antoine Girard (1)

1 L2S - Laboratoire des signaux et systèmes

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.

Domaines: Optimisation et contrôle [math.OC]; Automatique / Robotique; Systèmes et contrôle [cs.SY]

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⟩