Identification of incompatible states in mode switching

Faraut, Grégory; Praly, Laurent; Niel, Éric

doi:10.1109/etfa.2008.4638382

Cited by 8 publications

(4 citation statements)

References 10 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…They allow to have the whole view on each mode that can be visited by the system. The present approach is also adapted to the one presented in supervisory control of discrete-event systems discussed in [6], [4]. This model can be used to track component involved in a mode switching.…”

Section: S Witch(k) = S Witch(k) → ∪ S Witch(k) ←mentioning

confidence: 96%

See 1 more Smart Citation

A framework for FSM based multi-model approach to interconnected components' network

Birregah

Adjallah

2009

2009 IEEE International Conference on Systems, Man and Cybernetics

View full text Add to dashboard Cite

This paper presents a framework of multi-model based approach for interconnected components network by finite state machine model. The main concept on which we base our approach is the fact that, in a context of interconnected components, due to the influence of some components named here key-components the system can switch from one mode to another. The influence of these components can be measured by the level of involvement in the switching events. The proposed approach can be applied to embedded systems in which we propose to consider the controller as a part of the system.

show abstract

Section: S Witch(k) = S Witch(k) → ∪ S Witch(k) ←mentioning

confidence: 96%

“…OutS t(k)). The notion of States-out may be understanded as marked states commonly used in theory of control of discret event systems [4], [5]. The States-in may be viewed as initial states of the automaton representing the mode.…”

Section: P = Keyc P(r S) ∪ Keyc P(r S)mentioning

confidence: 99%

A framework for FSM based multi-model approach to interconnected components' network

Birregah

Adjallah

2009

2009 IEEE International Conference on Systems, Man and Cybernetics

View full text Add to dashboard Cite

show abstract

“…This is an usual way in the industry to study and to design independently the mode between them. The models then 1551-3203/$26.00 © 2009 IEEE are extended to include the mode switching [29]. The significant contribution, as presented in this article, is the identification of incompatibility for the mode switching, and the inconsistency (several states are possible to be reached by one commutation, meaning a lost of information) of the specifications.…”

Section: Introductionmentioning

confidence: 99%

Formal Approach to Multimodal Control Design: Application to Mode Switching

Faraut

Praly

Niel

2009

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

International audienceA framework based on supervisory control theory (SCT) is proposed to assist the design of multi-modal control for discrete-event systems (DESs). Our purpose handled modes which are conceptualized by using multi-model approach. Each mode represents a running part of the system, depending on the requirements to enforce and resources to activate. The resulted framework aims to design each mode independently first, and resolves conflicting connections between them secondly. The proposal carries out a formal way to build the final ready-to-use control laws. A flexible manufacturing system illustrates this approach

show abstract

“…Si cette dernière est perçue en terme de stabilité pour les systèmes continus et hybrides, il s'agira de cohérence d'états et de conformité de spécifications pour les SED. Les travaux présentés dans (Faraut et al, 2008) répondaient à l'identification de ces incompatibilités et offraient au concepteur une méthode de synthèse de lois de commande conformes à la gestion des modes.…”

Section: Introductionunclassified

Démarche d'aide à la conception par approche multimode des SED

Faraut¹,

Praly²,

Niel³

2009

ournal Européen des Systèmes Automatisés

Self Cite

View full text Add to dashboard Cite

Basé sur la théorie du contrôle par supervision (TCS), nous proposons une démarche d'aide à l'étude de la dynamique des Systèmes à Événements Discrets (SED). Située en amont du cycle de conception des lois de commande des SED, notre proposition concerne la gestion des modes de fonctionnement. L'objectif est de permettre tout d'abord l'étude formelle de la dynamique du système contrôlé dans chaque mode puis celle de la succession de ces dynamiques. Dans cet article nous insisterons particulièrement sur la présentation des différentes étapes de construction et de génération automatique des modèles ainsi que sur les possibilités de validation de ceux-ci. ABSTRACT. Based on the Supervisory Control Theory, this paper introduces a framework to help study the dynamics of Discrete Event Systems (DES). Upstream of the design process of control law in DES, the proposal focuses on the management modes of operation. The goal is to first allowing a formal study of the controlled system's dynamics in each mode and secondly studying the mode switching. This article is focused on the presentation of the different stages of design, the automatic generation of models and the possibilities of validating them. MOTS-CLÉS : Systèmes à Événements Discrets (SED), Théorie de contrôle par supervision (TCS), approche multimode, aide à la conception, méthode formelle

show abstract

Identification of incompatible states in mode switching

Cited by 8 publications

References 10 publications

A framework for FSM based multi-model approach to interconnected components' network

A framework for FSM based multi-model approach to interconnected components' network

Formal Approach to Multimodal Control Design: Application to Mode Switching

Démarche d'aide à la conception par approche multimode des SED

Contact Info

Product

Resources

About