Marchand, Hervé, 19..-...., chercheur en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 219454030 (Personal)
Permalink: http://viaf.org/viaf/219454030
Preferred Forms
Works
| Title | Sources |
|---|---|
| Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués |
|
| Conception formelle du pilotage d'une flotte de robots mobiles |
|
| Dynamic observers for the synthesis of opaque systems |
|
| Formal design of driving a fleet of mobile robots. |
|
| METHODES DE SYNTHESE D'AUTOMATISMES DECRITS PAR DES SYSTEMES A EVENEMENTS DISCRETS FINIS |
|
| METHODS OF CONTROLLER SYNTHESIS FOR FINITE DISCRETE EVENT SYSTEMS. |
|
| Modélisation des systèmes réactifs : actes de MSR 2013, 13-15 novembre 2009, Rennes, France |
|
| Modular Coordination of Autonomic Managers Using Discrete Control. |
|
| Monitoring information flow by diagnosis techniques |
|
| Opacity enforcing control synthesis |
|
| Prédiction de motifs de séquences pour des systèmes à évènements discrets, français |
|
| Runtime enforcement of timed properties. |
|
| Supervision patterns in discrete event systems diagnosis |
|
| Supervisory control for opacity |
|
| Symbolic determinisation of extended automata |
|
| Vérification et synthèse automatisées de systèmes distribués : appliqué en particulier à la plateforme SDN-IoT. |
|
| Vérification interactive de propriétés à l'exécution |
|
