#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2007

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- 2009 European Control Conference (ECC)
- 2009

We propose algorithms for the synthesis of state-feedback controllers through partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safeâ€¦ (More)

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- FMOODS/FORTE
- 2011

We consider distributed systems modeled as communicating finite state machines with reliable unbounded FIFO channels. As an essential subroutine for control, monitoring and diagnosis applications, weâ€¦ (More)

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- IEEE Conference on Decision and Control andâ€¦
- 2011

We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of a distributed system in orderâ€¦ (More)

- Gabriel Kalyon, Thierry Massart, CÃ©dric Meuter, Laurent Van Begin
- FORTE
- 2007

The observation of a distributed systemâ€™s finite execution can be abstracted as a partial ordered set of events generally called finite (partial order) trace. In practice, this trace can be obtainedâ€¦ (More)

This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functions of the form Î¸ : 2 7â†’ L,â€¦ (More)

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- IEEE Transactions on Automatic Control
- 2014

We consider the control of distributed systems composed of subsystems communicating asynchronously; the aim is to build local controllers that restrict the behavior of a distributed system in orderâ€¦ (More)

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- Discrete Event Dynamic Systems
- 2011

We propose algorithms for the synthesis of decentralized statefeedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We firstâ€¦ (More)

- Gabriel Kalyon, Tristan Le Gall, HervÃ© Marchand, Thierry Massart
- 2009 IEEE International Conference on Control andâ€¦
- 2009

We study the computational complexity of several decision and optimization control problems arising in partially observed discrete event systems. These problems are related to the state avoidanceâ€¦ (More)

- Gabriel Kalyon, Thierry Massart, CÃ©dric Meuter, Laurent Van
- 2007

The observation of a distributed systemâ€™s finite execution can be abstracted as a partial ordered set of events generally called finite trace. In practice, this trace can be obtained through aâ€¦ (More)

- Gabriel Kalyon
- 2011