Parameter synthesis for hybrid systems with an application to Simulink models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 165-179

  Donzél, Alexandre ^a   Krogh, Bruce ^b   Rajhans, Akshay ^b  

^a Carnegie Mellon University   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR CONTROL; NON-TRIVIAL; NUMERICAL SOLVERS; PARAMETER SYNTHESIS; PARAMETER VARIATION; QUADROTOR HELICOPTER; REACHABLE SET; SAFETY PROPERTY; SIMULINK MODELS; UNCERTAIN PARAMETERS;

ELECTRIC GROUNDING; FLIGHT CONTROL SYSTEMS; HYBRID COMPUTERS; HYBRID SYSTEMS; SENSITIVITY ANALYSIS; SET THEORY;

UNCERTAINTY ANALYSIS;

EID: 67650102584     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_12     Document Type: Conference Paper

References (14)

1. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., Maler, O.: Recent progress in continuous and hybrid reachability analysis. In: Proc. IEEE International Symposium on Computer-Aided Control Systems Design. IEEE Computer Society Press, Los Alamitos (2006)
2. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174-189. Springer, Heidelberg (2007)
3. Donzé, A.: Trajectory-Based Verification and Controller Synthesis for Continuous and Hybrid Systems. PhD thesis, University Joseph Fourier (June 2007)
4. Esposito, J.M., Kumar, V., Pappas, G.J.: Accurate event detection for simulating hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 204-217. Springer, Heidelberg (2001) (Pubitemid 33256419)
5. Frehse, G., Jha, S.K., Krogh, B.H.: A counterexample-guided approach to parameter synthesis for linear hybrid automata. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 187-200. Springer, Heidelberg (2008)
6. Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech, pp. 258-273. Springer, Heidelberg (2005)
7. Girard, A., Pappas, G.J.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 272-286. Springer, Heidelberg (2006) (Pubitemid 44019593)
8. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer 1, 460-463 (1997) (Pubitemid 127089004)
9. Hoffmann, G., Huang, H., Waslander, S., Tomlin, C.J.: Quadrotor helicopter flight dynamics and control: Theory and experiment. In: Proceedings of the AIAA Conference on Guidance, Navigation and Control, Hilton Head, South Carolina (August 2007)
10. Hiskens, I.A., Pai, M.A.: Trajectory sensitivity analysis of hybrid systems. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications 47(2), 204-220 (2000) (Pubitemid 30580897)
11. Henzinger, T.A., Wong-Toi, H.: Using hytech to synthesize control parameters for a steam boiler. In: Abrial, J.-R., Börger, E., Langmaack, H.(eds.) Dagstuhl Seminar 1995. LNCS, vol. 1165, pp. 265-282. Springer, Heidelberg (1996) (Pubitemid 126154447)
12. Lerda, F., Kapinski, J., Clarke, E.M., Krogh, B.H.: Verification of supervisory control software using state proximity and merging. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 344-357. Springer, Heidelberg (2008)
13. The Mathworks. Simulink User Guide
14. Serban, R., Hindmarsh, A.C.: Cvodes: the sensitivity-enabled ode solver in sundials. In: Proceedings of IDETC/CIE 2005, Long Beach, CA (September 2005)