Gabriel Kalyon

According to our database, Gabriel Kalyon authored at least 8 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Symbolic Supervisory Control of Distributed Systems With Communications.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

IEEE Trans. Autom. Control., 2014

2012

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

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Discret. Event Dyn. Syst., 2012

2011

Decentralized Control of Infinite Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Discret. Event Dyn. Syst., 2011

Global State Estimates for Distributed Systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the Formal Techniques for Distributed Systems, 2011

Synthesis of communicating controllers for distributed systems.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Lattice-Valued Binary Decision Diagrams.

Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Control of infinite Symbolic Transition Systems under partial observation.

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart

Proceedings of the 10th European Control Conference, 2009

2007

Testing Distributed Systems Through Symbolic Model Checking.

Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007