Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets
 

Summary: Synthesis of Supervisors Enforcing General Linear Vector
Constraints in Petri Nets
Marian V. Iordache and Panos J. Antsaklis1 2
The 2002 American Control Conference, May 8-10, Anchorage, Alaska.
Abstract
This paper considers the problem of enforcing lin-
ear constraints containing marking terms, firing vec-
tor terms, and Parikh vector terms. Such constraints
increase the expressivity power of the linear marking
constraints. We show how this new type of constraints
can be enforced in Petri nets. In the case of fully con-
trollable and observable Petri nets, we give the con-
struction of a supervisor enforcing such constraints. In
the case of Petri nets with uncontrollable and/or unob-
servable transitions, we reduce the supervisor synthesis
problem to enforcing linear marking constraints on a
transformed Petri net.
1 Introduction
In this paper we consider a supervisory control prob-
lem for discrete event systems modeled as Petri nets,

  

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

 

Collections: Engineering