Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes

DOI10.1007/978-3-540-78929-1_17zbMath1144.92313MaRDI QIDQ3523110

No author found.

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_17

Mathematics Subject Classification ID

68Q45: Formal languages and automata

92C50: Medical applications (general)

92C05: Biophysics

68Q60: Specification and verification (program logics, model checking, etc.)

92-08: Computational methods for problems pertaining to biology

Related Items

Back-and-forth in space: on logics and bisimilarity in closure spaces, Adaptive testing for specification coverage and refinement in CPS models, 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

Cites Work

• Unnamed Item
• A spatial logic for concurrency. II
• A spatial logic for concurrency. I
• Coordinated control of networked vehicles: an autonomous underwater system
• Learning Cycle-Linear Hybrid Automata for Excitable Cells
• Reasoning About Space: The Modal Way
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing