Articles dans des revues avec comité de lecture (11)
  1. 1. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2014). Symbolic supervisory control of distributed systems with communications. IEEE transactions on automatic control, 59(2), 6606832, 396-408. doi:10.1109/TAC.2013.2283093
  2. 2. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2012). Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete event dynamic systems, 22(2), 121-161. doi:10.1007/s10626-011-0101-3
  3. 3. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Synthesis of communicating controllers for distributed systems. Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes,, 6160584 1803-1810. doi:10.1109/CDC.2011.6160584
  4. 4. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Global state estimates for distributed systems. Lecture notes in computer science, 6722 LNCS, 198-212. doi:10.1007/978-3-642-21461-5_13
  5. 5. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Global State Estimates for Distributed Systems. Lecture notes in computer science, 6722, 198-212.
  6. 6. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Decentralized Control of Infinite Systems. Discrete event dynamic systems, 21(3), 359-393.
  7. 7. Geeraerts, G., Kalyon, G., Le Gall, T., Maquet, N., & Raskin, J.-F. (2010). Lattice-Valued Binary Decision Diagrams. Lecture notes in computer science, 6252, 158-172. doi:10.1007/978-3-642-15643-4_13
  8. 8. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Computational Complexity for State-Feedback Controllers with Partial Observation. IEEE International Conference on Control and Automation, 435-441.
  9. 9. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. Journal européen des systèmes automatisés, 43(7-9), 805-819.
  10. 10. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Contrôle décentralisé de systèmes symboliques infinis sous observation partiell. Journal européen des systèmes automatisés, 43(7-9), 805-819.
  11. 11. Kalyon, G., Massart, T., Meuter, C., & Van Begin, L. (2007). Testing distributed systems through symbolic model checking. Lecture notes in computer science, 4574 LNCS, 263-279.
    12.   Communications publiées lors de congrès ou colloques nationaux et internationaux (1)
  12. 1. Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference (pp. 1456-1462) ECC’09(August 2009: Budapest, Hungary).
    13. << Précédent 1 2 Suivant >>