By Topic

Non-blocking step state-feedback supervisory control of discrete event systems using Interpreted Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Santoyo-Sanchez, A. ; Dept. of Comput., Univ. de Guadalajara, Guadalajara, Mexico ; Aguirre-Salas, L.I. ; Villanueva-Novelo, C. ; De Jesus-Velasquez, C.

This paper deals with supervisory control of discrete event systems (DES) by state feedback in order to avoid uncontrollable specifications and blockings. It incorporates two levels of modeling that includes the system and specification model and secondly the interpretation of the specification model in term of the system model based on trace equivalence. Next the controller process is computed. In this approach the specification and the system model are described by interpreted Petri nets (IPN), and the specification describes a state subset that the specification must reach. It also captures the order, in which these states must be reached. The method to interpret the specification language in term of the system language includes structural information of both IPN (system and specification) to define trace equivalence, which to avoid blocking and uncontrollability. Moreover, this work presents a technique to modify trace equivalence based on the inclusion of uncontrollable events to guarantee controllability (compute of the infimal controllable language).

Published in:

Electrical Engineering, Computing Science and Automatic Control,CCE,2009 6th International Conference on

Date of Conference:

10-13 Jan. 2009