论文信息 - Optimal Supervisory Control Synthesis

Optimal Supervisory Control Synthesis

The place invariant method is well known as an elegant way to construct a Petri net controller. It is possible to use the constraint for preventing forbidden states. But in general case, the number forbidden states can be very large giving a great number of control places. In this paper is presented a systematic method to reduce the size and the number of constraints. This method is applicable for safe and conservative Petri nets giving a maximally permissive controller.

Hassane Alla

[1] P. Ramadge,et al. Modular feedback logic for discrete event systems , 1987 .

[2] Alessandro Giua,et al. Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[3] Wolfgang Henseler,et al. Digital Design , 2003 .

[4] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[5] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .

[6] Nidhal Rezg,et al. Supervisory controller of petri nets under partial observation , 2004 .

[7] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .

[8] Ratnesh Kumar,et al. Supervisory control of deterministic Petri nets with regular specification languages , 1996, IEEE Trans. Autom. Control..

[9] Panos J. Antsaklis,et al. Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[10] Panos J. Antsaklis,et al. Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[11] Bassam Kattan. Synthèse structurelle d'un contrôleur basée sur le Grafcet , 2004 .

[12] Calin Munteanu,et al. A DES-supported agent-based control architecture for flexible manufacturing systems , 2004 .