Section: New Results

Logical Time and Uncertain Physical environments

Participants : Frédéric Mallet, Robert de Simone, Dongdong An.

We developed a specific formalism to express logical time constraints on models. Currently it remains mainly aimed at purely “cyber” models. Combination with continuous physical models, and stochastic uncertainty, will be further studied at the level of constraint expressiveness. The issue of expressing meaningful discrete clocks from stochastic clock schemes, and combining the resulting clocks borne from physics to other clocks borne from sampling oberver environment, is a topic of collaboration with ECNU Shanghai through the PhD long-term visit of AN Dongdong to Sophia, and other discusions as well [3].