Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 454 Bytes

README.md

File metadata and controls

14 lines (9 loc) · 454 Bytes
Raw

Co4Pro

Correct by Construction Controllers from Control Programs (Toolbox)

Matlab Toolbox

Authors: Vladimir Sinyakov and Antoine Girard

References:

  1. Vladimir Sinyakov, Antoine Girard. Formal Synthesis from Control Programs IEEE Conference on Decision and Control, 2020, Jeju Island, South Korea

  2. Vladimir Sinyakov, Antoine Girard. Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata Preprint, hal-02361404v1