Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems
2002 ◽
Vol 58
(4-6)
◽
pp. 295-307
◽
2005 ◽
Vol 13
(5)
◽
pp. 630-643
◽
Keyword(s):
Keyword(s):