{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:11:37Z","timestamp":1743016297374,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692652"},{"type":"electronic","value":"9783540692669"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11964995_21","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T17:06:36Z","timestamp":1165856796000},"page":"233-244","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid System Reachability-Based Analysis of Dynamical Agents"],"prefix":"10.1007","author":[{"given":"Eric","family":"Aaron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C. Tomlin","year":"1998","unstructured":"Tomlin, C., Pappas, G.J., Sastry, S.: Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control\u00a043(4), 509\u2013521 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1109\/5.871312","volume":"88","author":"D. Pepyne","year":"2000","unstructured":"Pepyne, D., Cassandras, C.: Hybrid systems in manufacturing. Proceedings of the IEEE\u00a088, 1108\u20131123 (2000)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0005-1098(01)00185-6","volume":"38","author":"M. Egerstedt","year":"2002","unstructured":"Egerstedt, M., Hu, X.: A hybrid control approach to action coordination for mobile robots. Automatica\u00a038(1), 125\u2013130 (2002)","journal-title":"Automatica"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/3-540-45873-5_4","volume-title":"Hybrid Systems: Computation and Control","author":"E. Aaron","year":"2002","unstructured":"Aaron, E., Ivan\u010di\u0107, F., Metaxas, D.: Hybrid system models of navigation strategies for games and animations. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 7\u201320. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Aaron, E., Sun, H., Ivan\u010di\u0107, F., Metaxas, D.: A hybrid dynamical systems approach to intelligent low-level navigation. In: Proceedings of Computer Animation, pp. 154\u2013163 (2002)","key":"21_CR5","DOI":"10.1109\/CA.2002.1017525"},{"key":"21_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088, 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","volume-title":"Computer Aided Verification","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Dang, T., Maler, O.: The d\/ dt tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 365\u2013370. Springer, Heidelberg (2002)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 76\u201390. Springer, Heidelberg (1999)"},{"unstructured":"Dang, T.: Verification and Synthesis of Hybrid Systems. PhD thesis, Verimag, Institut National Polytechnique de Grenoble (2000)","key":"21_CR10"},{"key":"21_CR11","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. Kurzhanski","year":"2000","unstructured":"Kurzhanski, A., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 202\u2013214. Springer, Heidelberg (2000)"},{"issue":"6","key":"21_CR12","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1016\/S0097-8493(01)00153-4","volume":"25","author":"S. Goldenstein","year":"2001","unstructured":"Goldenstein, S., Karavelas, M., Metaxas, D., Guibas, L., Aaron, E., Goswami, A.: Scalable nonlinear dynamical systems for agent steering and crowd simulation. Computers And Graphics\u00a025(6), 983\u2013998 (2001)","journal-title":"Computers And Graphics"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 33\u201348. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Innovative Concepts for Autonomic and Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964995_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T08:51:28Z","timestamp":1736671888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964995_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692652","9783540692669"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11964995_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}