Safety analysis of embedded controllers under implementation platform timing uncertainties
As embedded systems architectures become more complex and distributed, checking the
safety of feedback control loops implemented on them becomes a crucial problem for …
safety of feedback control loops implemented on them becomes a crucial problem for …
Over-and under-approximations of reachable sets with series representations of evolution functions
Z She, M Li - IEEE Transactions on Automatic Control, 2020 - ieeexplore.ieee.org
In this article, we investigate both over-and under-approximations of reachable sets for
analytic autonomous dynamical systems beyond polynomial dynamics. We start with the …
analytic autonomous dynamical systems beyond polynomial dynamics. We start with the …
Guaranteed error bounds on approximate model abstractions through reachability analysis
It is well known that exact notions of model abstraction and reduction for dynamical systems
may not be robust enough in practice because they are highly sensitive to the specific …
may not be robust enough in practice because they are highly sensitive to the specific …
[HTML][HTML] Formal lumping of polynomial differential equations through approximate equivalences
It is well known that exact notions of model abstraction and reduction for dynamical systems
may not be robust enough in practice because they are highly sensitive to the specific …
may not be robust enough in practice because they are highly sensitive to the specific …
Robust reachable set: Accounting for uncertainties in linear dynamical systems
B Ghosh, PS Duggirala - ACM Transactions on Embedded Computing …, 2019 - dl.acm.org
Reachable set computation is one of the primary techniques for safety verification of linear
dynamical systems. In reality the underlying dynamics have uncertainties like parameter …
dynamical systems. In reality the underlying dynamics have uncertainties like parameter …
Safe over-and under-approximation of reachable sets for autonomous dynamical systems
We present a method based on the Hamilton-Jacobi framework that is able to compute over-
and under-approximations of reachable sets for autonomous dynamical systems beyond …
and under-approximations of reachable sets for autonomous dynamical systems beyond …
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
Monitoring the correctness of distributed cyber-physical systems is essential. We address
the analysis of the log of a black-box cyber-physical system. Detecting possible safety …
the analysis of the log of a black-box cyber-physical system. Detecting possible safety …
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
We address the problem of analyzing the reachable set of a polynomial nonlinear
continuous system by over-approximating the flowpipe of its dynamics. The common …
continuous system by over-approximating the flowpipe of its dynamics. The common …
Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
In real world applications, uncertain parameters are the rule rather than the exception. We
present a reachability algorithm for linear systems with uncertain parameters and inputs …
present a reachability algorithm for linear systems with uncertain parameters and inputs …
Robustness of safety for linear dynamical systems: Symbolic and numerical approaches
B Ghosh, PS Duggirala - arXiv preprint arXiv:2109.07632, 2021 - arxiv.org
In this paper, we study the robustness of safety properties of a linear dynamical system with
respect to model uncertainties. Our paper involves three parts. In the first part, we provide …
respect to model uncertainties. Our paper involves three parts. In the first part, we provide …