This paper presents a model for manual and automated traac ow. The model is based on the abstraction of vehicle activities by the space and time taken up by the vehicle engaged in the activity. The manual driver model includes the activities of vehicle following and lane change and allows for diierent levels of aggressiveness of drivers. The parameters of the activities are calibrated with real...

A b s t r a c t In this paper, longitudinal and lateral vehicle control for Automated Highway Systems (AHS) are studied together for their coupling effects. It is shown that longitudinal controllers which directly control the wheel slip are inherently more stable, especially during lateral maneuvers on very slippery road conditions, than longitudinal controllers which do not take wheel slip int...

In AHS(Automated Highway Systems) project which is one of the ITS (Intelligent Highway Systems), the platoon control is developed. In this paper, a platoon control law based on Adaptive Neural Network (ANN) to lower level and Semi-Autonomous Adaptive Cruise Control (SAACC) to upper level is proposed. Moreover, there is ”Delay” with the communication and the sensor. We design their compensators,...

The initiatives known as the Intelligent Vehicle Highway System (IVHS) of the early 1990's, of the Automated Highway System and the Intelligent Transportation System of the middle 90's, and now USDOT's Intelligent Vehicle Initiative of 1998, have all created a climate for rapid advance in ground vehicle communication and control technology. An industry such as that of aerospace lighting, with i...

Traffic flow control in automated highway systems (AHS) is addressed. A link layer controller for a hierarchical AHS architecture is presented. The controller proposed in this paper stabilizes the vehicular density and flow around predetermined profiles in a stretch of highway using speed and lane changes as control signals. Multiple lane highways in which vehicles have different destinations a...

In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to ...

We describe the methodology, tools and technologies for designing and implementing communication and control systems for networked automated or driver assist vehicles. In addressing design, we discuss enabling methodologies and our suite of enabling computational tools for formal modeling, simulation, and implementation. We illustrate our description with design, development and implementation ...