Proving Stabilization of Biological Systems

DOI10.1007/978-3-642-18275-4_11zbMath1318.92014OpenAlexW4237394719MaRDI QIDQ3075477

Elzbieta Krepska, Nir Piterman, Jasmin Fisher, Byron Cook

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

zbMATH Keywords

stabilizationgenetic regulatory networksbiological systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Related Items (4)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Bringing LTL Model Checking to Biologists ⋮ Proving Stabilization of Biological Systems ⋮ An STL-based formulation of resilience in cyber-physical systems

Uses Software

• SPIN
• NuSMV
• z3
• LUSTRE

Cites Work

• Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
• Modeling and querying biomolecular interaction networks
• Proving Stabilization of Biological Systems
• Proving that programs eventually do something good
• Decompositional Construction of Lyapunov Functions for Hybrid Systems
• Bounded model checking using satisfiability solving
• Unnamed Item
• Unnamed Item

This page was built for publication: Proving Stabilization of Biological Systems