A modified riccati transformation for decentralized computation of the viability kernel under LTI dynamics

IEEE Transactions on Automatic Control

Volumn 58, Issue 11, 2013, Pages 2878-2892

  Kaynama, Shahab ^a   Oishi, Meeko ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

Complexity reduction; constrained systems; decentralization; decomposition; reachability; Riccati transformation; viability

Indexed keywords

COMPLEXITY REDUCTION; CONSTRAINED SYSTEMS; DECENTRALIZATION; REACHABILITY; RICCATI TRANSFORMATION; VIABILITY;

CONTROL SYSTEMS; DECOMPOSITION; MATHEMATICAL MODELS;

DYNAMICAL SYSTEMS;

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

References (51)

1. K. Margellos and J. Lygeros, "Air traffic management with target windows: An approach using reachability," in Proc. IEEE Conf. Decision and Control, Shanghai, China, Dec. 2009, pp. 145-150.
2. J. Lygeros, C. J. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, pp. 349-370, 1999.
3. C. J. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 949-970, Jul. 2000.
4. C. J. Tomlin, I. M. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems," Proc. IEEE, vol. 91, no. 7, pp. 986-1001, Jul. 2003. (Pubitemid 40890836)
5. S. Kaynama, J. Maidens, M. Oishi, I. M. Mitchell, and G. A. Dumont, "Computing the viability kernel using maximal reachable sets," in Hybrid Systems: Computation and Control, Beijing, China, 2012, pp. 55-63.
6. A. M. Bayen, I. M. Mitchell, M. Oishi, and C. J. Tomlin, "Aircraft autolander safety analysis through optimal control-based reach set computation," J.Guidance,Control,Dynam., vol. 30, no. 1, pp. 68-77, 2007. (Pubitemid 46219873)
7. 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. (Pubitemid 128737376)
8. D. Panagou, K. Margellos, S. Summers, J. Lygeros, and K. J. Kyriakopoulos, "A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances," in Proc. IEEE Conf. Decision and Control, Dec. 2009, pp. 8612-8617.
9. F. Borrelli, C. Del Vecchio, and A. Parisio, "Robust invariant sets for constrained storage systems," Automatica, vol. 45, no. 12, pp. 2930-2936, 2009.
10. C. Béné, L. Doyen, and D. Gabay, "A viability analysis for a bio-economic model," Ecol. Econ., vol. 36, no. 3, pp. 385-396, 2001. (Pubitemid 32202964)
11. A. B. Kurzhanski and T. Filippova, "On the description of the set of viable trajectories of a differential inclusion," Sov.Math. Doklady, vol. 34, 1987.
12. J.-P. Aubin, Viability Theory, ser. Systems and Control: Foundations and Applications. Boston, MA: Birkhäuser, 1991.
13. F. Blanchini and S. Miani, Set-Theoretic Methods in Control. New York: Springer, 2008.
14. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Trans. Autom. Control, vol. 50, no. 7, pp. 947-957, Jul. 2005. (Pubitemid 41078397)
15. I. M. Mitchell, "Comparing forward and backward reachability as tools for safety analysis," in Hybrid Systems: Computation and Control, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Berlin Heidelberg: Springer-Verlag, 2007, vol. 4416, Lecture Notes in Computer Science, pp. 428-443.
16. S. Kaynama, "Scalable techniques for the computation of viable and reachable sets: Safety guarantees for high-dimensional linear time-invariant systems," Ph.D. thesis, Univ. British Columbia, Vancouver, BC, Canada, Jul. 2012.
17. E. Asarin, T.Dang, G. Frehse,A.Girard,C. LeGuernic, andO.Maler, "Recent progress in continuous and hybrid reachability analysis," in Proc. IEEE Int. Symp. Computer-Aided Control Systems Design, Munich, Germany, Oct. 2006.
18. P. Saint-Pierre, "Approximation of the viability kernel," Appl. Math. Optim., vol. 29, no. 2, pp. 187-209, Mar. 1994.
19. P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre, "Set-valued numerical analysis for optimal control and differential games," in Stochastic and Differential Games: Theory and Numerical Methods, ser. Annals of the International Society of Dynamic Games, M. Bardi, T. Raghavan, and T. Parthasarathy, Eds., 4th ed. Boston, MA: Birkhäuser, 1999, pp. 177-247.
20. Y. Gao, J. Lygeros, and M. Quincampoix, "The reachability problem for uncertain hybrid systems revisited: A viability theory perspective," in Hybrid Systems: Computation and Control, J. Hespanha and A. Tiwari, Eds. Berlin Heidelberg, Germany: Springer-Verlag, 2006, vol. 3927, Lecture Notes in Computer Science, pp. 242-256. (Pubitemid 44019591)
21. I. M. Mitchell and C. J. Tomlin, "Overapproximating reachable sets by Hamilton-Jacobi projections," J. Sci. Comput., vol. 19, no. 1-3, pp. 323-346, 2003.
22. D. M. Stipanovi?, I. Hwang, and C. J. Tomlin, "Computation of an over-approximation of the backward reachable set using subsystem level set functions," in Proc. IEE Eur. Control Conf., Cambridge, U.K., Sep. 2003.
23. I. M. Mitchell, "Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: A mixed implicit explicit formulation," in Proc. ACM Conf. Hybrid Systems: Computation and Control, Chicago, IL, 2011, pp. 103-112.
24. P.-A. Coquelin, S. Martin, and R. Munos, "A dynamic programming approach to viability problems," in Proc. IEEE Symp. Approximate Dynamic Programming and Reinforcement Learning (ADPRL 2007), 2007, pp. 178-184. (Pubitemid 47431383)
25. J. Lygeros, "On reachability and minimum cost optimal control," Automatica, vol. 40, no. 6, pp. 917-927, Jun. 2004.
26. S. Prajna andA. Jadbabaie, "Safety verification of hybrid systems using barrier certificates," in Hybrid Systems: Computation and Control, R. Alur and G. Pappas, Eds. : , 2004, vol. 2993, Lecture Notes in Computer Science, pp. 477-492.
27. A. Rantzer and S. Prajna, "On analysis and synthesis of safe control laws," in Proc. Allerton Conf. Communication, Control, and Computing, 2004, pp. 1-9.
28. C. Le Guernic and A. Girard, "Reachability analysis of linear systems using support functions," Nonlinear Anal.: Hybrid Syst., vol. 4, no. 2, pp. 250-262, 2010.
29. G. Frehse,C.LeGuernic,A.Donz, S.Cotton, R. Ray, O.Lebeltel, R. Ripado, A.Girard,T. Dang, andO.Maler, "SpaceEx: Scalable verification of hybrid systems," in Proc. 23rd Int.Conf. Computer AidedVerification (CAV),G.Gopalakrishnan and S.Qadeer, Eds., 2011, pp. 1-16.
30. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, Eds. Berlin Heidelberg, Germany: Springer-Verlag, 2000, vol. 1790, Lecture Notes in Computer Science, pp. 202-214.
31. A. A. Kurzhanskiy and P. Varaiya, "Ellipsoidal Toolbox (ET)," in Proc. IEEE Conf. Decision and Control, San Diego, CA, Dec. 2006, pp. 1498-1503. (Pubitemid 351283338)
32. A. Girard, C. Le Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs," in Hybrid Systems: Computation and Control, J. Hespanha and A. Tiwari, Eds. , Germany: Springer-Verlag, 2006, vol. 3927, Lecture Notes in Computer Science, pp. 257-271. (Pubitemid 44019592)
33. A. Girard and C. Le Guernic, "Efficient reachability analysis for linear systems using support functions," in IFAC World Congress, Seoul, Korea, July 2008.
34. Z. Han and B. H. Krogh, "Reachability analysis of nonlinear systems using trajectory piecewise linearized models," in Proc. American Control Conf., Minneapolis, MN, 2006, pp. 1505-1510. (Pubitemid 46531028)
35. J. Maidens, S. Kaynama, I. M. Mitchell, M. Oishi, and G. A. Dumont, "Lagrangian methods for approximating the viability kernel in high-dimensional systems," Automatica, 2013, 10.1016/j.automatica.2013.03. 020.
36. F. Blanchini, "Set invariance in control," Automatica, vol. 35, no. 11, pp. 1747-1767, 1999. (Pubitemid 32078089)
37. L. Evans and P. Souganidis, "Differential games and representation formulas for solutions of Hamilton-Jaconbi-Isaacs equations," Indiana Univ. Math. J.l, vol. 33, no. 5, pp. 773-797, 1984.
38. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems: Computation and Control, M. Morari, L. Thiele, and F. Rossi, Eds. : Springer, 2005, vol. 3414, Lecture Notes in Computer Science, pp. 291-305. (Pubitemid 41252074)
39. A. B. Kurzhanski and I. Vályi, Ellipsoidal Calculus for Estimation and Control. Boston, MA: Birkhäuser, 1996.
40. K. W. Chang, "Singular perturbations of a general boundary value problem," SIAM J. Math. Anal., vol. 3, pp. 520-526, 1972.
41. P. V. Kokotovi?, A Riccati equation for block-diagonalization of illconditioned systems, vol. 20, no. 6, pp. 812-814, 1975.
42. D. R. Smith, "Decoupling and order reduction via the Riccati transformation," SIAM Rev., vol. 29, no. 1, pp. 91-113, 1987.
43. Z. Gajic and I. Borno, "General transformation for block diagonalization of weakly coupled linear systems composed of N-subsystems," IEEE Trans. Circuits Syst. 1, Fundam. Theory Appl., vol. 47, no. 6, pp. 909-912, Jun. 2000.
44. K.-H. Shim and M. E. Sawan, "Singularly perturbed unified time systems with low sensitivity to model reduction using delta operators," Int. J. Syst. Sci., vol. 37, no. 4, pp. 243-251, 2006.
45. C. R. Rao and S. K. Mitra, "Generalized inverse of a matrix and its applications," in Proc. 6th Berkeley Symp. Mathematical Statistics and Probability, 1972, pp. 601-620.
46. J. Gro?, "Explicit solutions to the matrix inverse problem ," Linear Alg. Appl., vol. 289, pp. 131-134, 1999.
47. G. Freiling, "A survey of nonsymmetric Riccati equations," Linear Alg. Appl., vol. 351, pp. 243-270, 2002.
48. P. V. Kokotovi?, H. K. Khalil, and J. O'Reilly, Singular Perturbation Methods in Control: Analysis and Design. Philadelphia, PA: SIAM, 1999.
49. I. M. Mitchell and J. A. Templeton, "A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems," in Hybrid Systems: Computation and Control, M. Morari and L. Thiele, Eds. Berlin, Germany: Springer-Verlag, 2005, vol. 3414, Lecture Notes in Computer Science, pp. 480-494. (Pubitemid 41252086)
50. P. A. Ioannou and J. Sun, Robust Adaptive Control. Englewood Cliffs, NJ: Prentice-Hall, 1996.
51. S. Kaynama and M. Oishi, "Complexity reduction through a Schurbased decomposition for reachability analysis of linear time-invariant systems," Int. J. Control, vol. 84, no. 1, pp. 165-179, 2011.