A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation
Kun Zhang
◽
Jonathan Sprinkle
2020 ◽
Vol 156
◽
pp. 719-730
◽
Bart M. Doekemeijer
◽
Daan van der Hoek
◽
Jan-Willem van Wingerden
Dan Yao
◽
Hong Lu
◽
Xiangyang Xue
◽
Zhongyi Zhou
2019 ◽
Vol 58
(49)
◽
pp. 22165-22177
◽
Conor Waldron
◽
Arun Pankajakshan
◽
Marco Quaglio
◽
Enhong Cao
◽
Federico Galvanin
◽
...
2010 ◽
Vol 4
(1)
◽
pp. 23
◽
E.B. Muhando
◽
T. Senjyu
◽
K. Uchida
◽
H. Kinjo
◽
T. Funabashi
2021 ◽
Vol 1888
(1)
◽
pp. 012006
Daniel Chindamo
◽
Marco Gadola
◽
Emanuele Bonera
◽
Paolo Magri
Esmaeil Najafi
◽
Mahdi Ansari
2004 ◽
Vol 37
(22)
◽
pp. 29-34
◽
Giovanni Gaviani
◽
Giacomo Gentile
◽
Giovanni Stara
◽
Luigi Romagnoli
◽
Thomas Thomsen
◽
...
2021 ◽
Vol 386
◽
pp. 114092
Christoph M. Augustin
◽
Matthias A.F. Gsell
◽
Elias Karabelas
◽
Erik Willemen
◽
Frits W. Prinzen
◽
...
2021 ◽
Vol 54
(3)
◽
pp. 481-486
Lloyd MacKinnon
◽
Christopher L.E. Swartz