 
Summary: X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
X.D. Koutsoukos and P.J. Antsaklis, "Supervisory Control Design of Hybrid Systems Modelled by Timed
Petri Nets Based on Invariant Properties, " P roc. o f t he 8 th I FAC/I F O RS/IMACS/IFIP/ S ymposium o n
Large S c ale S ystems: T heory a nd A pplication s (LSS'98), pp. 710715, Rio, Greece, July 1517, 1998.
