Poster

Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

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

1 Citation (Scopus)

Abstract

One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that supports methods used to evaluate cyberphysical systems, such as test case generation and automatic falsification. We demonstrate how the framework can be used to evaluate closed-loop properties of autonomous driving system models that include machine learning components.

Original languageEnglish (US)
Title of host publicationHSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems
Subtitle of host publicationComputation and Control (part of CPS Week)
PublisherAssociation for Computing Machinery, Inc
Pages283-284
Number of pages2
ISBN (Electronic)9781450356428
DOIs
StatePublished - Apr 11 2018
Event21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018 - Porto, Portugal
Duration: Apr 11 2018Apr 13 2018

Other

Other21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018
CountryPortugal
CityPorto
Period4/11/184/13/18

Fingerprint

Learning systems
Testing
Neural networks

ASJC Scopus subject areas

  • Computer Science Applications
  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Networks and Communications

Cite this

Tuncali, C. E., Fainekos, G., Ito, H., & Kapinski, J. (2018). Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles. In HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (pp. 283-284). Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3187004

Poster : Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles. / Tuncali, Cumhur Erkan; Fainekos, Georgios; Ito, Hisahiro; Kapinski, James.

HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, 2018. p. 283-284.

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

Tuncali, CE, Fainekos, G, Ito, H & Kapinski, J 2018, Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles. in HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, pp. 283-284, 21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018, Porto, Portugal, 4/11/18. https://doi.org/10.1145/3178126.3187004
Tuncali CE, Fainekos G, Ito H, Kapinski J. Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles. In HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc. 2018. p. 283-284 https://doi.org/10.1145/3178126.3187004
Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Ito, Hisahiro ; Kapinski, James. / Poster : Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles. HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, 2018. pp. 283-284
@inproceedings{7e365190bafa420b87250a79005661f8,
title = "Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles",
abstract = "One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that supports methods used to evaluate cyberphysical systems, such as test case generation and automatic falsification. We demonstrate how the framework can be used to evaluate closed-loop properties of autonomous driving system models that include machine learning components.",
author = "Tuncali, {Cumhur Erkan} and Georgios Fainekos and Hisahiro Ito and James Kapinski",
year = "2018",
month = "4",
day = "11",
doi = "10.1145/3178126.3187004",
language = "English (US)",
pages = "283--284",
booktitle = "HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Poster

T2 - Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles

AU - Tuncali, Cumhur Erkan

AU - Fainekos, Georgios

AU - Ito, Hisahiro

AU - Kapinski, James

PY - 2018/4/11

Y1 - 2018/4/11

N2 - One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that supports methods used to evaluate cyberphysical systems, such as test case generation and automatic falsification. We demonstrate how the framework can be used to evaluate closed-loop properties of autonomous driving system models that include machine learning components.

AB - One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that supports methods used to evaluate cyberphysical systems, such as test case generation and automatic falsification. We demonstrate how the framework can be used to evaluate closed-loop properties of autonomous driving system models that include machine learning components.

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

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

U2 - 10.1145/3178126.3187004

DO - 10.1145/3178126.3187004

M3 - Conference contribution

SP - 283

EP - 284

BT - HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems

PB - Association for Computing Machinery, Inc

ER -