scientific article; zbMATH DE number 1956633

zbMath1032.92500MaRDI QIDQ4417994

Ronojoy Ghosh, Claire J. Tomlin, Ashish Kumar Tiwari

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230233.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General biology and biomathematics (92B05)

Related Items

Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology, Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes, Computational challenges in systems biology, Hybrid Automata in Systems Biology: How Far Can We Go?, Probabilistic safety and optimal control for survival analysis of bacillus subtilis, Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement, Dynamically consistent reduction of logical regulatory graphs, Hybrid automata, reachability, and systems biology, External Control in Process Algebra for Systems Biology, Modeling and simulation of cardiac tissue using hybrid I/O automata, Inclusion dynamics hybrid automata, Property Driven Three-Valued Model Checking on Hybrid Automata, Approximated Reachability on Hybrid Automata: Falsification meets Certification, Lebesgue piecewise affine approximation of nonlinear systems, Unwinding biological systems, Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

Uses Software

• HyTech