Research Article
Identification of Compatible States in Switching Mode
|
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
| Volume 72 - Issue 20 |
| Published: June 2013 |
| Authors: Asmae El Ghadouali, Oulaid Kamach, Benaissa Amami |
10.5120/12661-9447
|
Asmae El Ghadouali, Oulaid Kamach, Benaissa Amami . Identification of Compatible States in Switching Mode. International Journal of Computer Applications. 72, 20 (June 2013), 42-45. DOI=10.5120/12661-9447
@article{ 10.5120/12661-9447,
author = { Asmae El Ghadouali,Oulaid Kamach,Benaissa Amami },
title = { Identification of Compatible States in Switching Mode },
journal = { International Journal of Computer Applications },
year = { 2013 },
volume = { 72 },
number = { 20 },
pages = { 42-45 },
doi = { 10.5120/12661-9447 },
publisher = { Foundation of Computer Science (FCS), NY, USA }
}
%0 Journal Article
%D 2013
%A Asmae El Ghadouali
%A Oulaid Kamach
%A Benaissa Amami
%T Identification of Compatible States in Switching Mode%T
%J International Journal of Computer Applications
%V 72
%N 20
%P 42-45
%R 10.5120/12661-9447
%I Foundation of Computer Science (FCS), NY, USA
Abstract
Based on operating mode management, this paper introduces a new framework for studying dynamics of Discrete Event Systems (DES). Studied system presents several operating modes due to the state space explosion problem. To cure this problem, we propose a multi-model approach where each model describes a system in a given operating mode. We assume that only one attempted operating mode is activated at a time, whilst other modes must be inactivated. In order to ensure the alternation between these operating modes, we propose a formal approach using linear algebra. The commutation problem can be defined as compatibility problem when the behavior of physical system switches from an operating mode to another. The compatibility problem is treated as the consistency of current states when a mode generates an event activating the other mode. For this purpose, we introduce the notion of a compatible state in the switching mode.
References
- N. Dangoumau, A. Toguy´eni, and E. Craye. Functional and behavioral modeling for dependability in automated production systems. Journal of engineering manufacture, 216:389– 405, 2002.
- L. Pi´etrac G. Faraut and E. Niel. Identification of incompatible states in mode switching. In ETFA IEEE conference, pages 121–128, 2008.
- L. Pi´etrac G. Faraut and E. Niel. Formal approach to multimodal control design: Application to mode switching. IEEE Transactions on Industrial Informatics, 5:443–453, 2009.
- T. Gautier J-P. Talpin, C. Brunette and A. Gamatie. Polychronous mode automata. In 6th ACM & IEEE International conference on Embedded software, pages 83–92, 2006.
- F. Maraninchi and Y. Rmond. Mode-automata: a new domain-specic construct for the development of safe critical systems. Science of Computer Programming, 1:219–254, 2003.
- L. Pi´etrac O. Kamach and E. Niel. Repulsive/ attractive discrete state space sets for switching management. Studies in Informatics and Control Journal (SIC), 16:83–96, 2007.
- L. Pitrac O. Kamach and E. Niel. Multi-model approach to discrete events systems: application to operating mode management. Journal of Mathematics and Computers in Simulation, 70:394–407, 2005.
- F. Rotellaand P. Charbonnaud and S. Mauoar. Process operating mode monitoring process: switching online the right controller. IEEE Transactions on Control Systems Technology, 31, 2002.
- M. Zefran and J. Burdick. Design of switching controllers for systems with changing dynamics. In 37th Conference on Decision and control, pages 2113–2118, 1998.
Index Terms
Keywords