Correct by Construction Controllers from Control Programs (Toolbox)
Matlab Toolbox
Authors: Vladimir Sinyakov and Antoine Girard
References:
-
Vladimir Sinyakov, Antoine Girard. Formal Synthesis from Control Programs IEEE Conference on Decision and Control, 2020, Jeju Island, South Korea
-
Vladimir Sinyakov, Antoine Girard. Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata Preprint, hal-02361404v1