Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
From MaRDI portal
Recommendations
- Learning Cycle-Linear Hybrid Automata for Excitable Cells
- Spatial networks of hybrid I/O automata for modeling excitable tissue
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
- Reconstructing the heart
Cites work
- A spatial logic for concurrency. I
- A spatial logic for concurrency. II
- Coordinated control of networked vehicles: an autonomous underwater system
- scientific article; zbMATH DE number 1956633 (Why is no real title available?)
- Learning Cycle-Linear Hybrid Automata for Excitable Cells
- Reasoning About Space: The Modal Way
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Cited in
(10)- Adaptive testing for specification coverage and refinement in CPS models
- Emulation of cardiac mechanics using graph neural networks
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- System design of stochastic models using robustness of temporal properties
- Quantitative verification of implantable cardiac pacemakers over hybrid heart models
- Quadtrees as an abstract domain
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
- Learning Cycle-Linear Hybrid Automata for Excitable Cells
- Back-and-forth in space: on logics and bisimilarity in closure spaces
- Spatio-temporal model-checking of cyber-physical systems using graph queries
This page was built for publication: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523110)
