{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:29:59Z","timestamp":1757543399530},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642137532"},{"type":"electronic","value":"9783642137549"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13754-9_6","type":"book-chapter","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T11:05:52Z","timestamp":1277895952000},"page":"96-143","source":"Crossref","is-referenced-by-count":16,"title":["Towards Component Based Design of Hybrid Systems: Safety and Stability"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[]},{"given":"Henning","family":"Dierks","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Oehlerking","sequence":"additional","affiliation":[]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. Society for Industrial and Applied Mathematics (SIAM) (1994)","DOI":"10.1137\/1.9781611970777"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1080\/10556789908805765","volume":"10","author":"B. Borchers","year":"1999","unstructured":"Borchers, B.: CSDP, a C library for semidefinite programming. Optimization Methods and Software\u00a010(1), 613\u2013623 (1999), https:\/\/projects.coin-or.org\/Csdp\/","journal-title":"Optimization Methods and Software"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-75221-9_6","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"W. Damm","year":"2007","unstructured":"Damm, W., Mikschl, A., Oehlerking, J., Olderog, E.-R., Pang, J., Platzer, A., Segelken, M., Wirtz, B.: Automating Verification of Cooperation, Control, and Design in Traffic Applications. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol.\u00a04700, pp. 115\u2013169. Springer, Heidelberg (2007)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Damm, W., Peikenkamp, T., Josko, B.: Contract Based ISO CD 26262 Safety Analysis. In: SAE World Congress \u2013 Session on Safety-Critical Systems (2009)","DOI":"10.4271\/2009-01-0754"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11867340_15","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Frehse","year":"2006","unstructured":"Frehse, G.: On Timed Simulation Relations for Hybrid Systems and Compositionality. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","volume":"10","author":"G. Frehse","year":"2008","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. STTT \u2013 International Journal on Software Tools for Technology Transfer\u00a010(3), 263\u2013279 (2008)","journal-title":"STTT \u2013 International Journal on Software Tools for Technology Transfer"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-45351-2_24","volume-title":"Hybrid Systems: Computation and Control","author":"T. Henzinger","year":"2001","unstructured":"Henzinger, T., Minea, M., Prabhu, V.S.: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. In: di Benedetto, M., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 275\u2013290. Springer, Heidelberg (2001)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-75454-1_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S. Jha","year":"2007","unstructured":"Jha, S., Brady, B.A., Seshia, S.A.: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 241\u2013256. Springer, Heidelberg (2007)"},{"key":"6_CR10","unstructured":"Josko, B., Ma, Q., Metzner, A.: Designing Embedded Systems using Heterogeneous Rich Components. In: Proceedings of the INCOSE International Symposium (2008)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.5802\/afst.246","volume":"9","author":"M.A. Lyapunov","year":"1907","unstructured":"Lyapunov, M.A.: Probl\u00e8me g\u00e9n\u00e9ral de la stabilit\u00e9 du movement. Ann. Fac. Sci. Toulouse\u00a09, 203\u2013474 (1907) (Translation of a paper published in Comm. Soc. Math. Kharkow, 1893, reprinted Ann. Math. Studies No.\u00a017, Princeton Univ. Press, 1949)","journal-title":"Ann. Fac. Sci. Toulouse"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-00602-9_20","volume-title":"Hybrid Systems: Computation and Control","author":"J. Oehlerking","year":"2009","unstructured":"Oehlerking, J., Theel, O.: Decompositional construction of Lyapunov functions for hybrid systems. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol.\u00a05469, pp. 276\u2013290. Springer, Heidelberg (2009)"},{"key":"6_CR13","unstructured":"Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S. Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety Verification of Hybrid Systems Using Barrier Certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 477\u2013492. Springer, Heidelberg (2004)"},{"key":"6_CR15","unstructured":"Romanko, O., P\u00f3lik, I., Sturm, J.F.: Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones (1999)"},{"key":"6_CR16","unstructured":"Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-45873-5_32","volume-title":"Hybrid Systems: Computation and Control","author":"T. Stauner","year":"2002","unstructured":"Stauner, T.: Discrete-time refinement of hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 407\u2013420. Springer, Heidelberg (2002)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Pappas, G.J., Lima, P.: Compositional abstractions of hybrid control systems. Discrete Event Dynamic Systems\u00a014(2) (2004)","DOI":"10.1023\/B:DISC.0000018571.14789.24"}],"container-title":["Lecture Notes in Computer Science","Time for Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13754-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:41:53Z","timestamp":1559230913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13754-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642137532","9783642137549"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13754-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}