Hybrid automata, reachability, and systems biology
type: Item
instance of: scholarly article
title: Hybrid automata, reachability, and systems biology
zbMATH Open document ID: 1209.68294
author: Dario Campagna
author: Carla Piazza
published in: Theoretical Computer Science
publication date: 2010-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5707086
zbMATH Keywords: semi-algebraic automata
zbMATH Keywords: reachability
zbMATH Keywords: systems biology
describes a project that uses: HSolver
describes a project that uses: QEPCAD
describes a project that uses: RSOLVER
describes a project that uses: Uppaal
describes a project that uses: d/dt
describes a project that uses: SAHA-Tool
describes a project that uses: OCaml
describes a project that uses: Kronos
describes a project that uses: HyTech
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.12.015
OpenAlex ID: W2034963384
cites work: Q4552454
cites work: Q4417994
cites work: Computer Aided Verification
cites work: Q4234084
cites work: Q4503930
cites work: A theory of timed automata
cites work: O-minimal hybrid systems.
cites work: Q4417973
cites work: HyTech: A model checker for hybrid systems
cites work: Q4806208
cites work: Q5807665
cites work: Q4079605
cites work: Counting connected components of a semialgebraic set in subexponential time
cites work: On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
cites work: QEPCAD B
cites work: Taylor approximation for hybrid systems
cites work: Automated Technology for Verification and Analysis
cites work: Algorithmic algebraic model checking. III: Approximate methods
cites work: Efficient solving of quantified inequality constraints over the real numbers
cites work: Hybrid Automata in Systems Biology: How Far Can We Go?
cites work: Hybrid Systems: Computation and Control
cites work: Modeling biological systems in stochastic concurrent constraint programming
cites work: Q4736610
DOI: 10.1016/J.TCS.2009.12.015
description: scientific article; zbMATH DE number 5707086