Polytopic approximations of reachable sets applied to linear dynamic games and a class of nonlinear systems

Systems and Control: Foundations and Applications

Volumn , Issue 9780817643850, 2005, Pages 3-19

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

^a PURDUE UNIVERSITY   (United States)

^b University of Illinois at Urbana Champaign   (United States)

^c 496 Lomita Mall   (United States)

Author keywords

Convex Polytope; Disturbance Input; Hybrid System; Linear Dynamical System; Protected Zone

Indexed keywords

EID: 84959089048     PISSN: 23249749     EISSN: 23249757     Source Type: Book Series    
DOI: 10.1007/0-8176-4409-1_1     Document Type: Chapter

References (29)

1. P. Varaiya, Reach set computation using optimal control, In Proceedings of the KIT Workshop on Verification of Hybrid Systems, 377–383, Grenoble, France, 1998.
2. J. Lygeros, C.J. Tomlin, and S. Sastry, Controllers for reachability specifications for hybrid systems, Automatica, 35 (3):349–370, 1999.
3. 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, July 2000.
4. I. Mitchell, A. Bayen, and C.J. Tomlin, Validating a Hamilton-Jacobi approximation to hybrid system reachable sets, In M.D. DiBenedetto and A. Sangiovanni-Vincentelli, Eds., Hybrid Systems: Computation and Control, LNCS 2034:418–431, Springer-Verlag, 2001.
5. 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, 2005, to appear.
6. A. Tiwari and G. Khanna, Series of abstraction for hybrid automata, In C.J. Tomlin and M.R. Greenstreet, Eds., Hybrid Systems: Computation and Control, LNCS 2289:465–478, Springer-Verlag, 2002.
7. R. Alur, T. Dang, and F. Ivančić, Reachability analysis of hybrid systems via predicate abstraction, In C.J. Tomlin and M.R. Greenstreet, Eds., Hybrid Systems: Computation and Control, LNCS 2289:35–48, Springer-Verlag, 2002.
8. I. Hwang, H. Balakrishnan, R. Ghosh, and C.J. Tomlin, Reachability analysis of delta-notch lateral inhibition using predicate abstraction, In S. Sahni, V.K. Prasanna and U. Shukla, Eds., High Performance Computing-HiPC2002, LNCS 2552:715–724, Springer-Verlag, 2002.
9. A. Chutinan and B.H. Krogh, Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations, In F. Vaandrager and J.H. van Schuppen, Eds., Hybrid Systems: Computation and Control, LNCS 1569:76–90, Springer-Verlag, 1999.
10. A. Chutinan and B.H. Krogh, Computational techniques for hybrid system verification, IEEE Transactions on Automatic Control, 48 (1):64–75, 2003.
11. E. Asarin, O. Bournez, T. Dang, and O. Maler, Approximate reachability analysis of piecewise-linear dynamical systems, In B. Krogh and N. Lynch, Eds., Hybrid Systems: Computation and Control, LNCS 1790:20–31, Springer-Verlag, 2000.
12. T. Dang and O. Maler. Reachability analysis via face lifting, In T.A. Henzinger and S. Sastry, Eds., Hybrid Systems: Computation and Control, LNCS 1386:96–109, Springer-Verlag, 1998.
13. I. Mitchell and C.J. Tomlin, Overapproximating reachable sets by Hamilton- Jacobi projections, Journal of Scientific Computing, 19 (1–3):323–346, December 2003.
14. E. Asarin and T. Dang. Abstraction by projection and application to multi-affine systems, In R. Alur and G.J. Pappas, Eds., Hybrid Systems: Computation and Control, LNCS 2993:32–47, Springer-Verlag, 2004.
15. E.K. Kostousova, State estimation for dynamic systems via parallelotopes, Optimization Methods and Software, 9:269–306, 1998.
16. A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, Birkhauser, 1997.
17. A. Kurzhanski and P. Varaiya, Dynamic optimization for reachability problems, Journal of Optimization Theory and Applications, 108 (2):227–251, 2001.
18. O. Botchkarev and S. Tripakis, Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations, In B. Krogh and N. Lynch, Eds., Hybrid Systems: Computation and Control, LNCS 1790:73–88, Springer-Verlag, 2000.
19. A. Kurzhanski and P. Varaiya, On reachability under uncertainty, SIAM Journal on Control and Optimization, 41 (1):181–216, 2002.
20. A. Kurzhanski and P. Varaiya, Reachability analysis for uncertain systems-the ellipsoidal technique, Dynamics of Continuous, Discrete & Impulsive Systems Series B: Applications & Algorithms, 9 (3):347–367, 2002.
21. A.B. Kurzhanski, I. Mitchell, and P. Varaiya, Control synthesis for state constrained systems and obstacle problems, In Proceedings of the IFAC (NOLCOS) Symposium, Elsevier, Stuttgart, Germany, 2004.
22. A.B. Kurzhanski and P. Varaiya, On some nonstandard dynamic programming problems of control theory, In F. Giannessi and A. Maugeri, Eds., Variational Analysis and Applications, Kluwer Academic Publishers, New York, 2004.
23. M.M. Khrustalev, Exact description of reachable sets and global optimality conditions, Avtomatika i Telemekhanika, (5):62–70, 1988.
24. S. Osher and J.A. Sethian, Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations, Journal of Computational Physics, 79:12–49, 1988.
25. I. Mitchell, Games of two identical vehicles, Technical Report, Stanford University Department of Aeronautics and Astronautics Report (SUDAAR 740), Stanford University, July 2001.
26. A. Bryson and Y.C. Ho, Applied Optimal Control, Taylor and Francis, 1975.
27. S. Sastry, Nonlinear Systems: Analysis, Stability, and Control, Springer-Verlag, New York, 1999.
28. D.M. Stipanović, G. İnalhan, R. Teo, and C.J. Tomlin, Decentralized overlapping control of a formation of unmanned aerial vehicles, Automatica, 40:1285– 1296, 2004.
29. I. Hwang D.M. Stipanović and C.J. Tomlin, Computation of an over-approximation of the backward reachable set using subsystem level set functions, Dynamics of Continuous, Discrete & Impulsive Systems Series A: Mathematical Analysis, 11:399–411, 2004.