# MODELING AND CONTROL OF AN EXPERIMENTAL SWITCHED MANUFACTURING SYSTEM

### Michael Canu, Dominique Morel, Naly Rakoto-Ravalontsalama

#### Abstract

The notion of switched discrete event systems (DES) has been introduced recently. This is a class of DES where each automaton is the composition of two basic automata, but with different composition operators. A switching occurs when there is a change of the composition operator, but keeping the same two basic automata. A mode behavior is defined as the active DES behavior for a given composition operator. Composition operators are supposed to change more than once so that each mode is visited more than once. In this paper we study the modeling and control of an experimental manufacturing system as an example of switched DES.

#### References

- K. Akesson, M. Fabian, H. Flordal, and R. Malik. ”Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems,” Proc. of 2006 Workshop of Discrete Event Systems (WODES'06), July 2006, Ann Arbor, Michigan, USA.
- C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Boston, MA, USA: Kluwer Academic Publishers, 1999.
- X. Chen, D. Morel, and N. Rakoto-Ravalontsalama ”MultiAgent Based Supervisory Control of an Experimental Manufacturing Cell”. Proc. of IFAC Symposium on Large Scale Systems (LSS 2004) Osaka, Japan, July 26-28, 2004, pp. 391-394.
- M. Heymann. ”Concurrency and discrete event control,” In IEEE Control Systems Magazine, Vol. 10 N.4, pp. 103-112, 1990.
- R.M. Jensen. ”DES Controller Synthesis and Fault Tolerant Control: A Survey of recent advances,” Technical report TR-2003-40, Th IT University of Copenhagen, Denmark, 2003.
- J.E. Hopcroft and J.D. Ullman, ”Introduction to Automata Theory, Languages, and Computation,” AddisonWesley, Reading, MA, USA, 1979.
- O. Kamach, L. Pietrac, and E. Niel. ”Supervisory uniqueness for operating mode systems,” Proc. of World IFAC Congress 2005, Prague, Czech Republic, July 2005.
- S. Lafortune and E. Chen. ”The infimal closed controllable superlanguage and its application in supervisory control,” In IEEE Trans. on Automatic Control, vol.35, N.4 pp. 398-405, 1990.
- D. Liberzon and A.S. Morse. ”Basic problems in stability and design of switched systems,” In IEEE Control Systems Magazine, pp. 59-70, Oct. 1999.
- F. Maraninchi and Y. Remond. ”Mode-Automata: About modes and states for reactive systems” Proc. of European Symp. on Programming 1998, Lisbon, Portugal, 1998.
- K.M. Passino, A.N. Michel, and P.J. Antsaklis. ”Lyapunov stability of a class of discrete event systems,” In IEEE Trans. on Automatic Control, vol.39, N.2 pp. 269- 279, Feb 1994.
- K.M. Passino and K.L. Burgess. ”Stability Analysis of Discrete Event Systems,” Wiley, New York, USA, 1998.
- N. Rakoto-Ravalontsalama. ”Discrete approximation of continuous and hybrid systems: Some consequences to supervisory control,” Proc. of IFAC SSC 2001 (Symp. on System Structure and Control), Paper N. 123, Prague, Czech Republic, Aug. 2001.
- N. Rakoto-Ravalontsalama. ”Supervisory control of switched discrete event systems,” Proc. of Int. Symposium on MTNS 2006, July 24-28, 2006, Kyoto, Japan.
- P.J. Ramadge and W.M. Wonham. ”Supervisory control of a class of discrete-event processes,” In SIAM J. on Control and Optimization, vol.25 N. 1, pp. 206-230, 1987.
- K. Rohloff. ”Sensor failure tolerant supervisory control” Proc. of the 44th IEEE Conf. on Decision and Control and the European Control Conf. 2005, Seville, Spain, pp. 3493-3498, December 2005.
- I. Romanovski and P.E. Caines. ”On the supervisory control of multi-agent product systems” Proc. of the 41st IEEE Conf. on Decision and Control, Las Vegas, Nevada USA, pp. 1181-1186, December 2002.
- I. Romanovski and P.E. Caines. ”Multi-Agent product systems: Controllability and Non-blocking properties” Accepted at WODES 2006, Ann Arbor, MI, USA, July 2006.
- F. Wenck and J.H. Richter. ”A composition oriented perspective on controllability of large DES,” Proc. of WODES 2004, Reims, France, pp. 271-276, 2004.
- W.M. Wonham. Notes on Discrete Event Systems, Dept. of ECE, University of Toronto, Toronto, Canada, 2004.

#### Paper Citation

#### in Harvard Style

Canu M., Morel D. and Rakoto-Ravalontsalama N. (2007). **MODELING AND CONTROL OF AN EXPERIMENTAL SWITCHED MANUFACTURING SYSTEM** . In *Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007)* ISBN 978-972-8865-82-5, pages 484-488. DOI: 10.5220/0001637204840488

#### in Bibtex Style

@conference{from planning to control of manufacturing systems07,

author={Michael Canu and Dominique Morel and Naly Rakoto-Ravalontsalama},

title={MODELING AND CONTROL OF AN EXPERIMENTAL SWITCHED MANUFACTURING SYSTEM},

booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007)},

year={2007},

pages={484-488},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0001637204840488},

isbn={978-972-8865-82-5},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007)

TI - MODELING AND CONTROL OF AN EXPERIMENTAL SWITCHED MANUFACTURING SYSTEM

SN - 978-972-8865-82-5

AU - Canu M.

AU - Morel D.

AU - Rakoto-Ravalontsalama N.

PY - 2007

SP - 484

EP - 488

DO - 10.5220/0001637204840488