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

DOI10.1016/J.TCS.2010.05.008MaRDI QIDQ548479zbMATH OpenOpenAlexFDO

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

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

robustnesssystems biologyparameter optimizationtemporal logicmodel-checkingconstraint solving

Mathematics Subject Classification ID

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

Recommendations

• On robustness computation and optimization in BIOCHAM-4
• Robust satisfaction of temporal logic over real-valued signals
• On temporal logic constraint solving for analyzing numerical data time series
• Parameter synthesis through temporal logic specifications
• Model Revision from Temporal Logic Properties in Computational Systems Biology

Cites work

• scientific article; zbMATH DE number 4043657 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1950556 (Why is no real title available?)
• 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
• Automata, Languages and Programming
• 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
• From Reaction Models to Influence Graphs and Back: A Theorem
• On temporal logic constraint solving for analyzing numerical data time series
• Robust Sampling for MITL Specifications
• System modeling in cellular biology. From concepts to nuts and bolts.

Cited in

(12)

• Artificial intelligence in biological modelling
• Unwinding biological systems
• Robustness for biochemical networks: step-by-step approach
• A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics
• A logic of behaviour in context
• Stability versus meta-stability in a skin microbiome model
• Robust satisfaction of temporal logic over real-valued signals
• scientific article; zbMATH DE number 7559473 (Why is no real title available?)
• On robustness computation and optimization in BIOCHAM-4
• On temporal logic constraint solving for analyzing numerical data time series
• 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
• Parameter synthesis through temporal logic specifications

Describes a project that uses

Uses Software

• Uppaal
• PPL
• AMT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548479)