Live and maximally permissive controller synthesis using the theory of regions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Live and maximally permissive controller synthesis using the theory of regions

Abstract

This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions. The proposed approach synthesizes in two steps an optimal Petri net-based controller, whenever such a controller exists. First, the behavior of the closed loop system is computed with a Ramadge-Wonham-like approach. Then, control places, that realize the computed behavior when added to the original model, are synthesized. Necessary and sufficient condition of the existence of such places is obtained. A manufacturing application of the method shows its efficiency.
Not file

Dates and versions

inria-00100952 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100952 , version 1

Cite

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Live and maximally permissive controller synthesis using the theory of regions. Symposium of the supervisory control of discrete event systems, Jul 2002, Paris, France. ⟨inria-00100952⟩
95 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More