Reduction of constraints for controller synthesis based on safe Petri Nets

In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a lar...

Full description

Saved in:
Bibliographic Details
Published in:Automatica (Oxford) 2008-07, Vol.44 (7), p.1697-1706
Main Authors: Dideban, Abbas, Alla, Hassane
Format: Article
Language:English
Subjects:
Applied sciences
Automatic Control Engineering
Computer Science
Computer science
control theory
systems
Control system synthesis
Control theory. Systems
Controller synthesis
Discrete Event Systems (DES)
Exact sciences and technology
Forbidden states
Modelling and identification
Petri Nets
Supervisory control
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a large number of control places. A systematic method to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2007.10.031