Gabriel Kalyon

Symbolic Data Structure for Sets of k-uples of Integers

Giorgio Delzanno, Cédric Meuter, Pierre Ganty, 2007 .

Control of infinite Symbolic Transition Systems under partial observation

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2009, 2009 European Control Conference (ECC).

Symbolic Supervisory Control of Distributed Systems With Communications

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2014, IEEE Transactions on Automatic Control.

Lattice-Valued Binary Decision Diagrams

Jean-François Raskin, Tristan Le Gall, Gilles Geeraerts, 2010, ATVA.

Contrôle décentralisé de systèmes symboliques infinis sous observation partiell

Tristan Le Gall, Hervé Marchand, Gabriel Kalyon, 2009 .

Global State Estimates for Distributed Systems

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, FMOODS/FORTE.

Testing Distributed Systems Through Symbolic Model Checking

Cédric Meuter, Thierry Massart, Laurent Van Begin, 2007, FORTE.

Decentralized Control of Infinite Systems

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, Discret. Event Dyn. Syst..

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2012, Discret. Event Dyn. Syst..

Synthesis of communicating controllers for distributed systems

Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, IEEE Conference on Decision and Control and European Control Conference.