{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:59:24Z","timestamp":1742979564395,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207143"},{"type":"electronic","value":"9783642207150"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20715-0_6","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T12:35:27Z","timestamp":1302266127000},"page":"96-111","source":"Crossref","is-referenced-by-count":7,"title":["Declarative Abstractions for Agent Based Hybrid Control Systems"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Nicholas K.","family":"Lincoln","sequence":"additional","affiliation":[]},{"given":"Alexei","family":"Lisitsa","sequence":"additional","affiliation":[]},{"given":"Sandor M.","family":"Veres","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","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(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A. Arasu","year":"2006","unstructured":"Arasu, A., Babu, S., Widom, J.: The cql continuous query language: semantic foundations and query execution. The VLDB Journal\u00a015, 121\u2013142 (2006)","journal-title":"The VLDB Journal"},{"key":"6_CR3","unstructured":"Clarke, A.C.: Extra-Terrestrial Relays: Can Rocket Stations Give World-wide Radio Coverage? Wireless World, 305\u2013308 (1945)"},{"volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","key":"6_CR4","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), L\u2019Aquila, Italy, pp. 69\u201378 (September 2008)","DOI":"10.1109\/ASE.2008.17"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Bordini, et al [4], ch.\u00a01, pp. 3\u201337","DOI":"10.1007\/0-387-26350-0_1"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"M.S. Branicky","year":"1998","unstructured":"Branicky, M.S., Borkar, V.S., Mitter, S.K.: A Unified Framework for Hybrid Control: Model and Optimal Control Theory. IEEE Transactions on Automatic Control\u00a043(1), 31\u201345 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming Multi-Agent Systems in 3APL. In: Bordini, et al [4], ch.\u00a02, pp. 39\u201367","DOI":"10.1007\/0-387-26350-0_2"},{"key":"6_CR9","first-page":"128","volume-title":"Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS)","author":"J. Ferber","year":"1998","unstructured":"Ferber, J., Gutknecht, O.: A Meta-model for the Analysis and Design of Organizations in Multi-agent Systems. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS), pp. 128\u2013135. IEEE Computer Society, Los Alamitos (1998)"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30200-1_2","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Fisher","year":"2004","unstructured":"Fisher, M., Ghidini, C., Hirsch, B.: Programming Groups of Rational Agents. In: Dix, J., Leite, J. (eds.) CLIMA IV 2004. LNCS (LNAI), vol.\u00a03259, pp. 16\u201333. Springer, Heidelberg (2004)"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2008.931718","volume":"29","author":"R. Goebel","year":"2009","unstructured":"Goebel, R., Sanfelice, R., Teel, A.R.: Hybrid Dynamical Systems. IEEE Control Systems Magazine\u00a029(2), 28\u201393 (2009)","journal-title":"IEEE Control Systems Magazine"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/s00224-008-9137-7","volume":"44","author":"M. Grohe","year":"2009","unstructured":"Grohe, M., Gurevich, Y., Leinders, D., Schweikardt, N., Tyszkiewicz, J., den Bussche, J.V.: Database Query Processing Using Finite Cursor Machines. Theory of Computing Systems\u00a044, 533\u2013560 (2009)","journal-title":"Theory of Computing Systems"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-75987-4_11","volume-title":"Database Programming Languages","author":"Y. Gurevich","year":"2007","unstructured":"Gurevich, Y., Leinders, D., Van den Bussche, J.: A Theory of Stream Queries. In: Arenas, M. (ed.) DBPL 2007. LNCS, vol.\u00a04797, pp. 153\u2013168. Springer, Heidelberg (2007)"},{"issue":"1-2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"6_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-36127-8_12","volume-title":"Advances in Artificial Intelligence","author":"J.F. H\u00fcbner","year":"2002","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol.\u00a02507, pp. 118\u2013128. Springer, Heidelberg (2002)"},{"issue":"6","key":"6_CR16","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"F.F. Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An Architecture for Real-Time Reasoning and System Control. IEEE Expert: Intelligent Systems and Their Applications\u00a07(6), 34\u201344 (1992)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Jain, N., Mishra, S., Srinivasan, A., Gehrke, J., Widom, J., Balakrishnan, H., \u00c7etintemal, U., Cherniack, M., Tibbetts, R., Zdonik, S.: Towards a Streaming SQL Standard. In: Proceedings of Very Large Databases, Auckland, New Zealand, pp. 1397\u20131390 (August 2008)","DOI":"10.14778\/1454159.1454179"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M. Kloetzer","year":"2008","unstructured":"Kloetzer, M., Belta, C.: A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications. IEEE Transactions on Automatic Control\u00a053(1), 287\u2013297 (2008)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2-3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1002\/acs.922","volume":"21","author":"N.K. Lincoln","year":"2006","unstructured":"Lincoln, N.K., Veres, S.M.: Components of a Vision Assisted Constrained Autonomous Satellite Formation Flying Control System. International Journal of Adaptive Control and Signal Processing\u00a021(2-3), 237\u2013264 (2006)","journal-title":"International Journal of Adaptive Control and Signal Processing"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/10719619_17","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"D.V. Pynadath","year":"2000","unstructured":"Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Toward Team-Oriented Programming. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757, pp. 233\u2013247. Springer, Heidelberg (2000)"},{"key":"6_CR21","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312\u2013319 (June 1995)"},{"key":"6_CR22","unstructured":"Veres, S.M.: Natural Language Programming of Agents and Robotic Devices: Publishing for Humans and Machines in sEnglish. SysBrain Ltd (2008)"},{"key":"6_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"P. Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, Heidelberg (2009)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A. Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for Hybrid Systems. Formal Methods in Systems Design\u00a032, 57\u201383 (2008)","journal-title":"Formal Methods in Systems Design"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48745-X_1","volume-title":"Application and Theory of Petri Nets 1999","author":"P. Varaiya","year":"1999","unstructured":"Varaiya, P.: Design, Simulation, and Implementation of Hybrid Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 1\u20135. Springer, Heidelberg (1999)"},{"key":"6_CR26","unstructured":"Veres, S.M., Lincoln, N.K.: Sliding Mode Control of Autonomous Spacecraft \u2014 in sEnglish. In: Proceedings of Towards Autonomous Robotics Systems (TAROS), Edinborough, UK (2008)"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Veres, S.M., Molnar, L.: Publishing Documents on Physical Skills for Intelligent Agents in English. In: Proceedings of the Tenth IASTED International Conference on Artificial Intelligence and Applications (AIA), Innsbruck, Austria (2010)","DOI":"10.2316\/P.2010.674-122"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-49201-1_20","volume-title":"Practical Aspects of Declarative Languages","author":"R. Watson","year":"1999","unstructured":"Watson, R.: An Application of Action Theory to the Space Shuttle. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 290\u2013304. Springer, Heidelberg (1999)"},{"issue":"2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"The Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20715-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:05:07Z","timestamp":1558544707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20715-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207143","9783642207150"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20715-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}