Safety verification of controlled Advanced Life Support System using barrier certificates

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 306-321

  Glavaski, Sonja ^a   Papachristodoulou, Antonis ^b   Ariyur, Kartik ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AUTOMATION; CARBON DIOXIDE; CONCENTRATION (PROCESS); MATHEMATICAL TECHNIQUES; OXYGEN;

ADVANCE LIFE SUPPORT SYSTEMS; BARRIER CERTIFICATES; HYBRID SYSTEMS; OXYGEN CONCENTRATIONS; VERIFICATION;

COMPUTATIONAL COMPLEXITY;

EID: 24344452116     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_20     Document Type: Conference Paper

References (11)

1. Wong-Toi, H.: The synthesis of controllers for linear hybrid automata. In: Proceedings of Conference on Decision and Control. (1997)
2. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35 (1999) 407-427
3. Malin, J., Nieten, J., Schreckenghost, D., MacMahon, M., Graham, J., Thronesbery, C., Bonasso, R., Kowing, J.: Multi-agent diagnosis and control of an air revitalization system for life support in space. Proceedings of the IEEE Aerospace Conference (2000)
4. Subramanian, D., Ariyur, K., Lamba, N., Deshpande, R., Glavaski, S.: Control design for a hybrid dynamical system: A nasa life support system. In: Hybrid Systems: Computation and Control, LNCS 2293, Springer-Verlag (2004) 570-584
5. Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Hybrid Systems: Computation and Control, LNCS 2293, Springer-Verlag (2004) 477-492
6. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicolin, X., Oliviero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3-34
7. Murty, K.G., Kabadi, S.N.: Some NP-complete problems in quadratic and nonlinear programming. Mathematical Programming 39 (1987) 117-129
8. Parrilo, P.A.: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology, Pasadena, CA (2000) Available at http://www.control.ethz.ch/~parrilo/pubs/index.html.
9. Vandenberghe, L., Boyd, S.: Semidefinite programming. SIAM Review 38 (1996) 49-95
10. Prajna, S., Papachristodoulou, A., Parrilo, P.A.: SOSTOOLS - Sum of Squares Optimization Toolbox, User's Guide. Available at http://www.cds.caltech.edu/sostools and http://www.aut.ee.ethz.ch/parrilo/sostools (2002)
11. Sturm, J.F.: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Software 11-12 (1999) 625-653 Available at http://fewcal.kub.nl/sturm/software/sedumi.html.