Computing reachable states for nonlinear biological models

DOI10.1016/j.tcs.2011.01.014zbMath1211.92023OpenAlexW1998029012MaRDI QIDQ533351

Oded Maler, Thao Dang, Colas Le Guernic

Publication date: 3 May 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.014

Mathematics Subject Classification ID

Application models in control theory (93C95) Computing methodologies and applications (68U99) Systems biology, networks (92C42)

Related Items (5)

Model Checking of Biological Systems ⋮ Closed-loop input design for guaranteed fault diagnosis using set-valued observers ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

Uses Software

• PHAVer
• HyTech
• RoVerGeNe

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybridization methods for the analysis of nonlinear systems
• Reachability analysis of linear systems using support functions
• Nonlinear systems. Analysis, stability, and control
• Counterexample-guided predicate abstraction of hybrid systems
• Hybrid computation
• Accurate hybridization of nonlinear systems
• Approximating Continuous Systems by Timed Automata
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Systematic Simulation Using Sensitivity Analysis
• Reachability Analysis of Hybrid Systems Using Support Functions
• Reachability Analysis Using Polygonal Projections
• Lectures on Polytopes
• Algorithmic analysis of nonlinear hybrid systems
• Computational techniques for hybrid system verification
• 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
• On Interleaving in Timed Automata
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Computing reachable states for nonlinear biological models