Protocol design for an automated highway system
- 1 February 1993
- journal article
- Published by Springer Nature in Discrete Event Dynamic Systems
- Vol. 2 (3-4) , 183-206
- https://doi.org/10.1007/bf01797158
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experimentation with a Vehicle Platoon Control SystemSAE International Journal of Advances and Current Practices in Mobility, 1991
- Longitudinal Vehicle Controller Design for IVHS SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Two Proposals to Improve Freeway Traffic FlowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Longitudinal Control of a Platoon of Vehicles with no Communication of Lead Vehicle InformationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- A Preliminary Implementation for Vehicle Platoon Control SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- An Experimental Study on Lateral Control of a VehiclePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Vehicle Modelling and Control for Automated Highway SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Longitudinal Control of a Platoon of VehiclesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Complementing deterministic Büchi automata in polynomial timeJournal of Computer and System Sciences, 1987