The continual reachability set and its computation using maximal reachability techniques

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 6110-6115

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

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

CONSTRAINED DYNAMICAL SYSTEM; ELLIPSOIDAL TECHNIQUE; INITIAL STATE; REACHABILITY; REACHABILITY SET;

DYNAMICAL SYSTEMS;

EID: 84860625502     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2011.6161424     Document Type: Conference Paper

References (28)

1. J. Lygeros, "On reachability and minimum cost optimal control," Automatica, vol. 40, no. 6, pp. 917-927, June 2004.
2. A. Bayen, I. Mitchell, M. Oishi, and C. Tomlin, "Aircraft autolander safety analysis through optimal control-based reach set computation," J. Guid. Contr. Dynam., vol. 30, no. 1, pp. 68-77, 2007.
3. I. Mitchell, A. Bayen, and C. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Trans. Auto. Contr., vol. 50, no. 7, pp. 947-957, July 2005.
4. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems," Proc. IEEE, vol. 91, no. 7, pp. 986-1001, 2003.
5. A. Chutinan and B. Krogh, "Computational techniques for hybrid system verification," IEEE Trans. Auto. Contr., vol. 48, pp. 64-75, 2003.
6. I. Mitchell, "Comparing forward and backward reachability as tools for safety analysis," in Hybrid Syst.: Comput. Contr., LNCS 4416, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Berlin Heidelberg: Springer-Verlag, 2007, pp. 428-443.
7. J.-P. Aubin, Viability Theory, ser. Systems and Control: Foundations and Applications. Boston, MA: Birkhäuser, 1991.
8. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in Hybrid Syst.: Comput. Contr., LNCS 1790, N. Lynch and B. Krogh, Eds. Heidelberg: Springer-Verlag, 2000, pp. 202-214.
9. A. A. Kurzhanskiy and P. Varaiya, "Ellipsoidal toolbox (ET)," in Proc. IEEE Conf. Decis. Contr., San Diego, CA, Dec. 2006, pp. 1498-1503.
10. A. Girard, C. Le Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs," in Hybrid Syst.: Comput. Contr., LNCS 3927, J. Hespanha and A. Tiwari, Eds. Springer-Verlag, 2006, pp. 257-271.
11. A. Girard and C. Le Guernic, "Efficient reachability analysis for linear systems using support functions," in IFAC World Congr., Seoul, Korea, July 2008.
12. P. Saint-Pierre, "Approximation of the viability kernel," Appl. Math. Optim., vol. 29, no. 2, pp. 187-209, Mar 1994.
13. 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, M. Bardi, T. Raghavan, and T. Parthasarathy, Eds., no. 4. Boston, MA: Birkhäuser, 1999, pp. 177-247.
14. Y. Gao, J. Lygeros, and M. Quincampoix, "The reachability problem for uncertain hybrid systems revisited: a viability theory perspective," in Hybrid Syst.: Comput. Contr., LNCS 3927, J. Hespanha and A. Ti-wari, Eds. Berlin Heidelberg: Springer-Verlag, 2006, pp. 242-256.
15. 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.
16. 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 Trans. Biomed. Eng., vol. 55, no. 9, pp. 2161-2170, 2008.
17. S. Syafiie, J. Niño, C. Ionescu, and R. De Keyser, "NMPC for propofol drug dosing during anesthesia induction," in Nonlinear Model Predictive Control, ser. Lect. Notes Contr. Inform. Sci. Springer Berlin Heidelberg, 2009, vol. 384, pp. 501-509.
18. G. Dumont, A. Martinez, and J. Ansermino, "Robust control of depth of anesthesia," Int. J. Adapt. Contr. Signal Process., vol. 23, pp. 435-454, 2009.
19. P. Oliveira, J. Hespanha, J. Lemos, and T. Mendonça, "Supervised multi-model adaptive control of neuromuscular blockade with off-set compensation," in Proc. European Contr. Conf., 2009.
20. T. Mendonca, J. A. Lemos, H. Magalhaes, P. Rocha, and S. Esteves, "Drug delivery for neuromuscular blockade with supervised multi-model adaptive control," IEEE Trans. Contr. Syst. Technol., vol. 17, no. 6, pp. 1237-1244, November 2009.
21. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis: internal approximation," Syst. Contr. Lett., vol. 41, pp. 201-211, 2000.
22. J.-P. Aubin, "Viability kernels and capture basins of sets under differential inclusions," in Proc. IEEE Conf. Decis. Contr., Las Vegas, NV, Dec 2002, pp. 4605-4610.
23. A. B. Kurzhanski and I. Vályi, Ellipsoidal Calculus for Estimation and Control. Boston, MA: Birkhäuser, 1996.
24. A. B. Kurzhanski and P. Varaiya, "On reachability under uncertainty," SIAM J. Contr. Optim., vol. 41, no. 1, pp. 181-216, 2002.
25. A. A. Kurzhanskiy and P. Varaiya, "Ellipsoidal techniques for reachability analysis of discrete-time linear systems," IEEE Trans. Auto. Contr., vol. 52, no. 1, pp. 26-38, 2007.
26. T. Gilhuly, "Modeling and control of neuromuscular blockade," Ph.D. dissertation, University of British Columbia, Vancouver, Canada, 2007.
27. T. Gilhuly, B. Macleod, G. Dumont, A. Bouzane, and S. Schwarz, "Improved neuromuscular blockade using a novel neuromuscular blockade advisory system: a randomized, controlled, clinical trial." Anesth. Analg., vol. 107, no. 5, 2008.
28. T. Gilhuly, G. Dumont, and B. Macleod, "Modelling for computer controlled neuromuscular blockade," in IEEE Eng. Med. Biol. Mag., 2005, pp. 26-29.