{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:19:46Z","timestamp":1725531586495},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_10","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T12:49:45Z","timestamp":1241441385000},"page":"135-149","source":"Crossref","is-referenced-by-count":13,"title":["Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Goebel, R., Hespanha, J., Teel, A.R., Cai, C., Sanfelice, R.: Hybrid systems: Generalized solutions and robust stability. In: IFAC Symp. Nonlinear Control Systems, pp. 1\u201312 (2004)","DOI":"10.1016\/S1474-6670(17)31194-1"},{"key":"10_CR2","unstructured":"Collins, P.J.: A trajectory-space approach to hybrid systems. In: Proc. of 16th Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004 (2004)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/j.automatica.2005.12.019","volume":"42","author":"R. Goebel","year":"2006","unstructured":"Goebel, R., Teel, A.R.: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica\u00a042, 596\u2013613 (2006)","journal-title":"Automatica"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"1264","DOI":"10.1109\/TAC.2007.900829","volume":"52","author":"C. Cai","year":"2007","unstructured":"Cai, C., Teel, A., Goebel, R.: Smooth Lyapunov functions for hybrid systems. Part I: existence is equivalent to robustness. IEEE Trans. Aut. Control\u00a052, 1264\u20131277 (2007)","journal-title":"IEEE Trans. Aut. Control"},{"key":"10_CR5","unstructured":"Collins, P.J.: Generalized hybrid trajectory spaces. In: Proc. of 17th Int. Symp. on Math. Theory of Networks and Systems (MTNS 2006), pp. 2101\u20132109 (2006)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"2282","DOI":"10.1109\/TAC.2007.910684","volume":"52","author":"R. Sanfelice","year":"2007","unstructured":"Sanfelice, R., Goebel, R., Teel, A.R.: Invariance principles for hybrid systems with connections to detectability and asymptotic stability. IEEE Trans. Aut. Control\u00a052, 2282\u20132297 (2007)","journal-title":"IEEE Trans. Aut. Control"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/9.981719","volume":"47","author":"J.P. Aubin","year":"2002","unstructured":"Aubin, J.P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. Aut. Control\u00a047, 2\u201320 (2002)","journal-title":"IEEE Trans. Aut. Control"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TAC.2002.806650","volume":"48","author":"J. Lygeros","year":"2003","unstructured":"Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.S.: Dynamical properties of hybrid automata. IEEE Trans. Automatic Control\u00a048, 2\u201316 (2003)","journal-title":"IEEE Trans. Automatic Control"},{"key":"10_CR9","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., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering\u00a022, 181\u2013201 (1996)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/5.871305","volume":"88","author":"J.M. Davoren","year":"2000","unstructured":"Davoren, J.M., Nerode, A.: Logics for hybrid systems. Proc. of the IEEE\u00a088, 985\u20131010 (2000)","journal-title":"Proc. of the IEEE"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-24743-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2004","unstructured":"Davoren, J.M., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 280\u2013295. Springer, Heidelberg (2004)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-71493-4_14","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2007","unstructured":"Davoren, J.M., Tabuada, P.: On simulations and bisimulations of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 145\u2013158. Springer, Heidelberg (2007)"},{"key":"10_CR14","unstructured":"der Schaft, A.V., Schumacher, J.: An Introduction to Hybrid Dynamical Systems (2000)"},{"key":"10_CR15","unstructured":"Julius, A.: On Interconnection and Equivalences of Continuous and Discrete Systems: A Behavioural Perspective. The University of Twente, PhD thesis (2005)"},{"key":"10_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02431-3","volume-title":"Variational Analysis","author":"R. Rockafellar","year":"1998","unstructured":"Rockafellar, R., Wets, R.J.: Variational Analysis. Springer, Berlin (1998)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Broucke, M.: Regularity of solutions and homotopic equivalence for hybrid systems. In: 37th IEEE Conference on Decision and Control (CDC 1998), pp. 4283\u20134288 (1998)","DOI":"10.1109\/CDC.1998.761978"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0167-6911(02)00185-8","volume":"47","author":"M.E. Broucke","year":"2002","unstructured":"Broucke, M.E., Arapostathis, A.: Continuous selections of trajectories of hybrid systems. Systems and Control Letters\u00a047, 149\u2013157 (2002)","journal-title":"Systems and Control Letters"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-30206-3_4","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"C. Kossentini","year":"2004","unstructured":"Kossentini, C., Caspi, P.: Mixed delay and threshold voters in critical real-time systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 21\u201335. Springer, Heidelberg (2004)"},{"key":"10_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5254-2","volume-title":"Convergence of Stochastic Processes","author":"D. Pollard","year":"1984","unstructured":"Pollard, D.: Convergence of Stochastic Processes. Springer, New York (1984)"},{"key":"10_CR21","unstructured":"Davoren, J., Epstein, I.: Topologies and convergence in general hybrid path spaces. In: Proc. of 18th Int. Symp. on Math. Theory of Networks and Systems (MTNS 2008) (2008)"},{"key":"10_CR22","unstructured":"Goodearl, K.: Partially Ordered Abelian Groups With Interpolation. Mathematical Surveys and Monographs. American Mathematical Society, Providence (1986)"},{"key":"10_CR23","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/1969385","volume":"48","author":"M.H. Stone","year":"1947","unstructured":"Stone, M.H.: Pseudo-norms and partial orderings in abelian groups. Annals of Mathematics (series 2)\u00a048, 851\u2013856 (1947)","journal-title":"Annals of Mathematics (series 2)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:34:03Z","timestamp":1558283643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00602-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006012","9783642006029"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00602-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}