Multi-Model approach to discrete events systems: Application to operating mode management

Kamach, Oulaïd; Praly, Laurent; Niel, Éric

doi:10.1016/j.matcom.2005.11.008

Cited by 23 publications

(9 citation statements)

References 11 publications

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: 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

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: 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

“…The words in K Mj (G Mj → G Mk ) may not have any switch events but would lead to a state where a switch event could happen. To follow these traces from the initial mode and detect them in the final mode to identify the equivalent states where a switch event could happen, we use the extended projection function introduced by authors of [5].…”

Section: Process Trackingmentioning

confidence: 99%

“…Our approach is based on the work of [5,6], which allows us to study the internal behavior of each mode independently. The main assumption is that the system is effectively operated in only one mode at any one time.…”

Section: Introductionmentioning

confidence: 99%

Identification of incompatible states in mode switching

Faraut

Praly

Niel

2008

2008 IEEE International Conference on Emerging Technologies and Factory Automation

View full text Add to dashboard Cite

Mode management is one of the problems in DiscreteEvents Systems control design. Even based on a simple specification, it is very difficult to prove that models of each mode and mutual interaction are correct. This paper demonstrates that Supervisory Control Theory is an effective tool for detecting specification incompatibilities because it clearly separates process, models and specifications. We use simple cases to present a method that introduces flexibility into mode specification. This method can be used to adjust or to modify incompatibilities between specifications and thereby promotes correct mode switching.

show abstract

“…It can also be performed after a shut down the system and an emptying of it. In manufacturing systems, working mode management (Kamach, et al, 2003) is responsible for the coordination of the machines during the reconfiguration. Working mode management insures that the state of the whole system remains safe and coherent.…”

Section: The Reconfiguration Processmentioning

confidence: 99%