-
Reachability Analysis of Hybrid Systems using Support Functions
In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety... -
A Logic of Reachable Patterns in Linked Data-Structures
Original article available at http://www.sciencedirect.com. -
Synthesis and Analysis of Product-form Petri Nets
This is a version including proofs of the conference paper: Haddad, Mairesse and Nguyen. Synthesis and Analysis of Product-form Petri Nets. Accepted at the conference Petri Nets... -
Vector Addition Systems Reachability Problem (A Simpler Solution)
International audience -
Motor representations and the perception of peripersonal space
In this thesis, we assessed the tight relations between motor and sensory processes used to determine the areas of space in which a direct action is possible. We thus... -
Simultaneous state and input reachability for linear time invariant systems
International audience -
Contribution to the Verification of Timed Automata: Determinization, Quantita...
This thesis is about verification of timed automata, a well-established model for real time systems. The document is structured in three parts. The first part is... -
Coverability in a NonFunctional Extension of BVASS
We define Vector Addition with Sates and Split/Join Transitions, a new model that extends VASS and BVASS. We define a suitable notion of covering graph for the model,... -
Reachability is decidable for ground AC Rewrite systems
Colloque sans acte à diffusion restreinte. -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
Rigid Reachability
Rapport interne. -
Decidable fragments of simultaneous rigid reachability
Colloque avec actes et comité de lecture. -
Rigid reachability, the non-symmetric form of rigid E-unification
Article dans revue scientifique avec comité de lecture.
