Static Analysis of Communicating Processes using Symbolic Transducers
Get full text
Paper
Journal Article
Symbolic Supervisory Control of Distributed Systems With Communications
Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herv, Massart, Thierry
Published in IEEE transactions on automatic control (01.02.2014)
Published in IEEE transactions on automatic control (01.02.2014)
Get full text
Journal Article
Control of infinite Symbolic Transition Systems under partial observation
Kalyon, Gabriel, Le Gall, Tristan, Marchand, Herve, Massart, Thierry
Published in 2009 European Control Conference (ECC) (01.08.2009)
Published in 2009 European Control Conference (ECC) (01.08.2009)
Get full text
Conference Proceeding
Journal Article
Decentralized Control of Infinite Systems
Kalyon, Gabriel, Le Gall, Tristan, Marchand, Hervé, Massart, Thierry
Published in Discrete event dynamic systems (01.09.2011)
Published in Discrete event dynamic systems (01.09.2011)
Get full text
Journal Article
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Le Gall, Tristan, Jeannet, Bertrand, Jéron, Thierry
Published in Algebraic Methodology and Software Technology (2006)
Published in Algebraic Methodology and Software Technology (2006)
Get full text
Book Chapter
Conference Proceeding
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
Goubault, Eric, Le Gall, Tristan, Putot, Sylvie
Published in Electronic notes in theoretical computer science (05.11.2012)
Published in Electronic notes in theoretical computer science (05.11.2012)
Get full text
Journal Article
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation
Le Gall, T., Jeannet, B., Marchand, H.
Published in Proceedings of the 44th IEEE Conference on Decision and Control (2005)
Published in Proceedings of the 44th IEEE Conference on Decision and Control (2005)
Get full text
Conference Proceeding
Computational complexity for state-feedback controllers with partial observation
Kalyon, G., Le Gall, T., Marchand, H., Massart, T.
Published in 2009 IEEE International Conference on Control and Automation (01.12.2009)
Published in 2009 IEEE International Conference on Control and Automation (01.12.2009)
Get full text
Conference Proceeding