Publications d'un membre du LURPA : Gregory FARAUT (8 réponses)
- 2020 (2 publication(s))
- Publications en revue à comité de lecture (2)
- An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets
F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, 17(2), pp. 784-798, April 2020
- Human Activity Discovery and Recognition using Probabilistic Finite-State Automata
K. Viard, M.P. Fanti, G. Faraut, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, 17(4), pp. 2085-2096, October 2020
2018 (2 publication(s))
- Publications en revue à comité de lecture (2)
- Model-based testing of PLC programs with appropriate conformance relations
A. Guignard, J.-M. Faure, G. Faraut
IEEE Trans. on Industrial Informatics, 14 (1), pp. 350-359, January 2018
- Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
J. Saives, G. Faraut, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, PP(99), 15(2), pp. 832-841, 2018
2017 (1 publication(s))
2015 (1 publication(s))
2009 (2 publication(s))