{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T17:02:08Z","timestamp":1792947728711,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642148422","type":"print"},{"value":"9783642148439","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14843-9_4","type":"book-chapter","created":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T05:14:21Z","timestamp":1285564461000},"page":"49-66","source":"Crossref","is-referenced-by-count":11,"title":["Multi-Agent Systems: Modeling and Verification Using Hybrid Automata"],"prefix":"10.1007","author":[{"given":"Ammar","family":"Mohammed","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"LNCIS","first-page":"331","volume-title":"ICAOS: International Conference on Analysis and Optimization of Systems \u2013 Discrete-Event Systems","author":"R. Alur","year":"1994","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. In: ICAOS: International Conference on Analysis and Optimization of Systems \u2013 Discrete-Event Systems. LNCIS, pp. 331\u2013351. Springer, Heidelberg (1994)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"4_CR4","unstructured":"Ciarlini, A., Fr\u00fchwirth, T.: Automatic derivation of meaningful experiments for hybrid systems. In: Proceeding of ACM SIGSIM Conf. on Artificial Intelligence, Simulation, and Planning, AIS 2000 (2000)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-49059-0_16","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"G. Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model checking in CLP. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 223\u2013239. Springer, Heidelberg (1999)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-46430-1_12","volume-title":"Hybrid Systems: Computation and Control","author":"M. Egerstedt","year":"2000","unstructured":"Egerstedt, M.: Behavior Based Robotics Using Hybrid Automata. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 103\u2013116. Springer, Heidelberg (2000)"},{"key":"4_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45023-8_22","volume-title":"Multi-Agent Systems and Applications III","author":"A. Fallah-Seghrouchni El","year":"2003","unstructured":"El Fallah-Seghrouchni, A., Degirmenciyan-Cartault, I., Marc, F.: Framework for Multi-agent Planning Based on Hybrid Automata. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 226\u2013235. Springer, Heidelberg (2003)"},{"key":"4_CR8","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":"4_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-79043-3_13","volume-title":"Programming Multi-Agent Systems","author":"U. Furbach","year":"2008","unstructured":"Furbach, U., Murray, J., Schmidsberger, F., Stolzenburg, F.: Hybrid multiagent systems with timed synchronization \u2013 specification and model checking. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.\u00a04908, pp. 205\u2013220. Springer, Heidelberg (2008)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gupta, G., Pontelli, E.: A constraint-based approach for specification and verification of real-time systems. In: Proceedings of IEEE Real-time Symposium, pp. 230\u2013239 (1997)","DOI":"10.1109\/REAL.1997.641285"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","volume-title":"Static Analysis","author":"N. Halbwachs","year":"1994","unstructured":"Halbwachs, N., Proy, Y., Raymond, P.: Verification of linear hybrid systems by means of convex approximations. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, p. 223. Springer, Heidelberg (1994)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science","author":"T. Henzinger","year":"1996","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science, New Brunswick, NJ, pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Henzinger","year":"1995","unstructured":"Henzinger, T., Ho, P.-H., Wong-Toi, H.: A user guide to HyTech. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 41\u201371. Springer, Heidelberg (1995)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T. Henzinger","year":"2000","unstructured":"Henzinger, T., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 130\u2013144. Springer, Heidelberg (2000)"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s Decidable about Hybrid Automata? Journal of Computer and System Sciences\u00a057(1), 94\u2013124 (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: The Next Generation. In: IEEE Real-Time Systems Symposium, pp. 56\u201365 (1995)","DOI":"10.1109\/REAL.1995.495196"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control\u00a043, 540\u2013554 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30960-4_11","volume-title":"Formal Approaches to Agent-Based Systems","author":"G. Hutzler","year":"2004","unstructured":"Hutzler, G., Klaudel, H., Wang, D.Y.: Towards timed automata and multi-agent systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 161\u2013172. Springer, Heidelberg (2004)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.: Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 111\u2013119. ACM, New York (1987)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Santosa, A., Voicu, R.: A clp proof method for timed automata. In: IEEE International on Real-Time Systems Symposium, vol.\u00a00, pp. 175\u2013186 (2004)","DOI":"10.1109\/REAL.2004.5"},{"key":"4_CR21","volume-title":"Constraint Logic Programming Using Eclipse","author":"M.W. Krzysztof","year":"2007","unstructured":"Krzysztof, M.W., Apt, R.: Constraint Logic Programming Using Eclipse. Cambridge University Press, Cambridge (2007)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Mohammed, A., Furbach, U.: Modeling multi-agent logistic process system using hybrid automata. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) MSVVEIS 2008: Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, pp. 141\u2013149. INSTICC Press (2008)","DOI":"10.5220\/0001729501410149"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Mohammed, A., Furbach, U.: From reactive to deliberative multi-agent planning. In: Ultes-Nitsche, U., Moldt, D., Augusto, J.C. (eds.) Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, pp. 67\u201375. INSTICC Press (2009)","DOI":"10.5220\/0002192700670075"},{"key":"4_CR24","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/978-3-642-04617-9_87","volume-title":"KI 2009: Advances in Artificial Intelligence","author":"A. Mohammed","year":"2009","unstructured":"Mohammed, A., Schwarz, C.: Hieromate: A graphical tool for specification and verification of hierarchical hybrid automata. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS (LNAI), vol.\u00a05803, pp. 695\u2013702. Springer, Heidelberg (2009)"},{"key":"#cr-split#-4_CR25.1","unstructured":"Mohammed, A., Stolzenburg, F.: Implementing hierarchical hybrid automata using constraint logic programming. In: Schwarz, S. (ed.) Proceedings of 22nd Workshop on (Constraint) Logic Programming, Dresden, pp. 60-71 (2008)"},{"key":"#cr-split#-4_CR25.2","unstructured":"University Halle Wittenberg, Institute of Computer Science. Technical Report 2008\/08"},{"key":"4_CR26","unstructured":"Object Management Group, Inc.: UML Version 2.1.2 (Infrastructure and Superstructure) (November 2007)"},{"key":"4_CR27","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/3-540-61551-2_93","volume-title":"Principles and Practice of Constraint Programming - CP\u201996","author":"L. Urbina","year":"1996","unstructured":"Urbina, L.: Analysis of hybrid systems in CLP(R). In: Freuder, E.C. (ed.) CP 1996. LNCS (LNAI), vol.\u00a01118, pp. 451\u2013467. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14843-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T02:28:45Z","timestamp":1740536925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14843-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148422","9783642148439"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14843-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}