Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
2014 ◽
Vol 25
(14)
◽
pp. 2328-2347
◽
1981 ◽
Vol 34
(4)
◽
pp. 781-800
◽
Keyword(s):
2020 ◽
Vol 357
(12)
◽
pp. 8118-8136
Keyword(s):
2018 ◽
Vol 122
◽
pp. 77-85
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 50
(4)
◽
pp. 493-504
◽
Keyword(s):