{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:37:53Z","timestamp":1776487073137,"version":"3.51.2"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1007\/bf01797158","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T23:29:59Z","timestamp":1119310199000},"page":"183-206","source":"Crossref","is-referenced-by-count":61,"title":["Protocol design for an automated highway system"],"prefix":"10.1007","volume":"2","author":[{"given":"Ann","family":"Hsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farokh","family":"Eskafi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonia","family":"Sachs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01797158_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., and Dill, D., 1990. Model-checking for real-time systems.Proc. Fifth Ann. IEEE Symp. Logic in Computer Science, Philadelphia, 414\u2013425.","DOI":"10.1109\/LICS.1990.113766"},{"key":"BF01797158_CR2","unstructured":"Buchi, J.R., 1962. On a decision method in restricted second order arithmetic.Proc. Int. Congr. Logic, Methodology, Philosophy of Science, Stanford University Press, 1\u201311."},{"key":"BF01797158_CR3","doi-asserted-by":"crossref","unstructured":"Chang, K., Li, W., Devlin, P., Shaikhbahai, A., Varaiya, P., Hedrick, J., MacMahon, D., Narendran, V., and Swaroop, D., 1991a. Experimentation with a vehicle platoon control system.Proc. Vehicle Navigation and Information Systems Conf., Dearborn, MI, 1117\u20131124.","DOI":"10.4271\/912868"},{"key":"BF01797158_CR4","unstructured":"Chang, K., Li, W., Porche, I., and Varaiya, P., 1992. Real-time management for communications and control in multi-car platoons.Proc. Intelligent Vehicles '92, Detroit MI."},{"key":"BF01797158_CR5","doi-asserted-by":"crossref","unstructured":"Chang, K., Li, W., Shaikhbahai, A., and Varaiya, P., 1991b. A preliminary implementation for vehicle platoon control system.Proc. American Control Conf., Boston, MA, 3078\u20133083.","DOI":"10.23919\/ACC.1991.4791975"},{"key":"BF01797158_CR6","doi-asserted-by":"crossref","unstructured":"Dill, D.L., 1989. Timing assumptions and verification of finite-state concurrent systems inAutomatic Verification Methods for Finite State Systems, vol. 407, Lecture Notes in Computer Sciences, Springer.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"BF01797158_CR7","volume-title":"COSPAN User's Guide","author":"Z. Har'El","year":"1987","unstructured":"Har'El, Z., and Kurshan, R.P., 1987.COSPAN User's Guide. Murray Hill, NJ:AT&T Bell Laboratories."},{"key":"BF01797158_CR8","doi-asserted-by":"crossref","unstructured":"Har'El, Z., and Kurshan, R.P., 1990. Software for analytical development of communications protocols.AT&T Tech. J., Jan.\/Feb.: 45\u201359.","DOI":"10.1002\/j.1538-7305.1990.tb00102.x"},{"key":"BF01797158_CR9","doi-asserted-by":"crossref","unstructured":"Hedrick, J., McMahon, D., Narendran, V., and Swaroop, D., 1991. Longitudinal vehicle controller design for IVHS system.Proc. American Control Conf., Boston, MA, 3107\u20133112.","DOI":"10.23919\/ACC.1991.4791980"},{"key":"BF01797158_CR10","doi-asserted-by":"crossref","unstructured":"Hessburg, T., Peng, H., Tomizuka, M., Zhang, W., and Kamei, E., 1991. An experimental study on lateral control of a vehicle.Proc. American Control Conf., Boston, MA.","DOI":"10.23919\/ACC.1991.4791976"},{"key":"BF01797158_CR11","volume-title":"Fault-tree analysis of an automated freeway with vehicle-born intelligence","author":"A. Hitchcock","year":"1992","unstructured":"Hitchcock, A., 1992. Fault-tree analysis of an automated freeway with vehicle-born intelligence. Preprint, Institute of Transportation Studies, University of California, Berkeley, CA."},{"key":"BF01797158_CR12","series-title":"Tech. rep., UCB-ITS-PRR-91-6","volume-title":"The design of platoon maneuvers protocols for IVHS","author":"A. Hsu","year":"1991","unstructured":"Hsu, A., Sachs, S., Eskafi, F., and Varaiya, P., 1991. The design of platoon maneuvers protocols for IVHS. Tech. rep., UCB-ITS-PRR-91-6, Institute of Transportation Studies, University of California, Berkeley, CA."},{"key":"BF01797158_CR13","doi-asserted-by":"crossref","unstructured":"Karaaslan, U., Varaiya, P., and Walrand, J., 1991. Two proposals to improve freeway traffic flow.Proc. 1991 American Control Conf., Boston, MA, 2539\u20132544.","DOI":"10.23919\/ACC.1991.4791860"},{"key":"BF01797158_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0022-0000(87)90036-5","volume":"35","author":"R. Kurshan","year":"1987","unstructured":"Kurshan, R., 1987. Complementing deterministic Buchi automata in polynomial time.J. Comput. Syst. Sci., 35: 59\u201371.","journal-title":"J. Comput. Syst. Sci."},{"key":"BF01797158_CR15","doi-asserted-by":"crossref","unstructured":"McMahon, D., Hedrick, J., and Shladover, S., 1990. Vehicle modeling and control for automated highway systems.Proc. 1990 American Control Conf., San Diego, CA, 297\u2013303.","DOI":"10.23919\/ACC.1990.4790744"},{"key":"BF01797158_CR16","doi-asserted-by":"crossref","unstructured":"Sheikholeslam, S., and Desoer, C.A., 1990. Longitudinal control of a platoon of vehicles.Proc. 1990 American Control Conf., Vol. 1, San Diego, CA, 291\u2013296.","DOI":"10.23919\/ACC.1990.4790743"},{"key":"BF01797158_CR17","doi-asserted-by":"crossref","unstructured":"Sheikholeslam, S., and Desoer, C.A., 1991. Longitudinal control of a platoon of vehicles with no communication of lead vehicle information.Proc. 1991 American Control Conf., Vol. 3, Boston, MA, 3102\u20133107.","DOI":"10.23919\/ACC.1991.4791979"},{"key":"BF01797158_CR18","series-title":"Tech. rep., PATH Tech Memo 91-5","volume-title":"Smart cars on smart roads: problems of control","author":"P. Varaiya","year":"1991","unstructured":"Varaiya, P., 1991. Smart cars on smart roads: problems of control. Tech. rep., PATH Tech Memo 91-5, Institute of Transportation Studies, University of California, Berkeley.IEEE Trans. Automat. Control (to appear)."},{"key":"BF01797158_CR19","doi-asserted-by":"crossref","unstructured":"Varaiya, P., and Schladover, S., 1991. Sketch of an IVHS systems architecture.Proc. Vehicle Navigation and Information Systems Conf., Dearborn, MI, 909\u2013922.","DOI":"10.4271\/912838"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797158.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01797158\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T21:38:13Z","timestamp":1586295493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01797158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":19,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["BF01797158"],"URL":"https:\/\/doi.org\/10.1007\/bf01797158","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}