Polynomial-time probabilistic controllability analysis of discrete-time piecewise affine systems

IEEE Transactions on Automatic Control

Volumn 52, Issue 11, 2007, Pages 2029-2046

  Azuma, Sun Ichi ^a   Imura, Jun Ichi ^b  

^a KYOTO UNIVERSITY   (Japan)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Accuracy; Algorithm design and analysis; Approximation algorithms; Control systems; Controllability; Equations; Finite element methods; Hybrid systems; Piecewise affine (PWA) systems; Randomized algorithms; Reachability

Indexed keywords

APPROXIMATION ALGORITHMS; DISCRETE TIME CONTROL SYSTEMS; FINITE ELEMENT METHOD; PIECEWISE LINEAR TECHNIQUES; POLYNOMIAL APPROXIMATION;

PIECEWISE AFFINE (PWA) SYSTEMS; POLYNOMIAL-TIME ALGORITHMS; RANDOMIZED ALGORITHMS;

CONTROLLABILITY;

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

References (43)

1. J. Ezzine and A. H. Haddad, "Controllability and observability of hybrid systems," Int. J. Control, vol. 49, no. 6, pp. 2045-2055, 1989.
2. S. S. Ge, Z. Sun, and T. H. Lee, "Reachability and controllability of switched linear discrete-time systems," IEEE Trans. Autom. Control vol. 46, no. 9, pp. 1437-1441, Sep. 2001.
3. E. D. Sontag, "Interconnected automata and linear systems: A theoretical framework in discrete-time," in Lecture Notes in Computer Science, ser. 1066, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin, Germany: Springer-Verlag, 1996, pp. 436-448, Hybrid Systems III: Verification and Control.
4. V. D. Blondel and J. N. Tsitsiklis, "Complexity of stability and controllability of elementary hybrid systems," Automatica, vol. 35, no. 3, pp. 479-489, 1999.
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and controllability of piecewise affine and hybrid systems," IEEE Trans. Autom. Control, vol. 45, no. 10, pp. 1864-1876, Oct. 2000.
6. A. Bemporad and M. Morari, "Verification of hybrid systems via mathematical programming," in Lecture Notes in Computer Science, ser. 1569, F. W. Vaandrager and J. H. van Schuppen, Eds. Berlin, Germany: Springer-Verlag, 1999, pp. 31-45, Hybrid Systems: Computation and Control.
7. A. Bemporad, F. D. Torrisi, and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems," in Lecture Notes in Computer Science, ser. 1790, N. Lynch and B. H. Krogh, Eds. Berlin, Germany: Springer-Verlag, 2000, pp. 45-58, Hybrid Systems: Computation and Control.
8. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos, "The explicit linear quadratic regulator for constrained systems," Automatica, vol. 38, no. 1, pp. 3-20, 2002.
9. F. Borrelli, Constrained Optimal Control of Linear and Hybrid Systems Berlin, Germany: Springer-Verlag, 2003.
10. M. Kvasnica, P. Grieder, M. Baotić, and F. J. Christophersen, "Multi-parametric toolbox (MPT)," 2004 [Online]. Available: http://control.ee.ethz.ch/~mpt/
11. S. Azuma and J. Imura, "Controllability of sampled-data piecewise affine systems," in Proc. IFAC Conf. Anal. Design Hybrid Syst., 2003, pp. 129-134.
12. J. Imura, "Optimal control of sampled-data piecewise affine systems," Automatica, vol. 40, no. 4, pp. 661-669, 2004.
13. S. Azuma and J. Imura, "Synthesis of optimal controllers for piecewise affine systems with sampled-data switching," Automatica, vol. 42, no. 5, pp. 697-710, 2006.
14. E. S. Lemch, S. Sastry, and P. E. Caines, "Global controllability of hybrid systems with controlled and autonomous switchings," in Lecture Notes in Computer Science, ser. 2034, M. D. Di Benedetto and A. L. Sangiovanni-Vincentelli, Eds. Berlin, Germany: Springer-Verlag, 2001, pp. 375-386, Hybrid Systems: Computation and Control.
15. M. K. Camlibel, W. P. M. H. Heemels, and J. M. Schumacher, "On the controllability of bimodal piecewise linear systems," in Lecture Notes in Computer Science, ser. 2993, R. Alur and G. J. Pappas, Eds. Berlin, Germany: Springer-Verlag, 2004, pp. 250-264, Hybrid Systems: Computation and Control.
16. J. H. van Schuppen, "A sufficient condition for controllability of a class of hybrid systems," in Lecture Notes in Computer Science, ser. 1386, T. A. Henzinger and S. Sastry, Eds. Berlin, Germany: Springer-Verlag, 1998, pp. 374-383, Hybrid Systems: Computation and Control.
17. J. Lygeros, D. N. Godbole, and S. Sastry, "Verified hybrid controllers for automated vehicles," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 522-539, Apr. 1998.
18. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
19. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multiagent hybrid systems," IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 509-521, Apr. 1998.
20. I. Mitchell and C. Tomlin, "Overapproximating reachable sets by Hamilton-Jacobi projections," J. Sci. Comput., vol. 19, no. 1, pp. 323-346, 2003.
21. G. Lafferriere, G. J. Pappas, and S. Yovine, "Symbolic reachability computation for families of linear vector fields," J. Symb. Comput. vol. 32, no. 3, pp. 231-253, 2001.
22. R. Ghosh, A. Tiwari, and C. Tomlin, "Automated symbolic reachability analysis; with application to Delta-Notch signaling automata," in Lecture Notes in Computer Science, ser. 1790, F. Wiedijk, O. Maler, and A. Pnueli, Eds. Berlin, Germany: Springer-Verlag, 2003, pp. 233-248, Hybrid Systems: Computation and Control.
23. T. A. Henzinger, P. H. Ho, and H. Wong-Toi, "HyTech: A model checker for hybrid systems," Int. J. Soft. Tools Tech. Transfer, vol. 1, no. 1-2, pp. 110-122, 1997.
24. A. Chutinan and B. H. Krogh, "Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations," in Lecture Notes in Computer Science, ser. 1569, F. W. Vaandrager and J. H. van Schuppen, Eds. Berlin, Germany: Springer-Verlag, 1999, pp. 76-90, Hybrid Systems: Computation and Control.
25. O. Botchkarev and S. Tripakis, "Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations," in Lecture Notes in Computer Science, ser. 1790, N. Lynch and B. H. Krogh, Eds. Berlin, Germany: Springer-Verlag, 2000, pp. 74-88, Hybrid Systems: Computation and Control.
26. B. T. Polyak and R. Tempo, "Probabilistic robust design with linear quadratic regulators," Syst. Control Lett., vol. 43, no. 5, pp. 343-353, 2001.
27. H. Ishii, T. Basar, and R. Tempo, "Randomized algorithms for quadratic stability of quantized sampled-data systems," Automatica, vol. 40, no. 5, pp. 839-846, 2004.
28. H. Ishii, T. Basar, and R. Tempo, "Synthesis of switching rules for switched linear systems through randomized algorithms," in Proc. 42nd IEEE Conf. Decision Control, 2003, pp. 4788-4793.
29. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, "A probabilistic approach to aircraft conflict detection," IEEE Trans. Intell. Transp. Syst., vol. 1, no. 4, pp. 199-220, Dec. 2000.
30. S. Prajna, A. Jadbabaie, and G. J. Pappas, "Stochastic safety verification using barrier certificates," in Proc. 43rd IEEE Conf. Decision Control, 2004, pp. 929-934.
31. R. Tempo, E. W. Bai, and F. Dabbene, "Probabilistic robustness analysis: Explicit bounds for the minimum number of samples," Syst. Control Lett., vol. 30, no. 5, pp. 237-242, 1997.
32. P. Khargonekar and A. Tikku, "Randomized algorithms for robust control analysis and synthesis have polynomial complexity," in Proc. 35th IEEE Conf. Decision Control, 1996, pp. 3470-3475.
33. M. Vidyasagar, "Randomized algorithms for robust controller synthesis using statistical theory," Automatica, vol. 37, no. 10, pp. 1515-1528, 2001.
34. E. D. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Autom. Control, vol. AC-26, no. 2, pp. 346-358, Apr. 1981.
35. "The Geometric Bounding Toolbox, User's Manual & Reference," S. M. Veres, Ed., SysBrain, Birmingham, U.K., 2001.
36. D. Bertsimas and J. N. Tsitsiklis, Introduction to Linear Optimization. Belmont, MA: Athena Scientific, 1997.
37. E. Yanagisawa, S. Azuma, and J. Imura, "Controllability analysis for gene regulation networks and its application to luminescence bacterium," in Proc. Algebraic Biol. 2005 - Computer Algebra Biol. H. Anai and K. Horimoto, Eds., 2005, pp. 51-60.
38. S. Azuma and J. Imura, "A probabilistic approach to controllability/ reachability analysis of hybrid systems," in Proc. 43rd IEEE Conf. Decision Control, 2004, pp. 485-490.
39. C. N. Jones, E. C. Kerrigan, and J. M. Maciejowski, "Equality set projection: A new algorithm for the projection of polytopes in halfspace representation," Tech. Rep. CUED/F-INFENG/TR.463, 2004 [Online]. Available: http://www-control.eng.cam.ac.uk/~cnj22/research/ projection.html
40. V. Chvátal, Linear Programming. New York: W. H. Freeman, 1983.
41. G. C. Calafiore, F. Dabbene, and R. Tempo, "Randomized algorithms for probabilistic robustness with real and complex structured uncertainty," IEEE Trans. Autom. Control, vol. 45, no. 12, pp. 2218-2235, Dec. 2000.
42. S. Azuma and J. Imura, "Probabilistic controllability analysis of sampled-data/discrete-time piecewise affine systems," in Proc. Amer. Control Conf., 2004, pp. 2528-2533.
43. S. Azuma and J. Imura, "Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems," Syst. Control Lett., vol. 56, no. 11-12, pp. 685-694, 2007.