{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:38:01Z","timestamp":1776487081411,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540633587","type":"print"},{"value":"9783540695233","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031558","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"113-133","source":"Crossref","is-referenced-by-count":23,"title":["SHIFT: A formalism and a programming language for dynamic networks of hybrid automata"],"prefix":"10.1007","author":[{"given":"Akash","family":"Deshpande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleks","family":"G\u00f6ll\u00fc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"7_CR1","first-page":"35","volume":"1","author":"F. Barros","year":"1996","unstructured":"F. Barros. Dynamic Structure Discrete Event Specification Formalism. In Transactions for the Society for Computer Simulation. No 1, pp. 35\u201346 1996.","journal-title":"Transactions for the Society for Computer Simulation"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"F. Barros. Dynamic Structure discrete event systems: A comparison of methodologies and environments. In Proc. SPIE's Aerosense '97in Orlando Florida.","DOI":"10.1117\/12.276719"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems, LNCS 736, Springer-Verlag, 1993, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. In Hybrid Systems II, LNCS 999, Springer-Verlag. 1995.","DOI":"10.1007\/3-540-60472-3_7"},{"key":"7_CR5","unstructured":"A. Deshpande, D. Godbole, A. G\u00f6ll\u00fc, L. Semenzato, R. Sengupta, D. Swaroop and P. Varaiya. Automated Highway System Tool Interface Format. California PATH Technical Report (draft). 24 January 1996."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"A. Deshpande, D. Godbole, A. G\u00f6ll\u00fc, P. Varaiya. \u201cDesign and Evaluation Tools for Automated Highway Systems.\u201d In DIMACS 1995 and in Hybrid Systems III, LNCS, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020941"},{"key":"7_CR7","unstructured":"A. Deshpande, A. G\u00f6ll\u00fc, L. Semenzato. \u201cThe SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata\u201d. To appear in Proceedings of IEEE."},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0968-090X(94)00013-U","volume":"3","author":"F. Eskafi","year":"1995","unstructured":"F. Eskafi, Delnaz Khorramabadi, and P. Varaiya, An Automatic Highway System Simulator. In Transpn. Res.-C Vol. 3, No. 1, pp. 1\u201317, 1995.","journal-title":"Transpn. Res.-C"},{"key":"7_CR9","unstructured":"F. Eskafi, A. G\u00f6ll\u00fc. \u201cSimulation Needs for Automated Highway Planning\u201d. To appear in Transactions of Society of Computer Simulation."},{"key":"7_CR10","unstructured":"Estelle \u2014 A Formal Description Technique Based on Extended State Transition Model. ISO9074, 1988"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"D. Godbole, J. Lygeros, E. Singh, A. Deshpande and E. Lindsey. Design and Verification of Communication Protocols for Degraded Modes of Operation of AHS. In Conference on Decision and Control. 1995.","DOI":"10.1109\/CDC.1995.478835"},{"key":"7_CR12","unstructured":"A. G\u00f6ll\u00fc. Object Management Systems. PhD Thesis, UC Berkeley 1995."},{"key":"7_CR13","unstructured":"A. G\u00f6ll\u00fc, P. Varaiya. \u201cDynamic Networks of Hybrid Automata\u201d, Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp. 244\u2013251, Gainesville, Florida. 1994."},{"key":"7_CR14","unstructured":"A. G\u00f6ll\u00fc, P. Varaiya. \u201cSmartAHS: A Simulation Framework for Automated Vehicles and Highway Systems\u201d. To appear in International Journal of Mathematical and Computer Modeling."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"J. Haddon, D. Godbole, A. Deshpande and J. Lygeros. Verification of Hybrid Systems: Monotonicity in the AHS Control System. In DIMACS. 1995.","DOI":"10.1007\/BFb0020943"},{"key":"7_CR16","unstructured":"C.A.R. Hoare. Communicating Sequential Processes, Prentice\/Hall International, 1985"},{"key":"7_CR17","unstructured":"G.P. Hong and T. G. Kim. The DEVS Formalism: A Framework for Logical Analysis and Performance. In Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp. 170\u2013278, Gainesville, Florida. 1994."},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF01797158","volume":"2","author":"A. Hsu","year":"1993","unstructured":"A. Hsu, F. Eskafi, S. Sachs, P. Varaiya. Protocol Design for an Automated Highway System. In Discrete Event Dynamic Systems: Theory and Applications 2, (1993): 183\u2013206.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"7","key":"7_CR19","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1109\/9.1271","volume":"AC-33","author":"K. Inan","year":"1988","unstructured":"Kemal Inan and Pravin Varaiya. Finitely Recursive Process Models for Discrete Event Systems. In IEEE Trans. Auto. Control, vol. AC-33, no. 7, pp. 626\u2013639, July 1988.","journal-title":"IEEE Trans. Auto. Control"},{"key":"7_CR20","unstructured":"Tak-Kuen Juhn Koo, Yi Ma, George J. Pappas and Claire Tomlin. \u201cSmartATMS: A Simulator for Air Traffic Management Systems\u201d Submitted to Winter Simulation Conference 1997."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"R. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"7_CR22","unstructured":"LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. ISO8807, 1X5989"},{"key":"7_CR23","unstructured":"S.E. Mattsson and M. Anderson. The Ideas Behind Omola. In Proc. IEEE Symposium on Computer Aided Control System Design, CADCS '92. Napa, CA, March 17\u201319 1992."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, Springer-Verlag, 1980","DOI":"10.1007\/3-540-10235-3"},{"issue":"2","key":"7_CR25","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01439846","volume":"3","author":"H. Praehofer","year":"1993","unstructured":"H. Praehofer, F. Auernig, adn G. Resinger. \u201cAn Environment for DEVS-based multiformalisms simulation in Common Lisp\/CLOS\u201d, Discrete Event Dynamic Systems: Theory and Application, 3(2):119\u2013149, 1993.","journal-title":"Discrete Event Dynamic Systems: Theory and Application"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Driving safely in smart cars. In American Control Conference, pp. 3597\u20133599, 1995.","DOI":"10.1109\/ACC.1995.533807"},{"key":"7_CR27","unstructured":"L. Semenzato, A. Deshpande and A. G\u00f6ll\u00fc. Shift Reference Manual. California PATH Technical Report (draft). 28 June 1996."},{"key":"7_CR28","unstructured":"Joao Sousa and Aleks G\u00f6ll\u00fc \u201cA Simulation Environment of the Coordinated Operation of Multiple Autonomous Underwater Vehicles\u201d Submitted to Winter Simulation Conference 1997."},{"key":"7_CR29","unstructured":"Specification and Description Language SDL. International Telecommunications Union-T Rec.Z.100 1988."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"P. Varaiya. Smart cars on smart roads: problems of control. In IEEE Trans. Automatic Control, vol. 38, No. 2, 1993. or31. Peter Wegner. \u201cConcepts and Paradigms of Object-Oriented Programming\u201d, ACM SIGPLAN OOPS Messenger, 1(1), Aug, 1990.","DOI":"10.1109\/9.250509"},{"key":"7_CR31","volume-title":"Multifaceted modeling and discrete event simulation","author":"B. Zeigler","year":"1984","unstructured":"Bernard Zeigler. Multifaceted modeling and discrete event simulation. Academic Press, London, Orlando, 1984."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:51:07Z","timestamp":1586613067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0031558","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}