We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...
Delphine Bresch-Pietri, Jonathan Chauvin, Nicolas ...
In this paper, we use the concept of edge-colored graphs to model homogeneous faults in networks. We then use this model to study the minimum connectivity (and design) requirement...
Networks are becoming a unifying framework for modeling complex systems and network inference problems are frequently encountered in many fields. Here, I develop and apply a gener...
One of the most important problems in visual tracking is how to incrementally update the appearance model because the appearance of a target object can be easily changed with time...