Apr 11, 2016 · We study the problem of falsifying reachability properties of real-time control software acting in a closed-loop with a given model of the plant dynamics.

We study the problem of falsifying reachability properties of real-time control software acting in a closed-loop with a given model of the plant dynamics. Our ...

We study the problem of falsifying reachability properties of real- time control software acting in a closed-loop with a given model of the plant dynamics ...

Empirical evaluation of the approach shows its promise in treating controller software that has precise, formal semantics, using an exact method such as ...

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software Conference Proceeding uri icon. Overview; Other Profiles; Additional Document Info.

We study the problem of falsifying reachability properties of real-time control software acting in a closed-loop with a given model of the plant dynamics.

We study the problem of falsifying reachability properties of realtime control software acting in a closed-loop with a given model of the plant dynamics.

C. Cadar , D. Dunbar , and D. R. Engler . · J. Kim , J. M. Esposito , and V. Kumar . An RRT-based algorithm for testing and validating multi-robot controllers.

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software A. Zutshi, S. Sankaranarayanan, J. V. Deshmukh, X. Jin HSCC 2016. Abstract pdf bib

Abstract. We consider the problem of reachability analysis in hybrid systems defined by the closed-loop interaction of a complex, continuous time plant ...