Hervé Marchand
Author
Alternate names Hervé Marchand, H. Marchand, Herve Marchand
Past institutions Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes - Bretagne Atlantique Research Centre, Université de Rennes, Centre National de la Recherche Scientifique, University of Michigan–Ann Arbor +5 more
ORCID: Yes
H-index: 28
I10-index: 72
Works count: 167
Citations count: 2,695
Supervisory Control for Opacity
2010 · Jérémy Dubreil, Philippe Darondeau, et al. · IEEE Transactions on Automatic Control
Synthesis of Discrete-Event Controllers based on the Signal Environment
2000 · Hervé Marchand, P. Bournai, et al. · Discrete Event Dynamic Systems
Synthesis of opaque systems with static and dynamic masks
2012 · Franck Cassez, Jérémy Dubreil, et al. · Formal Methods in System Design