Observability and controllability of piecewise affine and hybrid systems

IEEE Transactions on Automatic Control

Volumn 45, Issue 10, 2000, Pages 1864-1876

  Bemporad, Alberto ^a   Ferrari Trecate, Giancarlo ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONTROLLABILITY; FORMAL LOGIC; INTEGER PROGRAMMING; LINEAR CONTROL SYSTEMS; LINEAR PROGRAMMING; MATHEMATICAL MODELS; OBSERVABILITY; PIECEWISE LINEAR TECHNIQUES;

PIECEWISE AFFINE SYSTEMS; PIECEWISE LINEAR SYSTEMS; PROPOSITIONAL LOGIC;

CONTROL SYSTEM ANALYSIS;

EID: 0034291822     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2000.880987     Document Type: Article

References (39)

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, A. P. Ravn, R. L. Grossman, A. Nerode, and H. Rischel, Eds. Berlin: Springer-Verlag, 1993, vol. 736, Lecture Notes in Computer Science, pp. 209-229.
2. A. Asarin, O. Maler, and A. Pnueli, "On the analysis of dynamical systems having piecewise-constant derivatives," Theoret. Comput. Sci., vol. 138, pp. 35-65, 1995.
3. A. Bemporad, D. Mignone, and M. Morari, "Fault detection and state estimation for hybrid systems," in Proc. Amer. Contr. Conf., 1999, pp. 2471-2475.
4. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, pp. 407-428, Mar. 1999.
5. _, "Verification of hybrid systems via mathematical programming," in Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen, Eds. Berlin: Springer-Verlag, 1999, vol. 1569, Lecture Notes in Computer Science, pp. 31-45.
6. A. Bemporad, F. D. Torrisi, and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. Berlin, Germany: Springer-Verlag, 2000, Lecture Notes in Computer Science, pp. 45-58.
7. V. D. Blondel, O. Bournez, P. Koiran, and J. N. Tsitsiklis, "The stability of saturated linear systems is undecidable," in Proc. Amer. Contr. Conf., 2000, p. 1684.
8. V. D. Blondel and J. N. Tsitsiklis, "Complexity of stability and controllability of elementary hybrid systems," Automatica, vol. 35, pp. 479-489, Mar. 1999.
9. M. Branicky, "Stability of switched and hybrid systems," in Proc. Conf. Decision Contr., 1994, pp. 3498-3503.
10. _, "Multiple Lyapunov functions and other analysis tools for switched and hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 475-482, Apr. 1998.
11. M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: Model and optimal control theory," IEEE Trans. Automat. Contr., vol. 43, pp. 31-45, 1998.
12. T. M. Cavalier, P. M. Pardalos, and A. L. Soyster, "Modeling and integer programming techniques applied to propostional calculus," Comput. Oper. Res, vol. 17, no. 6, pp. 561-570, 1990.
13. D. Christiansen, Electronics Engineers' Handbook, 4th ed. New York: IEEE Press/McGraw-Hill, 1997.
14. J. Ezzine and A. H. Haddad, "On the controllability and observability of hybrid systems," Int. J. Contr., vol. 49, pp. 2045-2055, 1989.
15. G. Ferrari-Trecate, D. Mignone, and M. Morari, "Moving horizon estimation for hybrid systems," in Proc. American Control Conf., 2000, Tech. Rep. AUT99-21, pp. 1684-1688.
16. R. Fletcher and S. Leyffer, "Numerical experience with lower bounds for MIQP branch-and-bound," SIAM J. Optimiz., vol. 8, pp. 604-616, May 1998.
17. C. A. Floudas, Nonlinear and Mixed-Integer Optimization. Oxford, England: Oxford Univ. Press, 1995.
18. D. Goshen-Meskin and I. Y. Bar-Itzhack, "Observability analysis of piecewise constant systems - Part I: Theory," IEEE Trans. Aerosp. Electron. Syst., vol. 28, pp. 1056-1067, Oct. 1992.
19. A. Hassibi and S. Boyd, "Quadratic stabilization and control of piecewise-linear systems," in Proc. Amer. Contr. Conf., 1998, pp. 3659-3664.
20. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata?," in Proc. 27th ACM Symp. Theory of Comput., 1995, pp. 373-381.
21. M. Johansson and A. Rantzer, "Computation of piecewise quadratic Lyapunov functions for hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 555-559, 1998.
22. S. S. Keerthi and E. G. Gilbert, "Optimal infinite-horizon feedback control laws for a general class of constrained discrete-time systems: Stability and moving-horizon approximations," J. Opt. Theory Appl., vol. 57, pp. 265-293, 1988.
23. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, "Integration graphs: A class of decidable hybrid systems," in Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. Berlin, Germany: Springer-Verlag, 1993, vol. 736, Lecture Notes in Computer Science, pp. 179-208.
24. G. Labinaz, M. M. Bayoumi, and K. Rudie, "A survey of modeling and control of hybrid systems," Ann. Rev. Contr., vol. 21, pp. 79-92, 1997.
25. J. Lygeros, D. N. Godbole, and S. Sastry, "A game theoretic approach to hybrid system design," in Hybrid Systems III, R. Alur and T. Henzinger, Eds. Berlin: Springer-Verlag, 1996, vol. 1066, Lecture Notes in Computer Science, pp. 1-12.
26. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
27. D. Mignone, A. Bemporad, and M. Morari, "A framework for control, fault detection, state estimation and verification of hybrid systems," in Proc. Amer. Contr. Conf., 1999, pp. 134-138.
28. R. Raman and I. E. Grossmann, "Relation between MILP modeling and logical inference for chemical process synthesis," Comput. Chem. Eng., vol. 15, no. 2, pp. 73-84, 1991.
29. C. V. Rao and J. B. Rawlings, "Nonlinear moving horizon state estimation," in Proc. Int. Symp. Nonlinear Model Predictive Contr.: Assessment and Future Directions, Ascona, Switzerland, 1998.
30. E. D. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Automat. Contr., vol. AC-26, pp. 346-358, Apr. 1981.
31. _, "Real addition and the polynomial hierarchy," Inform. Processing Lett., vol. 20, pp. 115-120, 1985.
32. _, "Controllability is harder to decide than accessibility," SIAM J. Contr. Optimiz., vol. 26, pp. 1106-1118, 1988.
33. _, "Interconnected automata and linear systems: A theoretical framework in discrete-time," in Hybrid Systems III - Verification and Control, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin: Springer-Verlag, 1996, vol. 1066, Lecture Notes in Computer Science, pp. 436-448.
34. _, Mathematical Control Theory. New York: Springer-Verlag, 1998.
35. M. L. Tyler and M. Morari, "Prepositional logic in control and monitoring problems," Automatica, vol. 335, no. 4, pp. 565-582, 1999.
36. V. I. Utkin, "Variable structure systems with sliding modes," IEEE Trans. Automat. Contr., vol. AC-22, no. 2, pp. 212-222, Apr. 1977.
37. M. A. Wicks and P. Peleties, "Construction of piecewise Lyapunov functions for stabilizing switched systems," in Proc. Conf. Decision Contr., 1994, pp. 3492-3497.
38. H. P. Williams, "Logical problems and integer programming," Bull. Inst. Math. Appl., vol. 13, pp. 18-20, 1977.
39. _, Model Building in Mathematical Programming, 3rd ed. New York: Wiley, 1993.