Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling:

Related Experiment Video

Updated: Jul 19, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

R Ghosh1, C Tomlin

  • 1Department of Aeronautics and Astronautics, Stanford University, CA 94305, USA. ronojoy@stanford.edu

Systems Biology
|October 21, 2006
PubMed

Keywords:
symbolic computationDelta-Notch signalingpiecewise affine dynamicsdiscrete abstractions

More Related Videos

Structure-Based Simulation and Sampling of Transcription Factor Protein Movements along DNA from Atomic-Scale Stepping to Coarse-Grained Diffusion09:17

Structure-Based Simulation and Sampling of Transcription Factor Protein Movements along DNA from Atomic-Scale Stepping to Coarse-Grained Diffusion

Published on: March 1, 2022

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues07:08

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues

Published on: July 14, 2015

Related Concept Videos

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
Notch Signaling Pathway03:14

Notch Signaling Pathway

The Notch signaling pathway is a major intracellular signaling pathway that is highly conserved over a broad spectrum of metazoan species. It stands unique from other intracellular signaling mechanisms in animals because notch protein itself acts as the receptor as well as the primary signaling molecule.
The Notch gene came into the limelight in 1914 after the discovery that its mutation in Drosophila melanogaster leads to a serrated (or "notched") wing margin phenotype. It was not until 1985...
Notch Signaling Pathway03:14

Notch Signaling Pathway

The Notch signaling pathway is a major intracellular signaling pathway that is highly conserved over a broad spectrum of metazoan species. It stands unique from other intracellular signaling mechanisms in animals because notch protein itself acts as the receptor as well as the primary signaling molecule.
The Notch gene came into the limelight in 1914 after the discovery that its mutation in Drosophila melanogaster leads to a serrated (or "notched") wing margin phenotype. It was not until 1985...
Assembly of Signaling Complexes01:30

Assembly of Signaling Complexes

Multiprotein signaling complexes are formed in a dynamic process involving protein-protein interactions at the cytoplasmic domain of transmembrane receptors or enzymatic and non-enzymatic proteins associated with the receptor. These complexes ensure the activation and propagation of intracellular signals that regulate cell functions.
Interaction domains in cell signaling
Interaction domains recognize exposed features of their binding partners containing post-translationally modified sequences,...
Piecewise-Defined Functions01:28

Piecewise-Defined Functions

Piecewise defined functions are mathematical models where different expressions define a function over distinct intervals of the domain. These functions are useful for representing systems with varying behaviors depending on input values.For example, the function:  uses a linear rule for inputs less than or equal to –1 and a quadratic rule for values greater than –1. Although it has two formulas, it still defines a single function.Another common type is the absolute value function, given...
Woodward–Hoffmann Selection Rules and Microscopic Reversibility01:34

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...