{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:41:13Z","timestamp":1742395273719,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_27","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"329-342","source":"Crossref","is-referenced-by-count":68,"title":["Robust Test Generation and Coverage for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"A. Agung","family":"Julius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios E.","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhukar","family":"Anand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","volume-title":"Hybrid Systems: Computation and Control","author":"T. Dang","year":"1998","unstructured":"Dang, T., Maler, O.: Reachability analysis via face lifting. In: Henzinger, T.A., Sastry, S.S. (eds.) HSCC 1998. LNCS, vol.\u00a01386, pp. 96\u2013109. Springer, Heidelberg (1998)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","volume-title":"Hybrid Systems: Computation and Control","author":"A.B. Kurzhanski","year":"2000","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal technique for reachability analysis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 202\u2013214. Springer, Heidelberg (2000)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"Mitchell, I., Tomlin, C.J.: Level set methods in for computation in hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 310\u2013323. Springer, Heidelberg (2000)"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2002","unstructured":"Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 35\u201348. Springer, Heidelberg (2002)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Han, Z., Krogh, B.H.: Reachability analysis of hybrid control systems using reduced-order. In: Proc. American Control Conference, pp. 1183\u20131189 (2004)","DOI":"10.23919\/ACC.2004.1386733"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 291\u2013305. Springer, Heidelberg (2005)"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-24743-2_22","volume-title":"Hybrid Systems: Computation and Control","author":"A. Fehnker","year":"2004","unstructured":"Fehnker, A., Ivancic, F.: Benchmarks for hybrid systems verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 326\u2013341. Springer, Heidelberg (2004)"},{"key":"27_CR10","unstructured":"Esposito, J.M.: Randomized test case generation for hybrid systems: metric selection. In: Proc. 36th Southeastern Symposium of System Theory (2004)"},{"key":"27_CR11","volume-title":"Proc. IEEE Conf. Decision and Control","author":"M.S. Branicky","year":"2003","unstructured":"Branicky, M.S., et al.: RRTs for nonlinear, discrete, and hybrid planning and control. In: Proc. IEEE Conf. Decision and Control, Hawaii, USA, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11558569_17","volume-title":"Quality of Software Architectures and Software Quality","author":"M. Osch van","year":"2005","unstructured":"van Osch, M.: Automated model-based testing of \u03c7 simulation models with TorX. In: Reussner, R., et al. (eds.) QoSA 2005 and SOQUA 2005. LNCS, vol.\u00a03712, pp. 227\u2013241. Springer, Heidelberg (2005)"},{"key":"27_CR13","unstructured":"Esposito, J.M.: Automated test trajectory for hybrid systems. In: Proc. 35th Southeastern Symposium of System Theory (2003)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Tan, L., Kim, J., Lee, I.: Testing and monitoring model-based generated program. Electronic Notes in Theoretical Computer Science\u00a089(2) (2003), http:\/\/www.elsevier.nl\/locate\/lntcs\/volume89.html","DOI":"10.1016\/S1571-0661(04)81046-6"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.S. Hong","year":"2002","unstructured":"Hong, H.S., et al.: A temporal logic based theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 327\u2013341. Springer, Heidelberg (2002)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"27_CR17","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. Accepted for publication on IEEE Trans. Automatic Control (March 2005)"},{"issue":"6","key":"27_CR18","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","volume":"34","author":"W. Lohmiller","year":"1998","unstructured":"Lohmiller, W., Slotine, J.J.E.: On contraction analysis for nonlinear systems. Automatica\u00a034(6), 683\u2013696 (1998)","journal-title":"Automatica"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Aylward, E., Parillo, P.A., Slotine, J.J.E.: Algorithmic search for contraction metrics via sos programming. In: Proc. American Control Conference, Minneapolis, USA (2006)","DOI":"10.1109\/ACC.2006.1657177"},{"key":"27_CR20","volume-title":"Modern control theory","author":"W.L. Brogan","year":"1991","unstructured":"Brogan, W.L.: Modern control theory. Prentice Hall International, New Jersey (1991)"},{"key":"27_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning algorithms","author":"S.M. LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Makhlouf, I.B., Kowalewski, S.: An evaluation of two recent reachability analysis tools for hybrid systems. In: Proc. IFAC Conf. Analysis and Design of Hybrid Systems, Alghero, Italy, pp. 377\u2013382. IFAC (2006)","DOI":"10.1016\/B978-008044613-4.50068-9"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11867340_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G.E. Fainekos","year":"2006","unstructured":"Fainekos, G.E., Girard, A., Pappas, G.J.: Temporal logic verification using simulation. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 171\u2013186. Springer, Heidelberg (2006)"},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11730637_25","volume-title":"Hybrid Systems: Computation and Control","author":"A.A. Julius","year":"2006","unstructured":"Julius, A.A.: Approximate abstraction of stochastic hybrid automata. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 318\u2013332. Springer, Heidelberg (2006)"},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11730637_15","volume-title":"Hybrid Systems: Computation and Control","author":"A. D\u2019Innocenzo","year":"2006","unstructured":"D\u2019Innocenzo, A., Di Benedetto, M.D., Di Gennaro, S.: Observability of hybrid automata by abstraction. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 169\u2013183. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:07:51Z","timestamp":1737058071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}