Authors:
KOUTSOUKOS XD
HE KX
LEMMON MD
ANTSAKLIS PJ
Citation: Xd. Koutsoukos et al., TIMED PETRI NETS IN HYBRID SYSTEMS - STABILITY AND SUPERVISORY CONTROL, Discrete event dynamic systems, 8(2), 1998, pp. 137-173
Citation: Ja. Stiver et al., A LOGICAL DES APPROACH TO THE DESIGN OF HYBRID CONTROL-SYSTEMS, Mathematical and computer modelling, 23(11-12), 1996, pp. 55-76
Citation: Xj. Yang et al., ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE IN THE DISCRETE-EVENT MODEL OF NONDETERMINISTIC HYBRID CONTROL-SYSTEMS, IEEE transactions on automatic control, 40(12), 1995, pp. 2098-2103