From model-checking to temporal logic constraint solving

François Fages; Aurélien Rizk

doi:10.1007/978-3-642-04244-7_26

From model-checking to temporal logic constraint solving

François Fages
, Aurélien Rizk

École Polytechnique

INRIA Institut National de Recherche en Informatique et en Automatique

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain , and by computing a validity domain for the variables rather than a truth value for the formula. This allows us to define a continuous degree of satisfaction for a temporal logic formula in a given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse-engineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications.

langue originale	Anglais
titre	Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings
Pages	319-334
Nombre de pages	16
Les DOIs	https://doi.org/10.1007/978-3-642-04244-7_26
état	Publié - 2 nov. 2009
Evénement	15th International Conference on Principles and Practice of Constraint Programming, CP 2009 - Lisbon, Portugal Durée: 20 sept. 2009 → 24 sept. 2009

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5732 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	15th International Conference on Principles and Practice of Constraint Programming, CP 2009
Pays/Territoire	Portugal
La ville	Lisbon
période	20/09/09 → 24/09/09

Accès au document

10.1007/978-3-642-04244-7_26

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Fages, F., & Rizk, A. (2009). From model-checking to temporal logic constraint solving. Dans Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings (p. 319-334). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5732 LNCS). https://doi.org/10.1007/978-3-642-04244-7_26

@inproceedings{7e8bdb55804245ed97ac4b98d297eba2,

title = "From model-checking to temporal logic constraint solving",

abstract = "In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain , and by computing a validity domain for the variables rather than a truth value for the formula. This allows us to define a continuous degree of satisfaction for a temporal logic formula in a given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse-engineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications.",

author = "Fran{\c c}ois Fages and Aur{\'e}lien Rizk",

year = "2009",

month = nov,

day = "2",

doi = "10.1007/978-3-642-04244-7\_26",

language = "English",

isbn = "3642042430",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "319--334",

booktitle = "Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings",

note = "15th International Conference on Principles and Practice of Constraint Programming, CP 2009 ; Conference date: 20-09-2009 Through 24-09-2009",

}

Fages, F & Rizk, A 2009, From model-checking to temporal logic constraint solving. Dans Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 5732 LNCS, p. 319-334, 15th International Conference on Principles and Practice of Constraint Programming, CP 2009, Lisbon, Portugal, 20/09/09. https://doi.org/10.1007/978-3-642-04244-7_26

From model-checking to temporal logic constraint solving. / Fages, François; Rizk, Aurélien.
Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. 2009. p. 319-334 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5732 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - From model-checking to temporal logic constraint solving

AU - Fages, François

AU - Rizk, Aurélien

PY - 2009/11/2

Y1 - 2009/11/2

N2 - In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain , and by computing a validity domain for the variables rather than a truth value for the formula. This allows us to define a continuous degree of satisfaction for a temporal logic formula in a given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse-engineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications.

AB - In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain , and by computing a validity domain for the variables rather than a truth value for the formula. This allows us to define a continuous degree of satisfaction for a temporal logic formula in a given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse-engineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications.

UR - https://www.scopus.com/pages/publications/70350424435

U2 - 10.1007/978-3-642-04244-7_26

DO - 10.1007/978-3-642-04244-7_26

M3 - Conference contribution

AN - SCOPUS:70350424435

SN - 3642042430

SN - 9783642042430

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 319

EP - 334

BT - Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings

T2 - 15th International Conference on Principles and Practice of Constraint Programming, CP 2009

Y2 - 20 September 2009 through 24 September 2009

ER -

Fages F, Rizk A. From model-checking to temporal logic constraint solving. Dans Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. 2009. p. 319-334. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-04244-7_26

From model-checking to temporal logic constraint solving

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation