共 18 条
[11]
Timed Petri nets in hybrid systems: Stability and supervisory control
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
1998, 8 (02)
:137-173
[13]
KOUTSOUKOS XD, 2001, 4 INT WORKSH HYBR SY
[14]
KOUTSOUKOS XD, 2001, ISIS2001001
[16]
STIVER JA, IN PRESS HYBRID SYST
[17]
Xu XP, 2000, IEEE DECIS CONTR P, P1822, DOI 10.1109/CDC.2000.912127