Bifurcation Analysis of Cardiac Alternans Using δ-Decidability
暂无分享,去创建一个
Rance Cleaveland | Radu Grosu | Edmund M. Clarke | Scott A. Smolka | Soonho Kong | Md. Ariful Islam | Flavio H. Fenton | Greg Byrne | Soonho Kong | E. Clarke | F. Fenton | R. Cleaveland | S. Smolka | R. Grosu | G. Byrne | Paul L. Jones | P. Jones
[1] L. Glass,et al. Phase locking, period-doubling bifurcations, and irregular dynamics in periodically stimulated cardiac cells. , 1981, Science.
[2] S Nattel,et al. Prediction of complex atrioventricular conduction rhythms in humans with use of the atrioventricular nodal recovery curve. , 1987, Circulation.
[3] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[4] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[5] D. Chialvo,et al. Electrical Restitution, Critical Mass, and the Riddle of Fibrillation , 1999, Journal of cardiovascular electrophysiology.
[6] H M Hastings,et al. Mechanisms for Discordant Alternans , 2001, Journal of cardiovascular electrophysiology.
[7] F. Fenton,et al. Multiple mechanisms of spiral wave breakup in a model of cardiac electrical activity. , 2002, Chaos.
[8] D. Schaeffer,et al. A two-current model for the dynamics of cardiac membrane , 2003, Bulletin of mathematical biology.
[9] Alain Karma,et al. Coupled dynamics of voltage and calcium in paced cardiac cells. , 2005, Physical review. E, Statistical, nonlinear, and soft matter physics.
[10] Bowen Alpern,et al. Recognizing safety and liveness , 2005, Distributed Computing.
[11] A. Garfinkel,et al. From Pulsus to Pulseless: The Saga of Cardiac Alternans , 2006, Circulation research.
[12] Jérôme Feret. Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation , 2008 .
[13] Elizabeth Cherry,et al. Models of cardiac cell , 2008, Scholarpedia.
[14] Hidde de Jong,et al. Symbolic reachability analysis of genetic regulatory networks using discrete abstractions , 2008, Autom..
[15] Yang Yang,et al. Reachability analysis based model validation in systems biology , 2010, 2010 IEEE Conference on Cybernetics and Intelligent Systems.
[16] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[17] Alessio Gizzi,et al. Effects of Pacing Site and Stimulation History on Alternans Dynamics and the Development of Complex Spatiotemporal Patterns in Cardiac Tissue , 2013, Front. Physiol..
[18] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[19] Zhenqi Huang,et al. Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells , 2014, CAV.
[20] Antoine Girard,et al. Compositionality results for cardiac cell dynamics , 2014, HSCC.
[21] Wei Chen,et al. Delta-Complete Analysis for Bounded Reachability of Hybrid Systems , 2014, ArXiv.
[22] Sriram Sankaranarayanan,et al. Simulation-guided lyapunov analysis for hybrid dynamical systems , 2014, HSCC.
[23] Alvin Shrier,et al. Predicting the onset of period-doubling bifurcations in noisy cardiac systems , 2015, Proceedings of the National Academy of Sciences.
[24] Lubos Brim,et al. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems , 2015, HSB.
[25] Wei Chen,et al. dReach: δ-Reachability Analysis for Hybrid Systems , 2015, TACAS.
[26] Edmund M. Clarke,et al. Towards personalized prostate cancer therapy using delta-reachability analysis , 2014, HSCC.
[27] Robert P. Goldman,et al. SMT-Based Nonlinear PDDL+ Planning , 2015, AAAI.
[28] Radu Grosu,et al. Computing bisimulation functions using SOS optimization and δ-decidability over the reals , 2015, HSCC.
[29] Radu Grosu,et al. Model Checking Tap Withdrawal in C. Elegans , 2015, HSB.
[30] Peter Csaba Ölveczky,et al. SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems , 2016, HSCC.
[31] Radu Grosu,et al. Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability , 2017 .