Control synthesis approach for DES modelled by Petri Nets

Bekrar, Rebiha; Messai, Nadhir; Essounbouli, Najib; Hamzaoui, Abdelaziz; Riera, Bernard

doi:10.3182/20080706-5-kr-1001.00605

Cited by 1 publication

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work in [2] considers the desired behavior iden tification problem in Petri nets in which the transitions are controllable and the places are measurable or non measurable. The concept of influence paths is proposed, from which the feasible transition sequences can be derived such that the observable behavior does not violate the control specifications.…”

Section: Introductionmentioning

confidence: 99%

A monitor solution to enforce legal transition firing sequences problems by using Petri nets

Gao

Wang

et al. 2014

2014 IEEE International Conference on Automation Science and Engineering (CASE)

View full text Add to dashboard Cite

This paper focuses on supervisory control of a class of discrete event systems with known initial and desti nation states, whose evolution conforms to a set of specified linear or non-linear constraints. A supervisor is designed, which supervises the considered system to evolve and finally to reach the destination state with minimal costs without violating the specified constraints. A partial structure of the Petri net model of a system is first created by the constraints. Then, we find the destination state under the constraints by a search algorithm with least cost. A legal transition firing sequence can be found by solving integer programming problems with the constraints of the created model and the result of the search algorithm. Otherwise, a more exhaustive model is made under the limit of the constraints. Then, a set of control places is used to implement the transition sequence by introducing a set of complementary transitions. A mental game example is used to demonstrate the proposed approaches.

show abstract

Section: Introductionmentioning

confidence: 99%