HYSDEL - A tool for generating computational hybrid models for analysis and synthesis problems

IEEE Transactions on Control Systems Technology

Volumn 12, Issue 2, 2004, Pages 235-249

  Torrisi, Fabio Danilo ^a   Bemporad, Alberto ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

Analysis; Hybrid systems; Modeling; Optimal control; Verification

Indexed keywords

AUTOMATA THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; OPTIMAL CONTROL SYSTEMS; SOFTWARE ENGINEERING;

COMPUTATIONAL HYBRID MODELS; DISCRETE HYBRID AUTOMATA;

CONTROL SYSTEM SYNTHESIS;

EID: 1942536197     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2004.824309     Document Type: Article

References (40)

1. P. Antsaklis, Ed., Special Issue on Hybrid Systems: Theory and Applications, ser. Proc. IEEE, July 2000, vol. 88.
2. R. Alur, C. Belta, F. Ivanĉić, V. Kumar, M. Mintz, G. Papas, H. Rubin, and J. Schug, "Hybrid modeling and simulation of biomolecular networks," in Hybrid Systems: Comp. and Contr., ser. Lecture Notes in Comp. Sc., M. Di Benedetto and A. S. Vincentelli, Eds. New York: Springer-Verlag, 2001, vol. 2034, pp. 19-33.
3. J. P. Hespanha, S. Bohacek, K. Obraczka, and J. Lee, "Hybrid modeling of TCP congestion control," in Hybrid Systems: Comp. and Contr., ser. Lecture Notes in Comp. Sc., M. Di Benedetto and A. S. Vincentelli, Eds. New York: Springer-Verlag, 2001, vol. 2034, pp. 291-304.
4. K. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry, "On the regularization of Zeno hybrid automata," Syst. Control Lett., vol. 38, pp. 141-150, 1999.
5. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems. ser. Lecture Notes in Comp. Sc., R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. New York: Springer-Verlag, 1993, vol. 736, pp. 209-229.
6. B. Silva, O. Stursberg, B. Krogh, and S. Engell, "An assessment of the current status of algorithmic approaches to the verification of hybrid systems," in Proc. 40th IEEE Conf. Decision Control, Orlando, FL, Dec. 2001, pp. 2867-2874.
7. M. Johansson and A. Rantzer, "Computation of piecewise quadratic lyapunov functions for hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 555-559, Apr. 1998.
8. X. Xu and P. Antsaklis, "Results and perspectives on computational methods for optimal control of switched systems," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sc., O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, pp. 540-555.
9. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, no. 3, pp. 407-427, Mar. 1999.
10. E. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Automat. Contr., vol. AC-26, pp. 346-358, Apr. 1981.
11. W. Heemels, B. D. Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol. 37, no. 7, pp. 1085-1091, July 2001.
12. F. Torrisi, A. Bemporad, and L. Giovanni. (2003) Reach-Set computation for analysis and optimal control of discrete hybrid automata. Automatic Control Laboratory, ETH, Zurich, Switzerland. [Online]. Available: http://control.ee.ethz.ch/
13. A. Bemporad, F. Torrisi, and M. Morari, "Discrete-time hybrid modeling and verification of the batch evaporator process benchmark," Eur. J. Control, vol. 7, no. 4, pp. 382-399, 2001.
14. A. Bemporad, D. Mignone, and M. Morari, "Moving horizon estimation for hybrid systems and fault detection," presented at the Amer. Control Conf., Albuquerque, NM, 1999.
15. G. Ferrari-Trecate, D. Mignone, and M. Morari, "Moving horizon estimation for hybrid systems," IEEE Trans. Automat. Contr., vol. 47, pp. 1663-1676, Oct. 2002.
16. D. Mignone, "Control and estimation of hybrid systems with mathematical optimization," Ph.D. dissertation, Automatic Control Laboratory, ETH, Zurich, Switzerland, 2002.
17. G. Ferrari-Trecate, M. Muselli, D. Liberati, and M. Morari, "A clustering technique for the identification of piecewise affine systems," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sci., M. Di Benedetto and A. S. Vincentelli, Eds. New York: Springer-Verlag, 2001, vol. 2034, pp. 218-231.
18. A. Bemporad, J. Roll, and L. Ljung, "Identification of hybrid systems via mixed-integer programming," in Proc. 40th IEEE Conf. Decision Control, Orlando, FL, Dec. 2001, pp. 786-792.
19. P. Julián, M. Jordan, and A. Desages, "Canonical piecewise-linear approximation of smooth functions," IEEE Trans. Circuit Syst. I, vol. 45, pp. 561-571, May 1998.
20. A. Bemporad, A. Garulli, S. Paoletti, and A. Vicino, "A greedy approach to identification of piecewise affine models," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sci., O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, vol. 2623, pp. 97-112.
21. H. Williams, Model Building in Mathematical Programming, 3rd ed. New York: Wiley, 1993.
22. R. Raman and I. Grossmann, "Relation between MILP modeling and logical inference for chemical process synthesis," Comput. Chem. Eng., vol. 15, no. 2, pp. 73-84, 1991.
23. A. Bemporad, F. Borrelli, and M. Morari, "Piecewise linear optimal controllers for hybrid systems," in Proc. American Control Conf., Chicago, IL, June 2000, pp. 1190-1194.
24. T. Park and P. Barton, "Implicit model checking of logic-based control systems," Aiche J., vol. 43, no. 9, pp. 2246-2260, 1997.
25. G. Mitra, C. Lucas, S. Moody, and E. Hadjiconstantinou, "Tool for reformulating logical forms into zero-one mixed integer programs," Eur. J. Oper. Res., vol. 72, pp. 262-276, 1994.
26. T. Huerlimann, Reference manual for the LPL modeling language, Dept. Informatics, Université de Fribourg, Switzerland, 2001, Version 4.42.
27. V. Chandru and J. Hooker, Optimization Methods for Logical Inference. New York: Wiley, 1999.
28. D. Mignone, A. Bemporad, and M. Morari, "A framework for control, fault detection, state estimation and verification of hybrid systems," in Amer. Control. Conf., Albuquerque, NM, 1999.
29. K. Fukuda, Cdd/cdd + Reference Manual, Inst. Operations Research, ETH, Zurich, Switzerland, Dec. 1997.
30. V. Dimitriadis, N. Shah, and C. Pantelides, "Modeling and safety verification of discrete/continuous processing systems," Aiche J., vol. 43, pp. 1041-1059, 1997.
31. T. Geyer, F. Torrisi, and M. Morari, "Efficient mode enumeration of compositional hybrid models," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sc., O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, vol. 2623, pp. 216-232.
32. A. Bemporad, "Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form," IEEE Trans. Automat. Contr., 2004, to be published.
33. F. Torrisi, A. Bemporad, G. Bertini, P. Hertach, D. Jost, and D. Mignone. (2002) HYSDEL 2.0.5 - User Manual. Automatic Control Laboratory, ETH, Zurich, Switzerland. [Online]. Available: http://control.ee.ethz.ch/
34. Automotive Handbook, 5th ed., Society of Automotive Engineers, Warrendale, PA, Dec. 2000.
35. P. Julián, "A high level canonical piecewise linear representation: Theory and applications," Ph.D. dissertation, Univerisidad Nacional del Sur, Argentina, May 1999. MATLAB toolbox available online at.
36. CPLEX 8.0 User Manual, ILOG, Inc., Gentilly, France, 2002.
37. A. Bemporad, P. Borodani, and M. Mannelli, "Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sc., O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, pp. 81-96.
38. F. Borrelli, A. Bemporad, M. Fodor, and D. Hrovat, "A hybrid approach to traction control," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sci., M. Di Benedetto and A. S. Vincentelli, Eds. New York: Springer-Verlag, 2001, vol. 2034, pp. 162-174.
39. A. Bemporad, N. Giorgetti, I. Kolmanovsky, and D. Hrovat, "A hybrid systems approach to modeling and optimal control of DISC engines," presented at the 41st IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002.
40. G. Ferrari-Trecate, E. Gallestey, P. Letizia, M. Spedicato, M. Morari, and M. Antoine, "Modeling and control of co-generation power plants: A hybrid system approach," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Comp. Sci., C. J. Tomlin and M. R. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, pp. 209-224.