Publications

Export 110 results:
Author Title Type [ Year(Desc)]
2017
Closed-loop quantitative verification of rate-adaptive pacemakers, Paoletti, Nicola, Patanè Andrea, and Kwiatkowska Marta , ACM Transactions on Cyber-Physical Systems, to appear, (2017)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles, Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. , Formal Methods in System Design, 01/2017, (2017)
Corrections to "A Menagerie of Timed Automata", Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM Comput. Surv., Volume 50, p.42:1–42:8, (2017)  (221.78 KB)
Data assimilation for cardiac electrical dynamics, Cherry, E. M., Cairns D. I., Holt N., LaVigne N. S., Fenton F. H., and Hoffman M. J. , Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}, Pittsburgh, PA, (2017)
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties, Paoletti, Nicola, Liu Kin Sum, Smolka Scott A., and Lin Shan , Computational Methods in Systems Biology, (2017)
Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing, Cherry, Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093902, (2017)
Dynamics of a human spiral wave, Welsh, Andrea J., Greco Edwin F., and Fenton Flavio H. , Phys. Today, 02/2017, Volume 70, (2017)
Effects of model error on cardiac electrical wave state reconstruction using data assimilation, LaVigne, Nicholas S., Holt Nathan, Hoffman Matthew J., and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093911, (2017)
Efficient parameterization of cardiac action potential models using a genetic algorithm, Cairns, Darby I., Fenton Flavio H., and Cherry E. M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093922, (2017)
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
Lagrangian Reachabililty, Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu , Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)
Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos, Chen, Diandian Diana, Gray Richard A., Uzelac Ilija, Herndon Conner, and Fenton Flavio H. , Physical Review Letters, Volume 118, p.168101, (2017)
A Menagerie of Timed Automata (vol 50, 42, 2017), Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM COMPUTING SURVEYS, Volume 50, (2017)
Modeling bipolar stimulation of cardiac tissue, Galappaththige, Suran K., Gray Richard A., and Roth Bradley J. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093920, (2017)
A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias, Abbas, H., Jang K.J., Liang J., Dixit S., and Mangharam R. , In Heart Rhythm Scientific Sessions, Chicago, 05/2017, (2017)  (77.23 KB)
Opacity for switched linear systems: Notions and characterization, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec, (2017)  (512.18 KB)
Quantitative Regular Expressions for Arrhythmia Detection Algorithms, Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu , International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)  (1.06 MB)
Query Checking for Linear Temporal Logic, Huang, Samuel, and Cleaveland Rance , 25 August 2017, (2017)
The role of conductivity discontinuities in design of cardiac de brillation, LIM, HYUNKYUNG, Cun Wenjing, Gray Richard A., and GLIMM JAMES , (2017)  (1.36 MB) (552.91 KB) (2.25 MB)
Simultaneous Quantification of Spatially Discordant Alternans in Voltage and Intracellular Calcium in Langendorff-Perfused Rabbit Hearts and Inconsistencies with Models of Cardiac Action Potentials and Ca Transients, Uzelac, Ilija, Ji Yanyan C., Hornung Daniel, Schröder-Scheteling Johannes, Luther Stefan, Gray Richard A., CHERRY ELIZABETH M., and FENTON FLAVIO H. , Frontiers in Physiology, Volume 8, (2017)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems, Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo , Haifa Verification Conference, to appear, (2017)
2018
An Algebraic Framework for Runtime Verification, Jaksic, Stefan, Bartocci Ezio, Grosu Radu, and Nickovic Dejan , CoRR, Volume abs/1802.03775, (2018)  (708.43 KB)
Automated Specification Extraction and Analysis with Specstractor, Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael , Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)
Declarative vs Rule-based Control for Flocking Dynamics, Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A. , Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)  (904.24 KB)

Pages