Verified hybrid controllers for automated vehicles
- 1 April 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 43 (4) , 522-539
- https://doi.org/10.1109/9.664155
Abstract
No abstract availableAll Related Versions
This publication has 41 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- An interface between continuous and discrete-event controllers for vehicle automationIEEE Transactions on Vehicular Technology, 1997
- Control synthesis for a class of hybrid systems subject to configuration-based safety constraintsPublished by Springer Nature ,1997
- Safety verification for automated platoon maneuvers: A case studyPublished by Springer Nature ,1997
- Multiobjective hybrid controller synthesisPublished by Springer Nature ,1997
- Longitudinal control of the lead car of a platoonIEEE Transactions on Vehicular Technology, 1994
- Intra-Platoon Collision Behavior during Emergency OperationsVehicle System Dynamics, 1994
- Autonomous intelligent cruise controlIEEE Transactions on Vehicular Technology, 1993
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- Protocol design for an automated highway systemDiscrete Event Dynamic Systems, 1993