Multirate Symbolic Models for Incrementally Stable Switched Systems

Our aim is to modify the initial system so that the controlled system could not enter the states of E(v). However, it is not possible to perform this transformation on the

This approach, that we call “Symbolic Matching”, consists in matching vectors built from the received signal with a symbolic model of the chaotic oscillator trajectories..

Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems. International Journal of Robust and

of Bridge Decks With 3-In. Ny State Dep. The degradation and prediction of Service life of building components. Concrete Containing Sparingly Soluble Barium Compounds. On

The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations

In order to define the set of traces associated with a sequence diagram, we have begun by associating them with symbolic automata called Timed Input Output Symbolic Transition

In this paper we extend our method to time Petri nets, allowing the designer to model time constraints, restricting by this way the set of possible explanations, We do not impose

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST