Modelling biological systems has become instrumental to understand complex and emerging phenomena resulting from partially known influences, and to consider controlling an altered system in order to restore a physiological behaviour. Any model, independent of the underlying paradigm, involves parameters governing its dynamics. However,...
-
October 2, 2018 (v1)PublicationUploaded on: December 4, 2022
-
October 16, 2017 (v1)Conference paper
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...
Uploaded on: February 28, 2023 -
November 22, 2015 (v1)Conference paper
International audience
Uploaded on: December 4, 2022 -
November 23, 2015 (v1)Journal article
International audience
Uploaded on: February 28, 2023