Computing the viability kernel using maximal reachable sets

HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control

Volumn , Issue , 2012, Pages 55-63

  Kaynama, Shahab ^a   Maidens, John ^a   Oishi, Meeko ^a   Mitchell, Ian M ^a   Dumont, Guy A ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Controlled invariance; Reachability; Safety critical systems; Scalability; Set theoretic methods; Viability

Indexed keywords

CONTROLLED-INVARIANCE; REACHABILITY; SAFETY CRITICAL SYSTEMS; SET-THEORETIC METHODS; VIABILITY;

SCALABILITY;

HYBRID SYSTEMS;

EID: 84860640131     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2185632.2185644     Document Type: Conference Paper

References (39)

1. J.-P. Aubin. Viability Theory. Systems and Control: Foundations and Applications. Birkhäuser, Boston, MA, 1991.
2. A. M. Bayen, I. M. Mitchell, M. Oishi, and C. J. Tomlin. Aircraft autolander safety analysis through optimal control-based reach set computation. Journal of Guidance, Control, and Dynamics, 30(1):68-77, 2007. (Pubitemid 46219873)
3. F. Blanchini and S. Miani. Set-Theoretic Methods in Control. Springer, 2008.
4. S. P. Boyd and L. Vandenberghe. Convex optimization. Cambridge University Press, 2004.
5. A. E. Bryson. Control of Spacecraft and Aircraft. Princeton Univ. Press, 1994.
6. P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. Set-valued numerical analysis for optimal control and differential games. In M. Bardi, T. Raghavan, and T. Parthasarathy, editors, Stochastic and Differential Games: Theory and Numerical Methods, number 4 in Annals of the International Society of Dynamic Games, pages 177-247, Boston, MA, 1999. Birkhäuser.
7. A. N. Daryin, A. B. Kurzhanski, and I. V. Vostrikov. Reachability approaches and ellipsoidal techniques for closed-loop control of oscillating systems under uncertainty. In Proc. IEEE Conference on Decision and Control, pages 6385-6390, San Diego, CA, 2006. (Pubitemid 351283651)
8. G. Dumont, A. Martinez, and J. Ansermino. Robust control of depth of anesthesia. International Journal of Adaptive Control and Signal Processing, 23:435-454, 2009.
9. Y. Gao, J. Lygeros, and M. Quincampoix. The reachability problem for uncertain hybrid systems revisited: a viability theory perspective. In J. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control, LNCS 3927, pages 242-256, Berlin Heidelberg, 2006. Springer-Verlag. (Pubitemid 44019591)
10. T. Gilhuly. Modeling and control of neuromuscular blockade. PhD thesis, University of British Columbia, Vancouver, Canada, 2007.
11. A. Girard and C. Le Guernic. Efficient reachability analysis for linear systems using support functions. In IFAC World Congress, Seoul, Korea, July 2008.
12. A. Girard, C. Le Guernic, and O. Maler. Efficient computation of reachable sets of linear time-invariant systems with inputs. In J. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control, LNCS 3927, pages 257-271. Springer-Verlag, 2006. (Pubitemid 44019592)
13. Z. Han and B. H. Krogh. Reachability analysis of nonlinear systems using trajectory piecewise linearized models. In Proc. American Control Conference, pages 1505-1510, Minneapolis, MN, 2006. (Pubitemid 46531028)
14. C. Ionescu, R. De Keyser, B. Torrico, T. De Smet, M. Struys, and J. Normey-Rico. Robust predictive control strategy applied for propofol dosing using BIS as a controlled variable during anesthesia. IEEE Transactions on Biomedical Engineering, 55(9):2161-2170, 2008.
15. S. Kaynama and M. Oishi. Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. International Journal of Control, 84(1):165-179, 2011.
16. S. Kaynama and M. Oishi. A modified Riccati transformation for complexity reduction in reachability analysis of linear time-invariant systems. IEEE Transactions on Automatic Control, 2011. (accepted; preprint available at www.ece.ubc.ca/~kaynama).
17. S. Kaynama, M. Oishi, I. M. Mitchell, and G. A. Dumont. The continual reachability set and its computation using maximal reachability techniques. In Proc. IEEE Conference on Decision and Control, and European Control Conference, pages 6110-6115, Orlando, FL, 2011.
18. A. B. Kurzhanski and I. Vályi. Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston, MA, 1996.
19. A. B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 202-214, Berlin Heidelberg, 2000. Springer-Verlag.
20. A. B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis: internal approximation. Systems & Control Letters, 41:201-211, 2000.
21. A. B. Kurzhanski and P. Varaiya. On reachability under uncertainty. SIAM Journal on Control and Optimization, 41(1):181-216, 2002.
22. A. A. Kurzhanskiy and P. Varaiya. Ellipsoidal Toolbox (ET). In Proc. IEEE Conference on Decision and Control, pages 1498-1503, San Diego, CA, Dec. 2006. (Pubitemid 351283338)
23. A. A. Kurzhanskiy and P. Varaiya. Ellipsoidal techniques for reachability analysis of discrete-time linear systems. IEEE Transactions on Automatic Control, 52(1):26-38, 2007. (Pubitemid 46343995)
24. M. Kvasnica, P. Grieder, M. Baotíc, and M. Morari. Multi-Parametric Toolbox (MPT). In R. Alur and G. J. Pappas, editors, Hybrid Systems: Computation and Control, LNCS 2993, pages 448-462, Berlin, Germany, 2004. Springer.
25. C. Le Guernic. Reachability analysis of hybrid systems with linear continuous dynamics. PhD thesis, Université Grenoble 1 - Joseph Fourier, 2009.
26. J. Lygeros. On reachability and minimum cost optimal control. Automatica, 40(6):917-927, June 2004.
27. K. Margellos and J. Lygeros. Air traffic management with target windows: An approach using reachability. In Proc. IEEE Conference on Decision and Control, pages 145-150, Shanghai, China, Dec 2009.
28. T. Mendonca, J. Lemos, H. Magalhaes, P. Rocha, and S. Esteves. Drug delivery for neuromuscular blockade with supervised multimodel adaptive control. IEEE Transactions on Control Systems Technology, 17(6):1237-1244, November 2009.
29. I. M. Mitchell. Comparing forward and backward reachability as tools for safety analysis. In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, Hybrid Systems: Computation and Control, LNCS 4416, pages 428-443, Berlin Heidelberg, 2007. Springer-Verlag.
30. I. M. Mitchell. A toolbox of level set methods. Technical report, UBC Department of Computer Science, TR-2007-11, June 2007.
31. I. M. Mitchell. Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. In Proc. Hybrid Systems: Computation and Control, pages 103-112, Chicago, IL, 2011. ACM.
32. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin. A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control, 50(7):947-957, July 2005. (Pubitemid 41078397)
33. I. M. Mitchell and C. J. Tomlin. Overapproximating reachable sets by Hamilton-Jacobi projections. Journal of Scientific Computing, 19(1-3):323-346, 2003.
34. P. Oliveira, J. P. Hespanha, J. M. Lemos, and T. Mendonça. Supervised multi-model adaptive control of neuromuscular blockade with off-set compensation. In Proc. European Control Conference, 2009.
35. 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 Conference on Decision and Control, pages 8612-8617, Dec. 2009.
36. P. Saint-Pierre. Approximation of the viability kernel. Applied Mathematics and Optimization, 29(2):187-209, Mar 1994.
37. O. Simanski, A. Schubert, R. Kaehler, M. Janda, J. Bajorat, R. Hofmockel, and B. Lampe. Automatic drug delivery in anesthesia: From the beginning until now. In Proc. Mediterranean Conf. Contr. Automation, Athens, Greece, 2007.
38. D. M. Stipanovíc, I. Hwang, and C. J. Tomlin. Computation of an over-approximation of the backward reachable set using subsystem level set functions. In Proc. IEE European Control Conference, Cambridge, UK, Sept. 2003.
39. S. Syafiie, J. Niño, C. Ionescu, and R. De Keyser. NMPC for propofol drug dosing during anesthesia induction. In Nonlinear Model Predictive Control, volume 384, pages 501-509. Springer Berlin Heidelberg, 2009.