logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
H

Hervé Marchand

universite de rennes

28H指数
183论文数
4.0K被引数
收录论文 10
发表时间
logo
Dealing with sensor and actuator deception attacks in supervisory control监控中传感器和执行器欺骗攻击的处理
errAUTOMATICA
IF5.9
err2023-01-01
err15
errOAAI
errMeira-Goes, Romulo; Marchand, Herve; Lafortune, Stephane
err分享
err收藏
Synthesis of Supervisors Robust Against Sensor Deception Attacks
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-10-01
err39
errOAAI
errMeira-Goes, Romulo; Lafortune, Stephane; Marchand, Herve
err分享
err收藏
Predictive runtime verification of timed properties定时属性的预测运行时验证
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2017-10-01
err41
errOAAI
errPinisetty, Srinivas; Jeron, Thierry; Tripakis, Stavros; Falcone, Ylies; Marchand, Herve; Preoteasa, Viorel
err分享
err收藏
Supervisory Control for Opacity
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2010-05-01
err152
errOAAI
errDubreil, Jeremy; Darondeau, Philippe; Marchand, Herve
err分享
err收藏
Supervisory control of modular systems with global specification languages
errAUTOMATICA
IF5.9
err2008-04-01
err16
PREAI
errKomenda, J.; van Schuppen, J. H.; Gaudin, B.; Marchand, H.
err分享
err收藏
Integrating formal verification and conformance testing for reactive systems反应式系统的集成形式验证和一致性测试
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2007-08-01
err32
errOAAI
errConstant, Camille; Jeron, Thierry; Marchand, Herve; Rusu, Vlad
err分享
err收藏
Ensuring the conformance of reactive discrete-event systems by means of supervisory control
errINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
IF7.3
err2007-02-21
err1
errOAAI
errJéron, T; Marchand, H; Rusu, V; Tschaen, V
err分享
err收藏
On optimal control of a class of partially observed discrete event systems关于一类部分观察的离散事件系统的最优控制
errAUTOMATICA
IF5.9
err2002-11-01
err22
errOAAI
errMarchand, H; Boivineau, O; Lafortune, S
err分享
err收藏
Incremental design of a power transformer station controller using a controller synthesis methodology
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2000-01-01
err28
PREAI
errMarchand, H; Samaan, M
err分享
err收藏
Specifying and verifying active vision-based robotic systems with the SIGNAL environment
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err1998-04-01
err4
errOAAI
errMarchand, E; Rutten, E; Marchand, H; Chaumette, F
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Stéphane Lafortune
H 指数: 60 · 论文数: 453
F
François Chaumette
H 指数: 57 · 论文数: 428
S
Stavros Tripakis
H 指数: 47 · 论文数: 275
É
Éric Marchand
H 指数: 41 · 论文数: 388
J
Jan H. van Schuppen
H 指数: 34 · 论文数: 281
查看更多