Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Decentralized Control of Petri Nets with Constraint Transformations

Summary: Decentralized Control of Petri Nets with Constraint
Marian V. Iordache and Panos J. Antsaklis1,2
Supervision based on place invariants (SBPI) has been
effectively used for the centralized supervisory control
of Petri nets. In the SBPI approach, specifications are
classified as admissible or inadmissible, and inadmis-
sible specifications are enforced by transforming them
first to a (more restrictive) admissible form. This pa-
per considers the transformation to admissible spec-
ifications in a decentralized setting. In this setting,
the system can only be controlled and observed lo-
cally. The design goal is to find local supervisors, each
controlling and observing a part of the system, such
that a global specification is enforced. The feasibility
of this problem is demonstrated with a simple integer
programming approach. This approach can incorpo-
rate communication between local supervisors as well
as communication constraints.


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


Collections: Engineering