Formal Approach to Multimodal Control Design: Application to Mode Switching

A 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.

[1]  S. Marcus,et al.  On controllability and normality of discrete event dynamical systems , 1991 .

[2]  B.A. Guvenc,et al.  Adaptive cruise control simulator: a low-cost, multiple-driver-in-the-loop simulator , 2006, IEEE Control Systems.

[3]  Timothy L. Johnson.  Improving automation software dependability: A role for formal methods? , 2004 .

[4]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.

[5]  C. Pinello,et al.  Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.

[6]  Chafik Samir,et al.  Supervisory uniqueness for operating mode systems , 2005 .

[7]  Florence Maraninchi,et al.  Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[8]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with specializations to local control and concurrent systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[9]  Gregory Faraut,et al.  Identification of incompatible states in mode switching , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[10]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[11]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

[12]  Mustapha Nourelfath,et al.  Modular supervisory control of an experimental automated manufacturing system , 2004 .

[13]  Andrea Matta,et al.  FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems , 2007, ICTAC.

[14]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[15]  Aloysius K. Mok,et al.  Modechart: A Specification Language for Real-Time Systems , 1994, IEEE Trans. Software Eng..

[16]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[17]  Luís Ferreira Pires,et al.  What Makes Industries Believe in Formal Methods , 1993, PSTV.

[18]  Jan Komenda,et al.  Supervisory control of modular systems with global specification languages , 2008, Autom..

[19]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[20]  Yugeng Xi,et al.  Necessary conditions for control consistency in hierarchical control of discrete-event systems , 2003, IEEE Trans. Autom. Control..

[21]  Paulo Eigi Miyagi,et al.  Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets , 2001 .

[22]  E. Niel,et al.  Forbidden and Preforbidden States in the Multi-model Approach , 2006, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications".

[23]  M. Zefran,et al.  Design of switching controllers for systems with changing dynamics , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[24]  Dawn M. Tilbury,et al.  Event-Condition-Action Systems for Reconfigurable Logic Control , 2007, IEEE Transactions on Automation Science and Engineering.

[25]  Panos J. Antsaklis,et al.  Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control , 1998, Discret. Event Dyn. Syst..

[26]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[27]  André Rossi,et al.  A component based approach for the design of FMS control and supervision , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[28]  Éric Niel,et al.  Multi-Model approach to discrete events systems: Application to operating mode management , 2006, Math. Comput. Simul..

[29]  Carlos Eduardo Pereira,et al.  Manufacturing plant control: Challenges and issues , 2007 .

[30]  Stéphane Lafortune,et al.  Decentralized supervisory control with communicating controllers , 2000, IEEE Trans. Autom. Control..

[31]  Jung-Shan Lin,et al.  Nonlinear control design of anti-lock braking systems combined with active suspensions , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[32]  Bengt Lennartson,et al.  Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells , 2006, 2006 IEEE International Conference on Automation Science and Engineering.

[33]  Jeffrey S. Smith,et al.  Formal modeling methodologies for control of manufacturing cells: Survey and comparison , 2002 .

[34]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[35]  Jean Luc Philippe,et al.  Using model engineering for the criticality analysis of reconfigurable manufacturing systems architectures , 2007, Int. J. Manuf. Technol. Manag..

[36]  Luigi Piroddi,et al.  An Incremental Petri Net-Based Approach to the Modeling of Production Sequences in Manufacturing Systems , 2007, IEEE Transactions on Automation Science and Engineering.

[37]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[38]  K. Andersson,et al.  Restarting Flexible Manufacturing Systems; Synthesis of Restart States , 2006, 2006 8th International Workshop on Discrete Event Systems.