On temporal logic constraint solving for analyzing numerical data time series

DOI10.1016/j.tcs.2008.07.004zbMath1160.68545OpenAlexW2170592382MaRDI QIDQ959788

François Fages, Aurélien Rizk

Publication date: 12 December 2008

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.07.004

zbMATH Keywords

model-checkingtemporal logicconstraint solvingsystems biologydata time series

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items

Model Checking of Biological Systems ⋮ 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 ⋮ Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures

Uses Software

• BIOCHAM
• AMT

Cites Work

• Unnamed Item
• Modeling and querying biomolecular interaction networks
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Model Checking Software
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Brane Calculi