Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
462 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 45, NO. 3, MARCH 2000 Petri Net Supervisors for DES with Uncontrollable
 

Summary: 462 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 45, NO. 3, MARCH 2000
Petri Net Supervisors for DES with Uncontrollable
and Unobservable Transitions
John O. Moody, Member, IEEE, and Panos J. Antsaklis, Fellow, IEEE
Abstract--A supervisor synthesis technique for Petri net plants
with uncontrollable and unobservable transitions that enforces the
conjunction of a set of linear inequalities on the reachable mark-
ings of the plant is presented. The approach is based on the concept
of Petri net place invariants. Each step of the procedure is illus-
trated through a running example involving the supervision of a
robotic assembly cell. The controller is described by an auxiliary
Petri net connected to the plant's transitions, providing a unified
Petri net model of the closed-loop system. The synthesis technique
is based on the concept of admissible constraints. An inadmissible
constraint cannot be directly enforced on a plant because of the un-
controllability or unobservability of certain plant transitions. Pro-
cedures are given for identifying all admissible linear constraints
for a plant with uncontrollable and unobservable transitions, as
well as methods for transforming inadmissible constraints into ad-
missible ones. When multiple transformations of this kind occur, a

  

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

 

Collections: Engineering