Back to Results
First PageMeta Content
Formal methods / Hybrid automaton / State transition system / Computer science / Cellular automata / Model checking / Automata theory / Models of computation / Theoretical computer science


Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh
Add to Reading List

Document Date: 2006-11-03 02:08:52


Open Document

File Size: 523,06 KB

Share Result on Facebook

/

Facility

Stanford University / /

IndustryTerm

symbolic solutions / biological systems / chemical reaction rates / larger cell networks / cell networks / feedback network / biological protein regulatory networks / computing / affine systems / biological regulatory systems / protein signaling network / biological networks / iterative refinement algorithm / abstraction algorithm / planar cell network / proposed abstraction algorithm / planar network / /

Organization

Delta-Notch Protein Signalling Ronojoy Ghosh Claire Tomlin Department of Aeronautics and Astronautics / Pge / Stanford University / /

Person

Claire Tomlin / /

Position

Prime Minister / player / Model Development 2.1 Hybrid Automata / reverse engineer / /

SportsLeague

Stanford University / /

Technology

partitioning algorithm / simulation / proposed algorithm / abstraction algorithm / 4 Algorithm / proposed abstraction algorithm / iterative refinement algorithm / /

SocialTag