Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
DOI10.1016/J.TCS.2010.05.008zbMATH Open1216.68164OpenAlexW2003871372MaRDI QIDQ548479FDOQ548479
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
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
Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Automata, Languages and Programming
- System modeling in cellular biology. From concepts to nuts and bolts.
- On temporal logic constraint solving for analyzing numerical data time series
- Robust Sampling for MITL Specifications
Cited In (11)
- 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
- A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics
- Stability versus meta-stability in a skin microbiome model
- On temporal logic constraint solving for analyzing numerical data time series
- Title not available (Why is that?)
- Unwinding biological systems
- A logic of behaviour in context
- Robust satisfaction of temporal logic over real-valued signals
- Artificial intelligence in biological modelling
- Robustness for biochemical networks: step-by-step approach
- Parameter Synthesis Through Temporal Logic Specifications
Uses Software
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)
