Controller synthesis by petri nets modeling

Authors:
Abbas Dideban;Hassane Alla
Affiliations:
Semnan University, IRAN;GIPSA lab, St Martin d'Heres Cedex FRANCE
Venue:
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Year:
2009

Citing 5
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
Digital Design

Digital Design
Reduction of constraints for controller synthesis based on safe Petri Nets

Automatica (Journal of IFAC)
Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event systems are the cause of forbidden states in supervisory control. This paper concerns the problem of forbidden states in safe Petri Net. We present different methods to reduce the number of constraints that prevent from forbidden states. Using these methods, we can construct a maximally permissive controller. The implementation of these approaches is considered using the SFC model.