A verified hybrid controller for automated vehicles

This publication has 5 references indexed in Scilit:

• Multiagent hybrid system design using game theory and optimal control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Longitudinal control of the lead car of a platoon
  IEEE Transactions on Vehicular Technology, 1994
• Intra-Platoon Collision Behavior during Emergency Operations
  Vehicle System Dynamics, 1994
• Smart cars on smart roads: problems of control
  IEEE Transactions on Automatic Control, 1993
• Protocol design for an automated highway system
  Discrete Event Dynamic Systems, 1993