Poster abstract

Getting out of the way - Safety verification without compromise

Theodore 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
Pages234
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

Other

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

Fingerprint

Adaptive cruise control

Keywords

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

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

Pavlic, T., Peddi, S. P., Sivilotti, P. A. G., & Weide, B. W. (2012). Poster abstract: Getting out of the way - Safety verification without compromise. In Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 (pp. 234). [6197427] https://doi.org/10.1109/ICCPS.2012.51

Poster abstract : Getting out of the way - Safety verification without compromise. / Pavlic, Theodore; Peddi, Sai Prathyusha; Sivilotti, Paolo A G; Weide, Bruce W.

Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 234 6197427.

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

Pavlic, T, Peddi, SP, Sivilotti, PAG & Weide, BW 2012, Poster abstract: Getting out of the way - Safety verification without compromise. in Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012., 6197427, pp. 234, 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012, Beijing, China, 4/17/12. https://doi.org/10.1109/ICCPS.2012.51
Pavlic T, Peddi SP, Sivilotti PAG, Weide BW. Poster abstract: Getting out of the way - Safety verification without compromise. In Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 234. 6197427 https://doi.org/10.1109/ICCPS.2012.51
Pavlic, Theodore ; Peddi, Sai Prathyusha ; Sivilotti, Paolo A G ; Weide, Bruce W. / Poster abstract : Getting out of the way - Safety verification without compromise. Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. pp. 234
@inproceedings{a10efeb097874102bacd30521e8f3ba5,
title = "Poster abstract: Getting out of the way - Safety verification without compromise",
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.",
keywords = "adaptive cruise control, hybrid systems, safety, signal coordination and timing, verification, yellow light",
author = "Theodore Pavlic and Peddi, {Sai Prathyusha} and Sivilotti, {Paolo A G} and Weide, {Bruce W.}",
year = "2012",
doi = "10.1109/ICCPS.2012.51",
language = "English (US)",
isbn = "9780769546957",
pages = "234",
booktitle = "Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012",

}

TY - GEN

T1 - Poster abstract

T2 - Getting out of the way - Safety verification without compromise

AU - Pavlic, Theodore

AU - Peddi, Sai Prathyusha

AU - Sivilotti, Paolo A G

AU - Weide, Bruce W.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - adaptive cruise control

KW - hybrid systems

KW - safety

KW - signal coordination and timing

KW - verification

KW - yellow light

UR - http://www.scopus.com/inward/record.url?scp=84861497697&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84861497697&partnerID=8YFLogxK

U2 - 10.1109/ICCPS.2012.51

DO - 10.1109/ICCPS.2012.51

M3 - Conference contribution

SN - 9780769546957

SP - 234

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

ER -