Model conformance for cyber-physical systems: A survey
H Roehm, J Oehlerking, M Woehrle… - ACM Transactions on …, 2019 - dl.acm.org
Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
(CPS). The underlying assumption is that the functional behavior of a model is related to the …
A simplex architecture for hybrid systems using barrier certificates
This paper shows how to use Barrier Certificates (BaCs) to design Simplex Architectures for
hybrid systems. The Simplex architecture entails switching control of a plant over to a …
hybrid systems. The Simplex architecture entails switching control of a plant over to a …
Cybercardia project: modeling, verification and validation of implantable cardiac devices
In this paper, we survey recent progress in CyberCardia project, a CPS Frontier project
funded by the National Science Foundation. The CyberCardia project will lead to significant …
funded by the National Science Foundation. The CyberCardia project will lead to significant …
[HTML][HTML] Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
Using a probabilistic reachability-based approach, we present a multi-parameter bifurcation
analysis of electrical alternans in the two-current Mitchell–Schaeffer (MS) cardiac-cell model …
analysis of electrical alternans in the two-current Mitchell–Schaeffer (MS) cardiac-cell model …
Bifurcation analysis of cardiac alternans using-decidability
We present a bifurcation analysis of electrical alternans in the two-current Mitchell-Schaeffer
(MS) cardiac-cell model using the theory of δ-decidability over the reals. Electrical alternans …
(MS) cardiac-cell model using the theory of δ-decidability over the reals. Electrical alternans …