Proving stabilization of biological systems
From MaRDI portal
Publication:3075477
DOI10.1007/978-3-642-18275-4_11zbMATH Open1318.92014OpenAlexW4237394719MaRDI QIDQ3075477FDOQ3075477
Authors: Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman 
Publication date: 15 February 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_11
Recommendations
- Modular verification of interactive systems with an application to biology
- Modular verification of interactive systems with an application to biology
- Stability of genetic networks with hybrid regulatory mechanism
- Symbolic Proof of Bistability in Reaction Networks
- Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Modeling and querying biomolecular interaction networks
- Bounded model checking using satisfiability solving
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- Title not available (Why is that?)
- Proving that programs eventually do something good
- Proving stabilization of biological systems
- Decompositional Construction of Lyapunov Functions for Hybrid Systems
Cited In (6)
- Proving stabilization of biological systems
- An STL-based formulation of resilience in cyber-physical systems
- Deadness and how to disprove liveness in hybrid dynamical systems
- Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
- Title not available (Why is that?)
- Bringing LTL model checking to biologists
Uses Software
This page was built for publication: Proving stabilization of biological systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075477)
