| | |
Summary: Automated Synthesis of Liveness Enforcing Supervisors Using
Petri Nets
Technical Report of the ISIS Group
at the University of Notre Dame
ISIS-00-004
October, 2000
Revised in January 2001 and May 2002
Marian V. Iordache John O. Moody Panos J. Antsaklis
Department of Lockheed Martin Department of
Electrical Engineering Federal Systems Electrical Engineering
University of Notre Dame 1801 State Rt. 17C, MD 0210 University of Notre Dame
Notre Dame, IN 46556 Owego, NY 13827-3998 Notre Dame, IN 46556
iordache.1@nd.edu john.moody@lmco.com antsaklis.1@nd.edu
Interdisciplinary Studies of Intelligent Systems
Marian V. Iordache, John O. Moody and Panos J. Antsaklis, "Automated Synthesis of Liveness Enforcing
Supervisors Using Petri Nets," Technical Report isis-00-004, Dept. of Electrical Engr., Univ. of Notre Dame,
October 2000.
AUTOMATED SYNTHESIS OF LIVENESS ENFORCING
SUPERVISORS USING PETRI NETS
Marian V. Iordache
|
