Please use this identifier to cite or link to this item:
Title: Non-blocking step state-feedback supervisory control of discrete event systems using interpreted Petri nets
Author: Santoyo-Sanchez, A.
Aguirre-Salas, L.I.
Villanueva-Novelo, C.
De Jesus-Velasquez, C.
Issue Date: 2009
Abstract: 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).
Appears in Collections:Producción científica UdeG (prueba)

Files in This Item:
There are no files associated with this item.

Items in RIUdeG are protected by copyright, with all rights reserved, unless otherwise indicated.