Applying differential dynamic logic to reconfigurable biological networks

DOI10.1016/j.mbs.2017.05.012zbMath1379.92014OpenAlexW2622195397WikidataQ47803212 ScholiaQ47803212MaRDI QIDQ2411314

Manuel A. Martins, Daniel R. Figueiredo, Madalena Chaves

Publication date: 20 October 2017

Published in: Mathematical Biosciences (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01568597/file/DFMMMC-mc-web-version.pdf

zbMATH Keywords

hybrid systemsbiological regulatory networksdifferential dynamic logicdiscrete controllers

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Related Items

Introducing interval differential dynamic logic, Introducing synchrony in fuzzy automata

Uses Software

• UMDES
• dReach
• GNA

Cites Work

• Unnamed Item
• Unnamed Item
• Exact control of genetic networks in a qualitative framework: the bistable switch example
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Piecewise-linear models of genetic regulatory networks: equilibria and their stability
• Hierarchy of models: From qualitative to quantitative analysis of circadian rhythms in cyanobacteria
• Relating Bisimulations with Attractors in Boolean Network Models
• Introduction to Discrete Event Systems
• Logical Analysis of Hybrid Systems
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty