Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
Ameneh Nejati
◽
Sadegh Soudjani
◽
Majid Zamani
1993 ◽
Vol 26
(2)
◽
pp. 437-440
G. Kalmanovich
◽
A.H. Haddad
2009 ◽
Vol 40
(12)
◽
pp. 1241-1251
◽
Ligang Wu
◽
Daniel W.C. Ho
◽
James Lam
1995 ◽
Vol 3
(1)
◽
pp. 127
Yu Wang
◽
Nima Roohi
◽
Matthew West
◽
Mahesh Viswanathan
◽
Geir E. Dullerud
Feng Lingyu
◽
Zhang Jian
◽
Mu Xiaowu
2010 ◽
Vol 36
(2)
◽
pp. 337-343
You-Li WU
◽
Yang-Wang FANG
◽
Hong-Qiang WANG
◽
Wen-Jie LIU
2021 ◽
Vol 54
(9)
◽
pp. 521-526
Zahra Vahdat
◽
Zikai Xu
◽
Abhyudai Singh
2011 ◽
Vol 56
(11)
◽
pp. 2688-2694
◽
Alessandro Abate
◽
Alessandro D'Innocenzo
◽
Maria D. Di Benedetto
2005 ◽
Vol 15
(15)
◽
pp. 669-689
◽
João Pedro Hespanha
◽
Abhyudai Singh