Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach

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.
Type de document :
Communication dans un congrès
13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. IEEE, pp.889-895, 2005
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00483946
Contributeur : Hervé Marchand <>
Soumis le : lundi 17 mai 2010 - 15:18:13
Dernière modification le : mercredi 11 avril 2018 - 01:51:52
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 14:54:14

Fichier

2005_med.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00483946, version 1

Collections

Citation

Benoit Gaudin, Hervé Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. 13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. IEEE, pp.889-895, 2005. 〈inria-00483946〉

Partager

Métriques

Consultations de la notice

106

Téléchargements de fichiers

108