Search results for: Stéphane Lafortune
IEEE Transactions on Automatic Control > 2017 > 62 > 11 > 5931 - 5938
Automatica > 2017 > 83 > C > 199-205
IEEE Transactions on Automatic Control > 2017 > 62 > 8 > 3914 - 3929
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Automatica > 2017 > 80 > C > 162-171
2016 IEEE 55th Conference on Decision and Control (CDC) > 3923 - 3928
IEEE Transactions on Automatic Control > 2016 > 61 > 11 > 3644 - 3650
Physica D: Nonlinear Phenomena > 2016 > 332 > C > 23-33
IEEE Transactions on Automatic Control > 2016 > 61 > 8 > 2140 - 2154
Discrete Event Dynamic Systems > 2017 > 27 > 1 > 1-44
IEEE Transactions on Automatic Control > 2016 > 61 > 5 > 1239 - 1254
Lecture Notes in Control and Information Sciences > Advances in Control Theory and Applications > 171-184
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 316-336
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 209-260
IEEE Transactions on Automatic Control > 2016 > 61 > 3 > 571 - 584