Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems

International Journal of Control

Volumn 84, Issue 1, 2011, Pages 165-179

  Kaynama, Shahab ^a   Oishi, Meeko ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

projection; reachability analysis; structure decomposition; transformation

Indexed keywords

COMPLEXITY REDUCTION; COMPUTATIONAL COSTS; CONSTRAINT CONDITIONS; CONTROLLER SYNTHESIS; EIGEN-VALUE; LINEAR TIME INVARIANT SYSTEMS; LTI SYSTEMS; POTENTIAL UTILITY; PROJECTION; REACHABILITY; REACHABILITY ANALYSIS; REACHABLE SET; STRUCTURE DECOMPOSITION; TRANSFORMATION;

EIGENVALUES AND EIGENFUNCTIONS; INVARIANCE;

TIME VARYING CONTROL SYSTEMS;

EID: 79751484004     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207179.2010.543703     Document Type: Article

References (39)

1. Asarin, E., and Dang, T. (2004), 'Abstraction by Projection and Application to Multi-affine Systems', Hybrid Systems: Computation and Control, LNCS 2993, Berlin: Springer- Verlag, pp. 129-132.
2. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., and Maler, O. (2006), 'Recent Progress in Continuous and Hybrid Reachability Analysis', in Proceedings of IEEE International Symposium on Computer-aided Control Systems Design, October, Munich, Germany, pp. 1582-1587.
3. Aubin, J.P. (1991), 'Viability Theory', Systems and Control: Foundations and Applications, Boston, MA: Birkhäuser.
4. Bayen, A., Mitchell, I., Oishi, M., and Tomlin, C. (2007), 'Aircraft Autolander Safety Analysis Through Optimal Control-based Reach Set Computation', Journal of Guidance, Control, and Dynamics, 30, 68-77. (Pubitemid 46219873)
5. Bryson, A. (1994), Control of Spacecraft and Aircraft, Princeton: Princeton University Press.
6. Cardaliaguet, P., Quincampoix, M., and Saint-Pierre, P. (1999), 'Set-valued Numerical Analysis for Optimal Control and Differential Games', in Stochastic and Differential Games: Theory and Numerical Methods, Annals of the International Society of Dynamic Games (Vol. 4), eds. M. Bardi, T. Raghavan, and T. Parthasarathy, Boston, MA: Birkhäuser, pp. 177-247.
7. Evans, L., and Souganidis, P. (1984), 'Differential Games and Representation Formulas for Solutions of Hamilton- Jaconbi-Isaacs Equations', Indiana University Mathematics Journal, 33, 773-797.
8. Gao, Y., Lygeros, J., and Quincampoix, M. (2006), 'The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective', in Hybrid Systems: Computation and Control, LNCS 3927, eds. J. Hespanha, and A. Tiwari, Berlin-Heidelberg: Springer- Verlag, pp. 242-256. (Pubitemid 44019591)
9. Girard, A., and Le Guernic, C. (2008), 'Efficient Reachability Analysis for Linear Systems using Support Functions', IFAC World Congress, July, Seoul, Korea, pp. 8966-8971.
10. Girard, A., Le Guernic, C., and Maler, O. (2006), 'Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs', in Hybrid Systems: Computation and Control, LNCS 3927, eds. J. Hespanha, and A. Tiwari, Berlin/Heidelberg: Springer-Verlag, pp. 257-271. (Pubitemid 44019592)
11. Girard, A., and Pappas, G.J. (2007), 'Approximation Metrics for Discrete and Continuous Systems', IEEE Transactions on Automatic Control, 52, 782-798. (Pubitemid 46796065)
12. Golub, G.H., and Loan, C.F.V. (1996), Matrix Computations, Baltimore: Johns Hopkins University Press.
13. Han, Z., and Krogh, B. (2004), 'Reachability Analysis of Hybrid Control Systems using Reduced-order Models', in Proceedings of American Control Conference, June, Boston, MA, pp. 1183-1189.
14. Han, Z., and Krogh, B.H. (2005), 'Reachability Analysis for Affine Systems using -decomposition', in Proceedings of IEEE Conference on Decision and Control, European Control Conference, December, Seville, Spain, pp. 6984-6990.
15. Han, Z., and Krogh, B.H. (2006), 'Reachability Analysis of Large-scale Affine Systems using Low-dimensional Polytopes', in Hybrid Systems: Computation and Control, LNCS 3927, eds. J. Hespanha, and A. Tiwari, Berlin, Germany: Springer-Verlag, pp. 287-301. (Pubitemid 44019594)
16. Ioannou, P., and Sun, J. (1996), Robust Adaptive Control, Englewood Cliffs, NJ: Prentice Hall.
17. Krogh, B.H., and Stursberg, O. (2003), 'Efficient Representation and Computation of Reachable Sets for Hybrid Systems', in Hybrid Systems: Computation and Control, LNCS 2623, eds. O. Maler, and A. Pnueli, Berlin, Germany: Springer-Verlag, pp. 482-497.
18. Kurzhanski, A.B., and Varaiya, P. (2000), 'Ellipsoidal Techniques for Reachability Analysis', in Hybrid Systems: Computation and Control, LNCS 1790, eds. N. Lynch, and B. Krogh, Berlin-Heidelberg: Springer- Verlag, pp. 202-214.
19. Kurzhanski, A.B., and Varaiya, P. (2002), 'On Reachability Under Uncertainty', SIAM Journal on Control and Optimization, 41, 181-216.
20. Kurzhanskiy, A.A., and Varaiya, P. (2007), 'Ellipsoidal Techniques for Reachability Analysis of Discrete-time Linear Systems', IEEE Transactions on Automatic Control, 52, 26-38. (Pubitemid 46343995)
21. Kvasnica, M., Grieder, P., Baotić , M., and Morari, M. (2004), 'Multi-parametric Toolbox (MPT)', in Hybrid Systems: Computation and Control, LNCS 2993, eds. R. Alur, and G.J. Pappas, Berlin, Germany: Springer, pp. 448-462.
22. Lygeros, J., Tomlin, C., and Sastry, S. (1999), 'Controllers for Reachability Specifications for Hybrid Systems', Automatica, 35, 349-370.
23. Mahmoud, M., and Singh, M. (1981), Large Scale Systems Modelling, Oxford: Pergamon Press.
24. Mitchell, I. (2007a), 'Comparing Forward and Backward Reachability as Tools for Safety Analysis', in Hybrid Systems: Computation and Control, LNCS 4416, eds. A. Bemporad, A. Bicchi, and G. Buttazzo, Berlin- Heidelberg: Springer-Verlag, pp. 428-443.
25. Mitchell, I.M. (2007b), 'A Toolbox of Level Set Methods', Technical Report TR-2007-11, The University of British Columbia, UBC, Department of Computer Science.
26. Mitchell, I., Bayen, A., and Tomlin, C. (2005), 'A Timedependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games', IEEE Transactions on Automatic Control, 50, 947-957. (Pubitemid 41078397)
27. Mitchell, I., and Tomlin, C. (2003), 'Overapproximating Reachable Sets by Hamilton-Jacobi Projections', Journal of Scientific Computing, 19, 323-346.
28. Safonov, M.G., and Chiang, R.Y. (1989), 'A Schur Method for Balanced-truncation Model Reduction', IEEE Transactions on Automatic Control, 34, 729-733.
29. Saint-Pierre, P. (2002), 'Hybrid Kernels and Capture Basins for Impulse Constrained Systems', in Hybrid Systems: Computation and Control, LNCS 2289, eds. C. Tomlin, and M. Greenstreet, Berlin-Heidelberg: Springer-Verlag, pp. 378-392.
30. Shishido, N., and Tomlin, C. (2000), 'Ellipsoidal Approximations of Reachable Sets for Linear Games', in Proceedings of IEEE Conference on Decision and Control, December, Sydney, Australia, pp. 999-1004. (Pubitemid 32528861)
31. Siret, J.M., Michailesco, G., and Bertrand, P. (1977), 'Optimal Approximation of High-order Systems Subject to Polynomial Inputs', International Journal of Control, 26, 963-971. (Pubitemid 8570033)
32. Skogestad, S., and Postlethwaite, I. (2007), Multivariable Feedback Control; Analysis and Design, West Sussex, UK: John Wiley & Sons.
33. Stipanović , D., Hwang, I., and Tomlin, C. (2004), 'Computation of an Over-approximation of the Backward Reachable Set using Subsystem Level Set Functions', Dynamics of Continuous, Discrete and Impulsive Systems, Series A: Mathematical Analysis, 11, 399-411. (Pubitemid 39266271)
34. Strang, G. (1988), Linear Algebra and Its Applications, Boston: Brooks Cole.
35. Tomlin, C., Lygeros, J., and Sastry, S. (2000), 'A Game Theoretic Approach to Controller Design for Hybrid Systems', Proceedings of the IEEE, 88, 949-970.
36. Tomlin, C., Mitchell, I., Bayen, A., and Oishi, M. (2004), 'Computational Techniques for the Verification and Control of Hybrid Systems', Proceedings of the IEEE, 91, 986-1001.
37. Varaiya, P. (1998), 'Reach Set Computation using Optimal Control', in Proceedings of KIT Work-shop on Verification of Hybrid Systems, Verimag, Grenoble.
38. Yazarel, H., and Pappas, G.J. (2004), 'Geometric Programming Relaxations for Linear System Reachability', in Proceedings of American Control Conference, June, Boston, MA, pp. 553-559.
39. Zhou, K., Doyle, J.C., and Glover, K. (1996), Robust and Optimal Control, Englewood Cliffs, NJ: Prentice Hall.