{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T21:38:40Z","timestamp":1648676320070},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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\/bfb0031553","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"18-30","source":"Crossref","is-referenced-by-count":3,"title":["A toolbox for proving and maintaining hybrid specifications"],"prefix":"10.1007","author":[{"given":"Michael S.","family":"Branicky","sequence":"first","affiliation":[]},{"given":"Ekaterina","family":"Dolginova","sequence":"additional","affiliation":[]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems II vol. 999","year":"1995","unstructured":"Panos Antsaklis et al., editors. Hybrid Systems II vol. 999, Lecture Notes in Computer Science. Springer, New York, 1995."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry, guest editors. Proc. of the IEEE, 79(9), 1991. Special Issue on The Synchronous Approach to Reactive and Real-Time Systems.","DOI":"10.1109\/5.97297"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the signal language. IEEE Transactions on Automatic Control, 35(5), 1990.","DOI":"10.1109\/9.53519"},{"key":"2_CR4","volume-title":"vol. 35 of Lecture Notes in Mathematics","author":"N. P. Bhatia","year":"1967","unstructured":"N. P. Bhatia and G. P. Szeg\u00f6. Dynamical Systems: Stability Theory and Applications, vol. 35 of Lecture Notes in Mathematics. Springer, Berlin, 1967."},{"key":"2_CR5","series-title":"vol. 600 of Lecture Notes in Computer Science","volume-title":"Real-Time: Theory in Practice","year":"1991","unstructured":"J. W. de Bakker et al., editors. Real-Time: Theory in Practice, vol. 600 of Lecture Notes in Computer Science. Springer, New York, 1991."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"E. Dolginova and N. Lynch. \u201cSafety Verification for Automated Platoon Manuevers: A Case Study.\u201d In O. Maler, ed., Hybrid and Real-Time Systems (HART '97), pp. 154\u2013170, Springer, 1997.","DOI":"10.1007\/BFb0014723"},{"key":"2_CR7","unstructured":"J. Frankel et al. \u201cRobust Platoon Maneuvers for AVHS,\u201d California PATH report, UCB, 1995. Preprint."},{"key":"2_CR8","series-title":"vol. 736 of Lecture Notes in Computer Science","volume-title":"Hybrid Systems","year":"1993","unstructured":"R. L. Grossman et al., editors. Hybrid Systems, vol. 736 of Lecture Notes in Computer Science. Springer, New York, 1993."},{"key":"2_CR9","doi-asserted-by":"crossref","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic, Boston 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"2_CR10","volume-title":"Differential Equations: A Dynamical Systems Approach","author":"J.H. Hubbard","year":"1990","unstructured":"J.H. Hubbard and B.H. West. Differential Equations: A Dynamical Systems Approach. Springer, New York, 1990."},{"key":"2_CR11","series-title":"vol. 331 of Lecture Notes in Computer Science","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","year":"1988","unstructured":"M. Joseph, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 331 of Lecture Notes in Computer Science. Springer, New York, 1988."},{"key":"2_CR12","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"N. Lynch. Distributed Algorithms. Morgan Kaufmann, San Francisco, 1996."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"N. Lynch et al. Hybrid I\/O Automata. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III, pp. 496\u2013510, Lecture Notes in Computer Science, vol. 1066, Springer, 1996.","DOI":"10.1007\/BFb0020971"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [5], pp. 447\u2013484.","DOI":"10.1007\/BFb0032003"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verifying hybrid systems. In Grossman et al. [8], pp. 4\u201335.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"2_CR16","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1991."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"A. Pnueli and J. Sifakis, guest editors. Theoretical Computer Science, 138(1), 1995. Special Issue on Hybrid Systems.","DOI":"10.1016\/0304-3975(95)90065-9"},{"key":"2_CR18","volume-title":"Mathematical Surveys and Monographs, Vol. 41","author":"H.L. Smith","year":"1995","unstructured":"H.L. Smith. Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Mathematical Surveys and Monographs, Vol. 41. American Mathematical Society, Providence, RI, 1995."},{"key":"2_CR19","series-title":"Proc. 11th INRIA International Conference on the Analysis and Optimization of Systems","first-page":"29","volume-title":"vol. 199 of Lecture Notes in Control and Information Sciences","author":"Y.-J. Wei","year":"1994","unstructured":"Y.-J. Wei and P.E. Caines. Hierarchical COCOLOG for finite machines. In G. Cohen and J-P. Quadrat, editors, Proc. 11th INRIA International Conference on the Analysis and Optimization of Systems, vol. 199 of Lecture Notes in Control and Information Sciences, pp. 29\u201338, New York, 1994. Springer."},{"key":"2_CR20","unstructured":"J. Lygeros, D. Godbole, S. Sastry. A verified hybrid control design for automated vehicles. Preprint."},{"key":"2_CR21","unstructured":"A. Puri and P. Varaiya. Verification of hybrid systems using abstractions. Preprint."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:50:27Z","timestamp":1586613027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":21,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0031553","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1997]]}}}