Assume-guarantee contracts for continuous-time systems
2021 ◽
Vol 134
◽
pp. 109910
Adnane Saoud
◽
Antoine Girard
◽
Laurent Fribourg
1993 ◽
Vol 140
(3)
◽
pp. 181
◽
Kenneth R. Shouse
◽
David G. Taylor
Franco Blanchini
◽
Mario Sznaier
Tian Feng
◽
Baowei Wu
◽
Yue-E Wang
◽
YangQuan Chen
E. Nobuyama
◽
S. Shin
◽
T. Kitamori
Ziyu Lin
◽
Jingliang Duan
◽
Shengbo Eben Li
◽
Jie Li
◽
Haitong Ma
◽
...
2008 ◽
Vol 53
(7)
◽
pp. 1661-1669
◽
Marco C. Campi
◽
Toshiharu Sugie
◽
Fumitoshi Sakai
2005 ◽
Vol 38
(1)
◽
pp. 83-88
◽
Fumitoshi Sakai
◽
Toshiharu Sugie