{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:06:24Z","timestamp":1754161584004,"version":"3.41.2"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1008385431572","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T09:41:38Z","timestamp":1040550098000},"page":"343-351","source":"Crossref","is-referenced-by-count":2,"title":["Reduction of Timed Hybrid Systems"],"prefix":"10.1007","volume":"8","author":[{"given":"S. Di","family":"Gennaro","sequence":"first","affiliation":[]},{"given":"C.","family":"Horn","sequence":"additional","affiliation":[]},{"given":"S. R.","family":"Kulkarni","sequence":"additional","affiliation":[]},{"given":"P. J.","family":"Ramadge","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R., et al.1992. Minimization of timed transition systems. Lecture Notes in Computer Science 630, R. J. Cleaveland, ed., Springer-Verlag, 340-354.","key":"184716_CR1","DOI":"10.1007\/BFb0084802"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P.-H. 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems I, Grossman et al., ed., Springer-Verlag, 209-229.","key":"184716_CR2","DOI":"10.1007\/3-540-57318-6_30"},{"key":"184716_CR3","first-page":"331","volume-title":"Lecture Notes in Control and Information Sciences 199","author":"R. Alur","year":"1994","unstructured":"Alur, R., et al. 1994. The algorithmic analysis of hybrid systems. Lecture Notes in Control and Information Sciences 199, G. Cohen and J.-P. Quadrat, Springer-Verlag, 331-351."},{"doi-asserted-by":"crossref","unstructured":"Alur, R., and Dill, D. L. 1990. Automata for modeling real-time systems. Proceedings of the 17th International Colloquium: Automata, Languages and Programming, pp. 322-335.","key":"184716_CR4","DOI":"10.1007\/BFb0032042"},{"doi-asserted-by":"crossref","unstructured":"Branicky, M. S., Borkar, V. S., and Mitter, S. K. 1994. A unified framework for hybrid control. Proc. 33rd IEEE Conference on Decision and Control, pp. 4228\u20134234.","key":"184716_CR5","DOI":"10.1109\/CDC.1994.411615"},{"doi-asserted-by":"crossref","unstructured":"Brockett, R. 1994. Language driven hybrid systems. Proc. 33rd IEEE Conference on Decision and Control, pp. 4210-4214.","key":"184716_CR6","DOI":"10.1109\/CDC.1994.411612"},{"doi-asserted-by":"crossref","unstructured":"Deshpande, A., and Varaiya, P. 1995. Information structures for control and verification of hybrid systems. Proc. American Control Conference, pp. 2642-2647.","key":"184716_CR7","DOI":"10.1109\/ACC.1995.532327"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T. A. 1995. Hybrid automata with finite bisimulations. Lecture Notes in Computer Science 944, Z. F\u00fcl\u00f6p and F. G\u00e9cseg, eds., Springer-Verlag, 324-335.","key":"184716_CR8","DOI":"10.1007\/3-540-60084-1_85"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T. A. 1996. The theory of hybrid automata. Proc. 11th Annual Symp. on Logic in Computer Science, IEEE Computer Society Press, pp. 278-292.","key":"184716_CR9","DOI":"10.1109\/LICS.1996.561342"},{"key":"184716_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. C. Kanellakis","year":"1990","unstructured":"Kanellakis, P. C., and Smolka, S. A. 1990. CSS expressions, finite-state processes, and three problems of equivalence, Information and Computation 86: 43-68.","journal-title":"Information and Computation"},{"unstructured":"Kohn, W., and Nerode, A. 1993. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, R. Grossman et al., eds., Lecture Notes in Computer Science 736, Springer-Verlag, 297-316.","key":"184716_CR11"},{"doi-asserted-by":"crossref","unstructured":"McManis, J., and Varaiya, P. 1994. Suspension automata: a decidable class of hybrid automata. Proc. 6th Workshop on Computer Aided Verification.","key":"184716_CR12","DOI":"10.1007\/3-540-58179-0_47"},{"key":"184716_CR13","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16-6","author":"R. Paige","year":"1987","unstructured":"Paige, R., and Tarjan, R. E. 1987. Three partition-refinement algorithms. SIAM J. Computing 16-6: 973-989.","journal-title":"SIAM J. Computing"},{"doi-asserted-by":"crossref","unstructured":"Puri, A., and Varaiya, P. 1994. Decidability of hybrid systems with rectangular differential equations. Proc. 6th Workshop on Computer Aided Verification.","key":"184716_CR14","DOI":"10.1007\/3-540-58179-0_46"},{"key":"184716_CR15","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1109\/9.57019","volume":"35","author":"P. J. Ramadge","year":"1990","unstructured":"Ramadge, P. J. 1990. On the periodicity of symbolic observations of piecewise smooth discrete-Time systems. IEEE Tran. Automatic Control 35: 807-813.","journal-title":"IEEE Tran. Automatic Control"},{"doi-asserted-by":"crossref","unstructured":"Stiver, J. A., Antsaklis, P. J., and Lemmon, M. D. 1994. Digital control from a hybrid perspective. Proc. 33rd IEEE Conference on Decision and Control, pp. 4241-4246.","key":"184716_CR16","DOI":"10.1109\/CDC.1994.411617"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008385431572.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008385431572\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008385431572.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:55:40Z","timestamp":1753761340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008385431572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["184716"],"URL":"https:\/\/doi.org\/10.1023\/a:1008385431572","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}