Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

CellExcite: an efficient simulation environment for excitable cells.

Ezio Bartocci1, Flavio Corradini, Emilia Entcheva

  • 1Dipartimento di Matematica e Informatica, Università di Camerino, Via Madonna delle Carceri n,9, Camerino, Italy. ezio.bartocci@unicam.it

BMC Bioinformatics
|April 18, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Multi-structure segmentation in CBCT volumes: The ToothFairy2 challenge.

Medical image analysis·2026
Same author

Response of human iPSC-cardiomyocytes to adrenergic drugs assessed by high-throughput pericellular oxygen measurements and computational modeling.

Journal of molecular and cellular cardiology plus·2026
Same author

Comparative transcriptomics analysis of histone deacetylases, transcription factors, and ion channel genes in human iPSC-cardiomyocytes vs. the adult human heart.

bioRxiv : the preprint server for biology·2026
Same author

Phase resetting in human stem cell derived cardiomyocytes explains complex cardiac arrhythmias.

PLoS computational biology·2026
Same author

A systematic literature review of spatio-temporal graph neural network models for time series forecasting and classification.

Neural networks : the official journal of the International Neural Network Society·2025
Same author

BMAL1 mediates sex-specific circadian regulation of cardiac ion channels and temporal arrhythmia vulnerability.

Heart rhythm·2025
Same journal

OpenIMC: an open-source platform for analyzing single-cell and spatial proteomics by imaging mass cytometry.

BMC bioinformatics·2026
Same journal

NAP: an open source pipeline for cross-domain microbiome profiling using Nanopore sequencing-derived amplicon data.

BMC bioinformatics·2026
Same journal

SurvGME: an R package for survival analysis with graphical and measurement error models.

BMC bioinformatics·2026
Same journal

SimMapNet: a Bayesian framework for gene regulatory network inference using gene ontology similarities as external hint.

BMC bioinformatics·2026
Same journal

Dual channel drug-drug interactions extraction based on cross attention.

BMC bioinformatics·2026
Same journal

FeSseqdb: a curated sequence-level database and interpretable machine learning framework for identifying iron-sulfur proteins.

BMC bioinformatics·2026
See all related articles

This study introduces CellExcite, a novel simulation environment using Hybrid Automata (HA) to model excitable cells efficiently. CellExcite enables faster simulations and formal analysis of complex cell networks.

Area of Science:

  • Computational biology
  • Biophysics
  • Systems biology

Background:

  • Excitable tissues like brain, heart, and muscle exhibit both discrete and continuous behaviors.
  • Traditional models using nonlinear differential equations are computationally intensive and hinder formal analysis.
  • Large-scale simulations of excitable cell networks face significant computational challenges.

Purpose of the Study:

  • To develop a more abstract and computationally efficient model for excitable cells.
  • To enable formal analysis of excitable cell behavior.
  • To reduce the computational burden of simulating large-scale 2-D and 3-D cell networks.

Main Methods:

  • Utilized Hybrid Automata (HA) as the modeling formalism.
  • Developed the CellExcite simulation environment for excitable-cell networks.

Related Experiment Videos

  • Implemented features for sketching tissues, planning stimuli, and customizing diffusion models.

    • Main Results:

    • CellExcite efficiently captures both discrete and continuous excitable-cell behavior.
    • The framework demonstrates significantly improved computational efficiency in large-scale simulations.
    • Enabled the possibility of formal analysis based on HA theory.

    Conclusions:

    • CellExcite provides a computationally efficient simulation framework for multicellular Hybrid Automata arrays.
    • The approach facilitates formal analysis of complex excitable cell systems.
    • A demo of CellExcite is available for further exploration.