Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks

Abstract : We present a new hybrid Hoare logic dedicated for a class of linear hybrid automata well suited to model gene regulatory networks. These automata rely on Thomas' discrete framework in which qualitative parameters have been replaced by continuous parameters called celerities. The identification of these parameters remains one of the keypoints of the modelling process, and is difficult especially because the modelling framework is based on a continuous time. We introduce Hoare triples which handle biological traces and pre/post-conditions. Observed chronometrical biological traces play the role of an imperative program for classical Hoare logic and our hybrid Hoare logic, defined by inference rules, is proved to be sound. Furthermore, we present a weakest precondition calculus (a la Dijkstra) which leads to constraints on dynamical parameters. Finally, we illustrate our " constraints generator " with a simplified circadian clock model describing the rhythmicity of cells in mammals on a 24-hour period.
Type de document :
Communication dans un congrès
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. Leibniz International Proceedings in Informatics (LIPIcs), 90, 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). 〈http://informatique.umons.ac.be/time2017/〉. 〈10.4230/LIPIcs.TIME.2017.5〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01655310
Contributeur : Maxime Folschette <>
Soumis le : lundi 4 décembre 2017 - 17:48:53
Dernière modification le : jeudi 7 décembre 2017 - 01:15:45

Fichier

LIPIcs-TIME-2017-5.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette. Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. Leibniz International Proceedings in Informatics (LIPIcs), 90, 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). 〈http://informatique.umons.ac.be/time2017/〉. 〈10.4230/LIPIcs.TIME.2017.5〉. 〈hal-01655310〉

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

1