Poster abstract: Getting out of the way - Safety verification without compromise

Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A.G. Sivilotti, Bruce W. Weide

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Number of pages1
DOIs
StatePublished - 2012
Externally publishedYes
Event2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 - Beijing, China
Duration: Apr 17 2012Apr 19 2012

Publication series

NameProceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

Other

Other2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
CountryChina
CityBeijing
Period4/17/124/19/12

Keywords

  • adaptive cruise control
  • hybrid systems
  • safety
  • signal coordination and timing
  • verification
  • yellow light

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Poster abstract: Getting out of the way - Safety verification without compromise'. Together they form a unique fingerprint.

Cite this