scholarly journals Formal controller synthesis from specifications given by discrete-time hybrid automata

Automatica ◽  
2021 ◽  
Vol 131 ◽  
pp. 109768
Author(s):  
Vladimir Sinyakov ◽  
Antoine Girard
Sign in / Sign up

Export Citation Format

Share Document