Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

gaudin05b

B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, June 2005.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

In this paper, we discuss the control of a particular class of Hierarchical Discrete Event Systems and the state avoidance control problem is considered. A methodology is provided that locally computes on each component of the system the set of bad states (these are the states that may lead to the forbidden states via an uncontrollable trajectory). This is performed without computing the whole system. At this point, the supervisor is evaluated on the fly w.r.t. the bad states and thus requires an on-line evaluation in order to determine the set of events that has to be disabled by control. It is performed in such a way that the global partial transition function does not need to be built

Contact

Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{gaudin05b,
   Author = {Gaudin, B. and Marchand, H.},
   Title = {Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach},
   BookTitle = {13th Mediterranean Conference on Control and Automation},
   Pages = {889--895},
   Address = {Limassol, Cyprus},
   Month = {June},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)