{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:13:35Z","timestamp":1771697615979,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319336923","type":"print"},{"value":"9783319336930","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_28","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:35:47Z","timestamp":1464068147000},"page":"441-456","source":"Crossref","is-referenced-by-count":14,"title":["A Component-Based Approach to Hybrid Systems Safety Verification"],"prefix":"10.1007","author":[{"given":"Andreas","family":"M\u00fcller","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Mitsch","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Retschitzegger","sequence":"additional","affiliation":[]},{"given":"Wieland","family":"Schwinger","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"SS Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 43\u201358. Springer, Heidelberg (2012)"},{"issue":"4","key":"28_CR4","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1002\/rnc.2914","volume":"24","author":"L Benvenuti","year":"2014","unstructured":"Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L., Villa, T.: Assume-guarantee verification of nonlinear hybrid systems with Ariadne. Int. J. Robust Nonlinear Control 24(4), 699\u2013724 (2014)","journal-title":"Int. J. Robust Nonlinear Control"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-13754-9_6","volume-title":"Time for Verification","author":"W Damm","year":"2010","unstructured":"Damm, W., Dierks, H., Oehlerking, J., Pnueli, A.: Towards component based design of hybrid systems: safety and stability. In: Manna, Z., Peled, D.A. (eds.) Time for Verification. LNCS, vol. 6200, pp. 96\u2013143. Springer, Heidelberg (2010)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction - CADE-25","year":"2015","unstructured":"Felty, A.P., Middeldorp, A. (eds.): CADE-25. LNCS, vol. 9195. Springer, Switzerland (2015)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Frehse, G., Han, Z., Krogh, B.: Assume-guarantee reasoning for hybrid i\/o-automata by over-approximation of continuous interaction. In: 43rd IEEE Conference on Decision and Control, CDC, vol. 1, pp. 479\u2013484, December 2004","DOI":"10.1109\/CDC.2004.1428676"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Fulton, N., Mitsch, S., Quesel, J., V\u00f6lp, M., Platzer, A.: KeYmaera X: an axiomatic tactical theorem prover for hybrid systems. In: Felty and Middeldorp [6], pp. 527\u2013538","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-1-4614-3879-3_8","volume-title":"Embedded Systems Development","author":"S Graf","year":"2014","unstructured":"Graf, S., Passerone, R., Quinton, S.: Contract-based reasoning for component systems with rich interactions. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds.) Embedded Systems Development, vol. 20, pp. 139\u2013154. Springer, New York (2014)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45351-2_24","volume-title":"Hybrid Systems: Computation and Control","author":"TA Henzinger","year":"2001","unstructured":"Henzinger, T.A., Minea, M., Prabhu, V.S.: Assume-guarantee reasoning for hierarchical hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 275\u2013290. Springer, Heidelberg (2001)"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-48119-2_10","volume-title":"FM\u201999 - Formal Methods","author":"R Kurki-Suonio","year":"1999","unstructured":"Kurki-Suonio, R.: Component and interface refinement in closed-system specifications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 134\u2013154. Springer, Heidelberg (1999)"},{"issue":"1\u20132","key":"28_CR12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1\u20132), 134\u2013152 (1997)","journal-title":"STTT"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-21437-0_6","volume-title":"FM 2011: Formal Methods","author":"SM Loos","year":"2011","unstructured":"Loos, S.M., Platzer, A., Nistor, L.: Adaptive cruise control: hybrid, distributed, and now formally verified. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 42\u201356. Springer, Heidelberg (2011)"},{"issue":"1","key":"28_CR14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"NA Lynch","year":"2003","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O automata. Inf. Comput. 185(1), 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Madl, G., Abdelwahed, S., Karsai, G.: Automatic verification of component-based real-time CORBA applications. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS), 5\u20138 December 2004, pp. 231\u2013240. IEEE Computer Society (2004)","DOI":"10.1109\/REAL.2004.13"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Mitsch, S., Ghorbal, K., Platzer, A.: On provably safe obstacle avoidance for autonomous robotic ground vehicles. In: Newman, P., Fox, D., Hsu, D. (eds.) Robotics: Science and Systems IX, Technische Universit\u00e4t Berlin, 24\u201328 June 2013","DOI":"10.15607\/RSS.2013.IX.014"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Mitsch, S., Loos, S.M., Platzer, A.: Towards formal verification of freeway traffic control. In: ICCPS, pp. 171\u2013180. IEEE\/ACM (2012)","DOI":"10.1109\/ICCPS.2012.25"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"M\u00fcller, A., Mitsch, S., Platzer, A.: Verified traffic networks: component-based verification of cyber-physical flow systems. In: 18th IEEE Intelligent Transportation Systems Conference (ITSC), pp. 757\u2013764. IEEE (2015)","DOI":"10.1109\/ITSC.2015.128"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"M\u00fcller, A., Mitsch, S., Retschitzegger, W., Schwinger, W., Platzer, A.: A component-based approach to hybrid systems safety verification. Technical report CMU-CS-16-100, Carnegie Mellon (2016)","DOI":"10.1007\/978-3-319-33693-0_28"},{"issue":"2","key":"28_CR20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"PJL Cuijpers","year":"2005","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. J. Log. Algebr. Program. 62(2), 191\u2013245 (2005)","journal-title":"J. Log. Algebr. Program."},{"issue":"1","key":"28_CR21","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput. 20(1), 309\u2013352 (2010)","journal-title":"J. Log. Comput."},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The complete proof theory of hybrid systems. In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS, 25\u201328 June 2012, pp. 541\u2013550. IEEE Computer Society (2012)","DOI":"10.1109\/LICS.2012.64"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Platzer, A.: A uniform substitution calculus for differential dynamic logic. In: Felty and Middeldorp [6], pp. 467\u2013481","DOI":"10.1007\/978-3-319-21401-6_32"},{"key":"28_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-40903-8_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"RRH Schiffelers","year":"2004","unstructured":"Schiffelers, R.R.H., van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E.: Formal semantics of hybrid chi. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 151\u2013165. Springer, Heidelberg (2004)"},{"key":"28_CR25","unstructured":"Ringert, J.O., Rumpe, B., Wortmann, A.: From software architecture structure and behavior modeling to implementations of cyber-physical systems. In: Wagner, S., Lichter, H. (eds.) Software Engineering 2013 - Workshopband. LNI, vol. 215, 26 February \u2013 1 March, 2013, pp. 155\u2013170. GI (2013)"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"Ruchkin, I., Schmerl, B.R., Garlan, D.: Architectural abstractions for hybrid programs. In: Kruchten, P., Becker, S., Schneider, J. (eds.) Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, 4\u20138 May 2015, pp. 65\u201374. ACM (2015)","DOI":"10.1145\/2737166.2737167"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T18:33:26Z","timestamp":1567967606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}