Formal controller synthesis from specifications given by discrete-time hybrid automata
2021 ◽
Vol 131
◽
pp. 109768
Vladimir Sinyakov
◽
Antoine Girard
2003 ◽
Vol 85
(5)
◽
pp. 261-266
2005 ◽
Vol 13
(5)
◽
pp. 630-643
◽
C.-L. Chen
◽
G. Feng
◽
X.-P. Guan
Haipeng Zhao
◽
J. Bentsman
Renan L. Pereira
◽
Matheus S. de Oliveira
2005 ◽
Vol 6
(S1)
◽
pp. 87-93
◽
Yan-hu Zhang
◽
Wen-jun Yan
◽
Jian-ning Lu
◽
Guang-zhou Zhao
R. Vidal
◽
S. Schaffert
◽
O. Shakernia
◽
J. Lygeros
◽
S. Sastry
2011 ◽
Vol 14
(5)
◽
pp. 1194-1204
◽
Yohei Hosoe
◽
Tomomichi Hagiwara
1992 ◽
Vol 38
(12)
◽
pp. 1923-1945
◽
Masoud Soroush
◽
Costas Kravaris
Marvin H.M. Cheng
◽
Cheng-Yi Chen