By Topic

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. ; CUCEI - Dept. de Comput., Univ. de Guadalajara, Guadalajara ; Ramirez-Trevio, A. ; De Jesus-Velasquez, C. ; Aguirre-Salas, L.I.

This paper deals with supervisory control of discrete event systems (DES) modeled by interpreted Petri nets (IPN). In the approach herein proposed, both, the specification and the system model are described by IPN, however, the specification describes a state subset that the specification must reach. It also captures the order in which these states must be reached. Based on this framework, this paper presents a method to compute the system firing transition sequence in order to confine the system model into the specification behavior. Although this problem is NP-complete, the proposed solution exploits the structural information of both IPN (system and specification) to compute Parikh vectors of system firing sequences; one vector per each transition of the specification. These Parikh vectors are processed in order to obtain controllable fireable transition sequences. Thus a divide and conquer technique is used, where the NP-complete problem divided into k small size problems (where k is the number of specification transitions), reducing the computational time of proposed algorithms. Moreover, the technique herein presented is suitable for distributed and hierarchical control. All algorithms herein purposed have being implemented in MAPLE.

Published in:

Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on

Date of Conference:

15-18 Sept. 2008