Reduction of constraints for controller synthesis based on safe Petri Nets |
| |
Authors: | Abbas Dideban [Author Vitae] Hassane Alla [Author Vitae] |
| |
Affiliation: | a Electrical Eng. Department, Semnan University, Semnan, Iran b Gipsa Lab, ENSIEG, BP46, 38402 Saint-Martin d’Hères, France |
| |
Abstract: | 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. |
| |
Keywords: | Discrete Event Systems (DES) Petri Nets Supervisory control Controller synthesis Forbidden states |
本文献已被 ScienceDirect 等数据库收录! |
|