The following pages link to (Q4553263):
Displayed 16 items.
- Stability analysis for stochastic hybrid systems: a survey (Q472550) (← links)
- Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by Bacillus subtilis (Q534379) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Box invariance in biologically-inspired dynamical systems (Q963961) (← links)
- Inductive process modeling (Q1009252) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Piecewise-linear models of genetic regulatory networks: equilibria and their stability (Q2369327) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Dynamical properties of a two-gene network with hysteresis (Q2453220) (← links)
- Hybrid systems: Modelling and analysis using emergent dynamics (Q2460412) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)