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

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

doi:10.1109/ICCPS.2012.51

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 proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Pages	234
Number of pages	1
DOIs	https://doi.org/10.1109/ICCPS.2012.51
State	Published - 2012
Externally published	Yes
Event	2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 - Beijing, China Duration: Apr 17 2012 → Apr 19 2012

Publication series

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

Other

Other	2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Country/Territory	China
City	Beijing
Period	4/17/12 → 4/19/12

Keywords

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

ASJC Scopus subject areas

Computer Networks and Communications

Access to Document

10.1109/ICCPS.2012.51

Cite this

Pavlic, T. P., 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). Article 6197427 (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012). https://doi.org/10.1109/ICCPS.2012.51

Poster abstract: Getting out of the way - Safety verification without compromise. / Pavlic, Theodore P.; Peddi, Sai Prathyusha; Sivilotti, Paolo A.G. et al.
Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. 2012. p. 234 6197427 (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Pavlic, TP, 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, Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012, 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 TP, 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. (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012). doi: 10.1109/ICCPS.2012.51

@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 = "Pavlic, {Theodore P.} 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",

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

pages = "234",

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

note = "2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 ; Conference date: 17-04-2012 Through 19-04-2012",

}

TY - GEN

T1 - Poster abstract

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

AU - Pavlic, Theodore P.

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

AN - SCOPUS:84861497697

SN - 9780769546957

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

SP - 234

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

Y2 - 17 April 2012 through 19 April 2012

ER -

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

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this