Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automated Synthesis of Liveness Enforcing Supervisors Using Technical Report of the ISIS Group
 

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

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering