Authors: Eric Goubault, Sylvie Putot and Lorenz Sahlman
Paper Information
Title: | Inner and Outer Approximating Flowpipes for Delay Differential Equations |
Authors: | Eric Goubault, Sylvie Putot and Lorenz Sahlman |
Proceedings: | CAV All Papers |
Editors: | Georg Weissenbacher, Hana Chockler and Igor Konnov |
Keywords: | reachability analysis, delay differential equations, inner-approximations, under-approximations, Taylor models, property falsification, robustness |
Abstract: | ABSTRACT. Delay differential equations are fundamental for modelingvnetworked control systems where the underlying network induces delay for retrieving values from sensors or delivering orders to actuators. They are notoriously difficult to integrate, as these are actually functional equations, the initial state being a function. We propose a scheme to compute inner and outer approximated flowpipes for such equations with uncertain initial states and parameters. Inner-approximated flowpipes are guaranteed to contain only reachable states, while outer-approximated flowpipes enclose all reachable states. We also introduce a notion of robust inner-approximation, which we believe opens promising perspectives for verification, beyond property falsification. The efficiency of our approach relies on the combination of Taylor models in time, with an abstraction or parameterization in space based on affine forms, or zonotopes. It also relies on an extension of the mean-value theorem, which allows us to deduce inner-approximated flowpipes, from flowpipes outerapproximating the solution of the DDE and its Jacobian with respect to constant but uncertain parameters and initial conditions. We present some experimental results obtained with our C++ implementation. |
Pages: | 18 |
Talk: | Jul 17 17:30 (Session 122A: CPS, Hardware, Industrial Applications) |
Paper: |