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

Volumn 11, Issue 2-3, 2004, Pages 399-411

  Stipanović, Dušan M ^a   Hwang, Inseok ^a   Tomlin, Claire J ^a  

^a 496 Lomita Mall   (United States)

Author keywords

Interconnected systems; Over approximations; Reachable sets

Indexed keywords

EID: 4644270222     PISSN: 12013390     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. M. Bardi and I. Capuzzo-Dolcetta. Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations. Birkhäuser, Boston, MA, 1997.
2. M. G. Crandall, L. C. Evans, and P.-L. Lions. Some properties of viscosity solutions of Hamilton-Jacobi equations. Transactions of American Mathematical Society, 282(2) :487-502, 1984.
3. I. Hwang, D. M. Stipanović, and C. J. Tomlin. Applications of polytopic approximations of reachable sets to linear dynamic games and a class of nonlinear systems. In Proceedings of the American Control Conference, pages 4613-4619, Denver, June 2003.
4. M. M. Khrustalev. Exact description of reachable sets and global optimality conditions. Automatika i Telemekhanika, (5):62-70, 1988.
5. M. M. Khrustalev. Exact description of reachable sets and global optimality conditions II: conditions of global optimality. Automatika i Telemekhanika, (7):70-80, 1988.
6. V. F. Krotov. Global Methods in Optimal Control Theory. Marcel Dekker, Inc, New York, NY, 1996.
7. A. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In B. Krogh and N. Lynch, editors, Hybrid Systems: Computation and Control, volume LNCS 1790, pages 202-214. Springer Verlag, 2000.
8. A. Kurzhanski and P. Varaiya. Dynamic optimization for reachability problems. Journal of Optimization Theory and Applications, 108(2):227-251, 2001.
9. A. Kurzhanski and P. Varaiya. On reachability under uncertainty. SIAM Journal on Control and Optimization, 41(1):181-216, 2002.
10. A. Kurzhanski and P. Varaiya. Reachability analysis for uncertain systems-the ellipsoidal technique. Dynamics of Continuous, Discrete & Impulse Systems, Series B: Applications & Algorithms, 9(3):347-367, 2002.
11. G. Leitmann. An Introduction to Optimal Control. Mc-Graw-Hill, New York, NY, 1967.
12. J. Lygeros, C. J. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
13. I. Mitchell, A. M. Bayen, and C. J. Tomlin. Validating a Hamilton-Jacobi approximation to hybrid system reachable sets. In M. D. D. Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume LNCS 2034, pages 418-432. Springer Verlag, 2001.
14. I. Mitchell, A. M. Bayen, and C. J. Tomlin. Computing reachable sets for continuous dynamic games using level set methods. IEEE Transactions on Automatic Control, 2002. Submitted.
15. I. Mitchell and C. J. Tomlin. Overapproximating reachable sets by Hamilton-Jacobi projections. Journal of Scientific Computing, special issue dedicated to Stanley Osher on the occasion of his 60th birthday, 2002. Accepted.
16. S. Sastry. Nonlinear Systems: Analysis, Stability, and Control. Springer Verlag, New York, NY, 1999.
17. D. M. Stipanović, G. İnalhan, R. Teo, and C. J. Tomlin. Decentralized overlapping control of a formation of unmanned aerial vehicles. In Proceedings of the IEEE Conference on Decision and Control, Las Vegas, Nevada, December 2002.
18. C. J. Tomlin, J. Lygeros, and S. Sastry. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88(7):949-970, 2000.
19. P. Varaiya. Reach set computation using optimal control. In Proceedings of the KIT Workshop on Verification of Hybrid Systems, Grenoble, France, 1998.
20. T. L. Vincent and W. J. Grantham. Nonlinear and Optimal Control Systems. John Wiley & Sons, Inc, New York, NY, 1997.
21. T. L. Vincent and Z. Y. Wu. Estimating projections of the controllable set. Journal of Guidance, Control, and Dynamics, 13(3):572-575, 1990.
22. R. Vinter. A characterization of the reachable set for nonlinear control systems. SIAM Journal on Control and Optimization, 18(6):599-610, 1980.
23. D. D. Šiljak. Decentralized Control of Complex Systems. Academic Press, Boston, MA, 1991.