Biblio
Filters: Author is Z. Jiang [Clear All Filters]
Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
.
2013.
Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2014.
Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
.
2012.
Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).
.
2011.
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society. :263-266.
.
2011.
Chapter 18 - Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems. Cyber-Physical Systems. :265-285.
.
2017.