A new algorithm for translating MLD systems into PWA systems

Proceedings of the American Control Conference

Volumn 2, Issue , 2004, Pages 1208-1213

  Villa, J L ^a,b   Duque, M ^b   Gauthier, A ^b   Rakoto Ravalontsalama, N ^a  

^a ECOLE DES MINES DE NANTES   (France)

^b UNIVERSIDAD DE LOS ANDES   (Colombia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; VECTORS;

LINEAR TIME INVARIANT (LTI); MIXED LOGICAL AND DYNAMICAL SYSTEMS (MLD); PIECEWISE AFFINE (PWA) SYSTEMS;

PREDICTIVE CONTROL SYSTEMS;

EID: 8744255272     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/acc.2004.1386737     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. Hybrid Automata : An Algorithmic Approach To The Specification and Verification of Hybrid Systems. In Hybrid Systems I, Lecture Notes in Computer Science 736, Springer-Verlag, pp. 209-229, 1993
2. A. Bemporad and M. Morari. Control of Systems Integrating Logic, Dynamics, and Constraints. Automatica 35, pp. 407-427, 1999.
3. st IEEE Conference on Decision and Control. Las Vegas, Nevada USA, December 2002.
4. A. Bemporad. An Efficient Technique for Translating Mixed Logical Dynamical Systems into PieceWise Affine Systems. Implementation. http://www.dii.unisi.it/~hybrid/tools/mld2pwa
5. G. Ferrari-Trecate, D. Mignone, D. Castagnoli, and M. Morari. Hybrid Modeling and Control of a Hydroelectric Power Plant. Technical Report AUT00-11, Automatic Control Laboratory, ETH Zurich, Switzerland, 2000.
6. W.P.M.H. Heemels, B. de Schutter, and A. Bemporad. Equivalence of Hybrid Dynamical Models. Automatica, 37(7), pp. 1085-1091, July 2001.
7. B. Heiming, J. Lunze Definition of the Three-Tank Benchmark Problem for Controller Reconfiguration. European Control Conference, 1999.
8. J. Lunze. Benchmark for the Reconfiguration Problem: Laboratory 3 Tank System. Technical University Hamburg-Harbur. 1998. http://www.tu-arburg.de/rts/ software/cosy
9. F.D. Torrisi and A. Bemporad. Discrete-Time Hybrid Modeling and Verification. In Proc. 40th IEEE Conf. On Decision and Control, pp. 2899-2904 Orlando, Florida, 2001.
10. F.D. Torrisi and A. Bemporad. HYSDEL Modeling and Simulation of Hybrid Dynamical Systems. Proceedings of MATHMOD Conference, Vienna University of Technology, Viena, Austria, February 5-7, 2003.
11. J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama Hybrid Modeling of Potable Water Treatment Plant. In : Cabrera and Cabrera Jr. (Eds.) Pumps, Electromechanical Devices and Systems : Applied to Urban Water Management. A.A. Balkema Publishers. Lisse, pp. 909-917. 2003.
12. J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama. Modeling and Control of a Water Treatment Plant. In: IEEE International Conference on Systems, Man & Cybernetics (SMC2003) October 5-8, Washington D.C., USA, pp. 171-176 (CD-ROM), 2003.
13. J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama. MLD Control of Hybrid Systems : Application to the Three-Tank Benchmark Problem. In : IEEE International Conference on Systems, Man & Cybernetics (SMC2003) October 5-8, Washington D.C., USA, pp. 666-671 (CD-ROM) 2003.
14. J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama. A New Algorithm for Translating MLD Systems into PWA Systems. Technical Report No 03/8/AUTO Ecole des Mines de Nantes, France. Sept. 2003.