Computing reachable states for nonlinear biological models
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 3855514 (Why is no real title available?)
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 50840 (Why is no real title available?)
- scientific article; zbMATH DE number 3484411 (Why is no real title available?)
- scientific article; zbMATH DE number 1303063 (Why is no real title available?)
- scientific article; zbMATH DE number 1507212 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 1444343 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- scientific article; zbMATH DE number 1444360 (Why is no real title available?)
- Accurate hybridization of nonlinear systems
- Algorithmic analysis of nonlinear hybrid systems
- Approximating Continuous Systems by Timed Automata
- Computational techniques for hybrid system verification
- Counterexample-guided predicate abstraction of hybrid systems
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid computation
- Hybridization methods for the analysis of nonlinear systems
- Lectures on Polytopes
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Nonlinear systems. Analysis, stability, and control
- On Interleaving in Timed Automata
- Reachability Analysis Using Polygonal Projections
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reachability analysis of linear systems using support functions
- Systematic Simulation Using Sensitivity Analysis
- The algorithmic analysis of hybrid systems
Cited in
(14)- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Rigorous simulation-based analysis of linear hybrid systems
- On approximative reachability analysis of biochemical dynamical systems
- Application of the reachability analysis for the iron homeostasis study
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- scientific article; zbMATH DE number 1956633 (Why is no real title available?)
- Static analysis and stochastic search for reachability problem
- Model checking of biological systems
- Closed-loop input design for guaranteed fault diagnosis using set-valued observers
- Model checking tap withdrawal in \textit{C. elegans}
- Accelerating parameter synthesis using semi-algebraic constraints
- Properties and stability analysis of the sixth-order Boussinesq equations for Rossby waves
- Adaptive parameter tuning for reachability analysis of nonlinear systems
This page was built for publication: Computing reachable states for nonlinear biological models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q533351)
