Publication:4552454
From MaRDI portal
zbMath0993.92010MaRDI QIDQ4552454
Max Mintz, Vijay Kumar, Franjo Ivančić, Calin Belta, Rajeev Alur
Publication date: 3 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340019
discrete approximations; mRNA concentrations; repressilator network; repressor protein concentrations
92C37: Cell biology
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Type Disciplines for Analysing Biologically Relevant Properties, External Control in Process Algebra for Systems Biology, Spatial Calculus of Looping Sequences, The Importance of Being (A Little Bit) Discrete, Hybrid Automata in Systems Biology: How Far Can We Go?, HYPE Applied to the Modelling of Hybrid Biological Systems, The Calculus of Looping Sequences for Modeling Biological Membranes, Simulation techniques for the calculus of wrapped compartments, Typed stochastic semantics for the calculus of looping sequences, Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by Bacillus subtilis, Spatial calculus of looping sequences, Hypothesizing about signaling networks, Hybrid automata, reachability, and systems biology, Hybrid dynamics of stochastic programs, Inclusion dynamics hybrid automata, Modeling and querying biomolecular interaction networks, Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice, Hybrid systems: Modelling and analysis using emergent dynamics, Enumerated type semantics for the calculus of looping sequences, Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions