Computing reachable states for nonlinear biological models
type: Item
instance of: scholarly article
title: Computing reachable states for nonlinear biological models
zbMATH Open document ID: 1211.92023
author: Thao Dang
author: Colas Le Guernic
author: Oded Maler
published in: Theoretical Computer Science
publication date: 2011-05-03T00:00:00Z
Mathematics Subject Classification ID: 92C42
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 93C95
zbMATH DE Number: 5883068
describes a project that uses: PHAVer
describes a project that uses: RoVerGeNe
describes a project that uses: HyTech
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.01.014
OpenAlex ID: W1998029012
cites work: The algorithmic analysis of hybrid systems
cites work: Counterexample-guided predicate abstraction of hybrid systems
cites work: Hybrid Systems: Computation and Control
cites work: Hybridization methods for the analysis of nonlinear systems
cites work: Q4953376
cites work: Q3324260
cites work: Model Checking Genetic Regulatory Networks with Parameter Uncertainty
cites work: On Interleaving in Timed Automata
cites work: Q4953384
cites work: Q4249565
cites work: Computational techniques for hybrid system verification
cites work: Accurate hybridization of nonlinear systems
cites work: Hybrid computation
cites work: Systematic Simulation Using Sensitivity Analysis
cites work: Reachability Analysis Using Polygonal Projections
cites work: Algorithmic analysis of nonlinear hybrid systems
cites work: Q4067388
cites work: Q2713275
cites work: Q4953393
cites work: Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
cites work: Reachability Analysis of Hybrid Systems Using Support Functions
cites work: Reachability analysis of linear systems using support functions
cites work: Approximating Continuous Systems by Timed Automata
cites work: Q4953402
cites work: Nonlinear systems. Analysis, stability, and control
cites work: Q3818127
cites work: Q4001257
cites work: Q4503932
cites work: Lectures on Polytopes
DOI: 10.1016/J.TCS.2011.01.014
description: scientific article; zbMATH DE number 5883068