Computing Differential Invariants of Hybrid Systems as Fixedpoints
2008 ◽
pp. 176-189
◽
2009 ◽
Vol 35
(1)
◽
pp. 98-120
◽
2014 ◽
Vol 184
(11)
◽
pp. 1237-1248
◽
Keyword(s):
2002 ◽
Vol 34
(11)
◽
pp. 8
Keyword(s):