ROUX , Olivier

The main difficulty when modelling gene networks is the identification of the parameters that govern the dynamics. Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role...

International audience

International audience

René Thomas' discrete modelling of gene regulatory networks (GRN) is a well-known approach to study the dynamics resulting from a set of interacting genes. It deals with some parameters which reflect the possible targets of trajectories. Those parameters are a priori unknown, but they may generally be deduced from a well-chosen set of...

The deployment of autonomous vehicles is contingent on trust in their ability to operate safely. However, the assurance that they can accommodate failures and changing weather conditions to maintain limited functionality requires the development of rigorous design and analysis tools. This paper presents a formal approach for the design of...

International audience