{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T17:51:24Z","timestamp":1773078684330,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665878","type":"print"},{"value":"9783540481195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_14","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:23:00Z","timestamp":1188336180000},"page":"212-232","source":"Crossref","is-referenced-by-count":13,"title":["Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination"],"prefix":"10.1007","author":[{"given":"R.","family":"Alur","sequence":"first","affiliation":[]},{"given":"J.","family":"Esposito","sequence":"additional","affiliation":[]},{"given":"M.","family":"Kim","sequence":"additional","affiliation":[]},{"given":"V.","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"I.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III: Verification and Control","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III: Verification and Control. LNCS 1066. Springer-Verlag, 1996."},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","year":"1995","unstructured":"P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. LNCS 999. Springer-Verlag, 1995."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Massachusetts Institute of Technology, 1995.","DOI":"10.1007\/BFb0020945"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"R. W. Brockett. Hybrid models for motion control systems. In H. L. Trentelman and J. C. Willems, editors, Essays in Control: Perspectives in the Theory and its Applications, pages 29\u201353. Birkh\u00e4user, 1993.","DOI":"10.1007\/978-1-4612-0313-1_2"},{"issue":"6","key":"14_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/6.499951","volume":"33","author":"E.M. Clarke","year":"1996","unstructured":"E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61\u201367, 1996.","journal-title":"IEEE Spectrum"},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III: Verification and Control","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool kronos. In Hybrid Systems III: Verification and Control, LNCS 1066, pages 208\u2013219. Springer-Verlag, 1996."},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems","year":"1993","unstructured":"R. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. LNCS 736. Springer-Verlag, 1993."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1, 1997.","DOI":"10.1007\/s100090050008"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","year":"1998","unstructured":"T. Henzinger and S. Sastry, editors. Hybrid Systems: Computation and Control. LNCS 1386. Springer-Verlag, 1998."},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","first-page":"381","volume-title":"Proceedings of the Seventh Conference on Computer-Aided Verification","author":"P.H. Ho","year":"1995","unstructured":"P.H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In Proceedings of the Seventh Conference on Computer-Aided Verification, LNCS 939, pages 381\u2013394. Springer-Verlag, 1995."},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0027241","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"T. Henzinger","year":"1996","unstructured":"T. Henzinger and H. Wong-Toi. Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, pages 265\u2013282. Springer-Verlag, 1996."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"J.-C. Latombe. Robot motion planning. Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"J. Lygeros, D. N. Godbole, and S. Sastry. A game-theoretic approach to hybrid system design. In Hybrid Systems III. Verification and Control, pages 1\u201312. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0020932"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. Springer International Journal of Software Tools for Technology Transfer, 1, 1997.","DOI":"10.1007\/s100090050010"},{"key":"14_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid and Real-Time Systems","year":"1997","unstructured":"O. Maler, editor. Hybrid and Real-Time Systems. LNCS 1201. Springer-Verlag, 1997."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"K. S. Narendra, J. Balakrishnan, and K. Ciliz. Adaptation and learning using multiple models, switching and tuning. IEEE Control Systems Magazine, pages 37\u201351, 1995.","DOI":"10.1109\/37.387616"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, August 1997. Accepted as a regular paper.","DOI":"10.1109\/9.664154"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/TAC.1977.1101446","volume":"22","author":"V. I. Utkin","year":"1977","unstructured":"V. I. Utkin. Variable structure systems with sliding modes. IEEE Transactions on Automatic Control, Vol. 22(2):212\u2013222, 1977.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"M. Zefran and J. Burdick. Stabilization of systems with changing dynamics. In Hybrid Systems, 1998.","DOI":"10.1007\/3-540-64358-3_54"},{"key":"14_CR22","unstructured":"M. Zefran, J. Desai, and V. Kumar. Continuous motion plans for robotic systems with changing dynamic behavior. In 2nd Int. Workshop on Algorithmic Foundations of Robotics, 1996."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:27:22Z","timestamp":1556803642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}