sensitivity

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Delays in feedback control loop, as induced by networked distributed control schemes, may have detrimental effects on control …
PDF Cite Slides Video DOI
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Validated Simulation-Based Verification of Delayed Differential Dynamics
Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial …
PDF Cite Code Poster Slides DOI
Validated Simulation-Based Verification of Delayed Differential Dynamics