{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:59:44Z","timestamp":1742392784485},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006012"},{"type":"electronic","value":"9783642006029"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00602-9_12","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T12:49:45Z","timestamp":1241441385000},"page":"165-179","source":"Crossref","is-referenced-by-count":30,"title":["Parameter Synthesis for Hybrid Systems with an Application to Simulink Models"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Donz\u00e9","sequence":"first","affiliation":[]},{"given":"Bruce","family":"Krogh","sequence":"additional","affiliation":[]},{"given":"Akshay","family":"Rajhans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Proc. IEEE International Symposium on Computer-Aided Control Systems Design","author":"E. Asarin","year":"2006","unstructured":"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)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A. Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"12_CR3","unstructured":"Donz\u00e9, A.: Trajectory-Based Verification and Controller Synthesis for Continuous and Hybrid Systems. PhD thesis, University Joseph Fourier (June 2007)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45351-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Esposito","year":"2001","unstructured":"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.\u00a02034, pp. 204\u2013217. Springer, Heidelberg (2001)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-78929-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2008","unstructured":"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.\u00a04981, pp. 187\u2013200. Springer, Heidelberg (2008)"},{"key":"12_CR6","first-page":"258","volume-title":"Phaver: Algorithmic verification of hybrid systems past hytech","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/11730637_22","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2006","unstructured":"Girard, A., Pappas, G.J.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 272\u2013286. Springer, Heidelberg (2006)"},{"key":"12_CR8","first-page":"460","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: A model checker for hybrid systems. Software Tools for Technology Transfer\u00a01, 460\u2013463 (1997)","journal-title":"Software Tools for Technology Transfer"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.2514\/6.2007-6461"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/81.828574","volume":"47","author":"I.A. Hiskens","year":"2000","unstructured":"Hiskens, I.A., Pai, M.A.: Trajectory sensitivity analysis of hybrid systems. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications\u00a047(2), 204\u2013220 (2000)","journal-title":"IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0027241","volume-title":"Formal Methods for Industrial Applications","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A., Wong-Toi, H.: Using hytech to synthesize control parameters for a steam boiler. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165, pp. 265\u2013282. Springer, Heidelberg (1996)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-78929-1_25","volume-title":"Hybrid Systems: Computation and Control","author":"F. Lerda","year":"2008","unstructured":"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.\u00a04981, pp. 344\u2013357. Springer, Heidelberg (2008)"},{"key":"12_CR13","unstructured":"The Mathworks. Simulink User Guide"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Serban, R., Hindmarsh, A.C.: Cvodes: the sensitivity-enabled ode solver in sundials. In: Proceedings of IDETC\/CIE 2005, Long Beach, CA (September 2005)","DOI":"10.1115\/DETC2005-85597"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00602-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T20:13:48Z","timestamp":1551989628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00602-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006012","9783642006029"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00602-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}