Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Marchand, Hervé
854  Ergebnisse:
Personensuche X
?
1

Dealing with sensor and actuator deception attacks in super..:

Meira-Góes, Rômulo ; Marchand, Hervé ; Lafortune, Stéphane
Automatica.  147 (2023)  - p. 110736 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Towards resilient supervisors against sensor deception atta..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),
Meira-Goes, Romulo ; Marchand, Herve ; Lafortune, Stephane - p. 5144-5149 , 2019
Link: https://doi.org/10.1109/..
 
?
3

Optimal enforcement of (timed) properties with uncontrollab..:

RENARD, MATTHIEU ; FALCONE, YLIÈS ; ROLLET, ANTOINE..
Mathematical Structures in Computer Science.  29 (2017)  1 - p. 169-214 , 2017
Link: https://doi.org/10.1017/..
 
?
4

Predictive runtime enforcement:

Pinisetty, Srinivas ; Preoteasa, Viorel ; Tripakis, Stavros...
Formal Methods in System Design.  51 (2017)  1 - p. 154-199 , 2017
Link: https://doi.org/10.1007/..
 
?
5

Predictive runtime verification of timed properties:

Pinisetty, Srinivas ; Jéron, Thierry ; Tripakis, Stavros...
Journal of Systems and Software.  132 (2017)  - p. 353-365 , 2017
Link: https://doi.org/10.1016/..
 
?
6

Diagnosability of repairable faults:

Fabre, Eric ; Hélouët, Loïc ; Lefaucheux, Engel.
Discrete Event Dynamic Systems.  28 (2017)  2 - p. 183-213 , 2017
Link: https://doi.org/10.1007/..
 
?
7

Runtime enforcement of regular timed properties by suppress..:

Falcone, Yliès ; Jéron, Thierry ; Marchand, Hervé.
Science of Computer Programming.  123 (2016)  - p. 2-41 , 2016
Link: https://doi.org/10.1016/..
 
?
8

Predictive runtime enforcement:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Pinisetty, Srinivas ; Preoteasa, Viorel ; Tripakis, Stavros... - p. 1628-1633 , 2016
Link: https://dl.acm.org/doi/1..
 
?
9

Enforcement and validation (at runtime) of various notions ..:

Falcone, Yliès ; Marchand, Hervé
Discrete Event Dynamic Systems.  25 (2014)  4 - p. 531-570 , 2014
Link: https://doi.org/10.1007/..
 
?
10

Runtime enforcement of regular timed properties:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
Pinisetty, Srinivas ; Falcone, Yliès ; Jéron, Thierry. - p. 1279-1286 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Diagnosis and opacity problems for infinite state systems m..:

Chédor, Sébastien ; Morvan, Christophe ; Pinchinat, Sophie.
Discrete Event Dynamic Systems.  25 (2014)  1-2 - p. 271-294 , 2014
Link: https://doi.org/10.1007/..
 
?
12

Runtime enforcement of timed properties revisited:

Pinisetty, Srinivas ; Falcone, Yliès ; Jéron, Thierry...
Formal Methods in System Design.  45 (2014)  3 - p. 381-422 , 2014
Link: https://doi.org/10.1007/..
 
?
13

Enforcing opacity of regular predicates on modal transition..:

Darondeau, Philippe ; Marchand, Hervé ; Ricker, Laurie
Discrete Event Dynamic Systems.  25 (2014)  1-2 - p. 251-270 , 2014
Link: https://doi.org/10.1007/..
 
?
14

Diagnosis from scenarios:

Hélouët, Loïc ; Marchand, Hervé ; Genest, Blaise.
Discrete Event Dynamic Systems.  24 (2013)  4 - p. 353-415 , 2013
Link: https://doi.org/10.1007/..
 
?
15

Integrating discrete controller synthesis into a reactive p..:

Delaval, Gwenaël ; Rutten, Eric ; Marchand, Hervé
Discrete Event Dynamic Systems.  23 (2013)  4 - p. 385-418 , 2013
Link: https://doi.org/10.1007/..
 
1-15