Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

DOI10.1016/j.tcs.2010.05.008zbMath1216.68164OpenAlexW2003871372MaRDI QIDQ548479

Grégory Batt, Aurélien Rizk, Sylvain Soliman, François Fages

Publication date: 28 June 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01431314/file/RBFS11tcs.pdf

zbMATH Keywords

robustnessmodel-checkingtemporal logicparameter optimizationconstraint solvingsystems biology

Mathematics Subject Classification ID

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

Related Items (7)

A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics ⋮ A logic of behaviour in context ⋮ Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints ⋮ Unnamed Item ⋮ Parameter Synthesis Through Temporal Logic Specifications ⋮ Unwinding biological systems ⋮ Stability versus meta-stability in a skin microbiome model

Uses Software

• Uppaal
• PPL
• AMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• On temporal logic constraint solving for analyzing numerical data time series
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• From Reaction Models to Influence Graphs and Back: A Theorem
• Robust Sampling for MITL Specifications
• Automata, Languages and Programming

This page was built for publication: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures