{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:37:54Z","timestamp":1776487074671,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020943","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"161-172","source":"Crossref","is-referenced-by-count":7,"title":["Verification of hybrid systems: Monotonicity in the AHS control system"],"prefix":"10.1007","author":[{"given":"John A.","family":"Haddon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Datta N.","family":"Godbole","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akash","family":"Deshpande","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/25.330177","volume":"43","author":"D. Godbole","year":"1994","unstructured":"Datta Godbole and John Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125\u20131135, 1994.","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Anuj Puri and Pravin Varaiya. Driving safely in smart cars. In Proceedings of American Control Conference, pages 3597\u20133599, 1995.","DOI":"10.1109\/ACC.1995.533807"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"AC-38","author":"P. Varaiya","year":"1993","unstructured":"Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, AC-38(2):195\u2013207, 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR4","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, Lecture Notes in Computer Science 736. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"A. Deshpande and P. Varaiya. Viable control of hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60472-3_7"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"John A. Haddon, Datta N. Godbole, Akash Deshpande, and John Lygeros. Verification of hybrid systems: Monotonicity in the AHS control system. Memorandum, California PATH Program, 1996.","DOI":"10.1007\/BFb0020943"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"John Guckenheimer and Stewart Johnson. Planar hybrid systems. In Hybrid Systems II, Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60472-3_11"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:16Z","timestamp":1586580016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0020943","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}