Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise

The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.

Saved in:
Bibliographic Details
Main Authors: Pavlic, Theodore P., Peddi, Sai Prathyusha, Sivilotti, Paolo A. G., Weide, Bruce W.
Format: Conference Proceeding
Language:English
Subjects:
Acceleration
adaptive cruise control
Adaptive systems
hybrid systems
Safety
signal coordination and timing
Software
Timing
Vehicle dynamics
Vehicles
verification
yellow light
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.
DOI:10.1109/ICCPS.2012.51