Demo: DryVR 2.0 - A tool for verification and controller synthesis of black-box cyber-physical systems

Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra

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

Abstract

We present a demo of DryVR 2.0, a framework for verification and controller synthesis of cyber-physical systems composed of black-box simulators and white-box automata. For verification, DryVR 2.0 takes as input a black-box simulator, a white-box transition graph, a time bound and a safety specification. As output it generates over-approximations of the reachable states and returns "Safe" if the system meets the given bounded safety specification, or it returns "Unsafe" with a counter-example. For controller synthesis, DryVR 2.0 takes as input black-box simulator(s) and a reach-avoid specification, and uses RRTs to find a transition graph such that the combined system satisfies the given specification.

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
Pages269-270
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

Publication series

NameHSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Other

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

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Demo: DryVR 2.0 - A tool for verification and controller synthesis of black-box cyber-physical systems'. Together they form a unique fingerprint.

  • Cite this

    Qi, B., Fan, C., Jiang, M., & Mitra, S. (2018). Demo: DryVR 2.0 - A tool for verification and controller synthesis of black-box cyber-physical systems. In HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (pp. 269-270). (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)). Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3187008