TY - GEN
T1 - Demo
T2 - 21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018
AU - Qi, Bolun
AU - Fan, Chuchu
AU - Jiang, Minghao
AU - Mitra, Sayan
N1 - Funding Information:
This work is supported by National Science Foundation's research grants NSF CAREER 1054247 and NSF CSR 1422798.
PY - 2018/4/11
Y1 - 2018/4/11
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85049448453&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85049448453&partnerID=8YFLogxK
U2 - 10.1145/3178126.3187008
DO - 10.1145/3178126.3187008
M3 - Conference contribution
AN - SCOPUS:85049448453
T3 - HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
SP - 269
EP - 270
BT - HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems
PB - Association for Computing Machinery, Inc
Y2 - 11 April 2018 through 13 April 2018
ER -