Edit Profile (opens in new tab) Marchand, Hervé Co-Author Distance Author ID: marchand.herve Published as: Marchand, Hervé; Marchand, H. Documents Indexed: 30 Publications since 2000 Co-Authors: 38 Co-Authors with 28 Joint Publications 557 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Jéron, Thierry 5 Falcone, Yliès 4 Lafortune, Stéphane 3 Dubreil, Jérémy 3 Hélouët, Loïc 3 Le Borgne, Michel 3 Le Guernic, Paul 3 Pinisetty, Srinivas 3 Rollet, Antoine 2 Boivineau, Olivier 2 Bournai, Patricia 2 Cassez, Franck 2 Darondeau, Philippe 2 Gaudin, Benoit 2 Kalyon, Gabriel 2 Le Gall, Tristan 2 Massart, Thierry Jacques 2 Meira-Góes, Rômulo 2 Pinchinat, Sophie 2 Renard, Matthieu 2 Rusu, Vlad 2 Rutten, Eric 2 Tripakis, Stavros 1 Benveniste, Albert 1 Caspi, Paul 1 Chédor, Sébastien 1 Delaval, Gwenaël 1 Fabre, Eric 1 Gazagnaire, Thomas 1 Genest, Blaise 1 Khoumsi, Ahmed 1 Komenda, Jan 1 Lefaucheux, Engel 1 Morvan, Christophe 1 Nguena Timo, Omer 1 Preoteasa, Viorel 1 Ricker, Laurie 1 Samaan, Morcos F. 1 Talpin, Jean-Pierre 1 Tschaen, Valéry 1 van Schuppen, Jan H. all top 5 Serials 9 Discrete Event Dynamic Systems 3 Automatica 3 Formal Methods in System Design 2 IEEE Transactions on Automatic Control 1 SIAM Journal on Control and Optimization 1 Science of Computer Programming 1 International Journal of Production Research 1 MSCS. Mathematical Structures in Computer Science 1 European Journal of Control Fields 17 Systems theory; control (93-XX) 15 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 161 times in 98 Documents Cited by ▼ Year ▼ Supervisory control for opacity. Zbl 1368.93372Dubreil, Jérémy; Darondeau, Philippe; Marchand, Hervé 32 2010 Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 24 2012 Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143Falcone, Yliès; Marchand, Hervé 18 2015 Supervisory control of modular systems with global specification languages. Zbl 1283.93011Komenda, J.; van Schuppen, J. H.; Gaudin, B.; Marchand, H. 15 2008 Runtime enforcement of timed properties revisited. Zbl 1314.68102Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Rollet, Antoine; Nguena Timo, Omer 14 2014 Supervisory control of product and hierarchical discrete event systems. Zbl 1293.93037Gaudin, B.; Marchand, H. 12 2004 Dynamic observers for the synthesis of opaque systems. Zbl 1262.68107Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 7 2009 Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709Meira-Góes, Rômulo; Lafortune, Stéphane; Marchand, Hervé 7 2021 On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 6 2002 Synthesis of discrete-event controllers based on the signal environment. Zbl 0960.93520Marchand, Hervé; Bournai, Patricia; Le Borgne, Michel; Le Guernic, Paul 5 2000 Enforcing opacity of regular predicates on modal transition systems. Zbl 1320.68126Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie 5 2015 Diagnosis from scenarios. Zbl 1302.93147Hélouët, Loïc; Marchand, Hervé; Genest, Blaise; Gazagnaire, Thomas 4 2014 Predictive runtime enforcement. Zbl 1370.68207Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé 4 2017 On the synthesis of optimal schedulers in discrete event control problems with multiple goals. Zbl 0964.93066Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 4 2000 Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Zbl 1328.93166Chédor, Sébastien; Morvan, Christophe; Pinchinat, Sophie; Marchand, Hervé 4 2015 A protocol for loosely time-triggered architectures. Zbl 1027.68762Benveniste, Albert; Caspi, Paul; Le Guernic, Paul; Marchand, Hervé; Talpin, Jean-Pierre; Tripakis, Stavros 4 2002 Test cases generation for nondeterministic real-time systems. Zbl 1185.68415Khoumsi, Ahmed; Jéron, Thierry; Marchand, Hervé 4 2004 Integrating discrete controller synthesis into a reactive programming language compiler. Zbl 1273.93111Delaval, Gwenaël; Rutten, Eric; Marchand, Hervé 3 2013 Diagnosability of repairable faults. Zbl 1398.93214Fabre, Eric; Hélouët, Loïc; Lefaucheux, Engel; Marchand, Hervé 3 2018 Formal verification of programs specified with signal: Application to a power transformer station controller. Zbl 0983.68125Marchand, H.; Rutten, E.; Le Borgne, M.; Samaan, M. 3 2001 Optimal enforcement of (timed) properties with uncontrollable events. Zbl 1407.68299Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Jéron, Thierry; Marchand, Hervé 2 2019 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Ensuring the conformance of reactive discrete-event systems by means of supervisory control. Zbl 1152.93425Jéron, Thierry; Marchand, Hervé; Rusu, Vlad; Tschaen, Valéry 2 2004 Enforcement of (timed) properties with uncontrollable events. Zbl 1407.68300Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, Hervé 2 2015 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Automatic verification and conformance testing for validating safety properties of reactive systems. Zbl 1120.68420Rusu, Vlad; Marchand, Hervé; Jéron, Thierry 1 2005 Synthesis of supervisors robust against sensor deception attacks. Zbl 07479709Meira-Góes, Rômulo; Lafortune, Stéphane; Marchand, Hervé 7 2021 Optimal enforcement of (timed) properties with uncontrollable events. Zbl 1407.68299Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Jéron, Thierry; Marchand, Hervé 2 2019 Diagnosability of repairable faults. Zbl 1398.93214Fabre, Eric; Hélouët, Loïc; Lefaucheux, Engel; Marchand, Hervé 3 2018 Predictive runtime enforcement. Zbl 1370.68207Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé 4 2017 Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143Falcone, Yliès; Marchand, Hervé 18 2015 Enforcing opacity of regular predicates on modal transition systems. Zbl 1320.68126Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie 5 2015 Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Zbl 1328.93166Chédor, Sébastien; Morvan, Christophe; Pinchinat, Sophie; Marchand, Hervé 4 2015 Enforcement of (timed) properties with uncontrollable events. Zbl 1407.68300Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, Hervé 2 2015 Runtime enforcement of timed properties revisited. Zbl 1314.68102Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Rollet, Antoine; Nguena Timo, Omer 14 2014 Diagnosis from scenarios. Zbl 1302.93147Hélouët, Loïc; Marchand, Hervé; Genest, Blaise; Gazagnaire, Thomas 4 2014 Integrating discrete controller synthesis into a reactive programming language compiler. Zbl 1273.93111Delaval, Gwenaël; Rutten, Eric; Marchand, Hervé 3 2013 Synthesis of opaque systems with static and dynamic masks. Zbl 1247.68161Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 24 2012 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Supervisory control for opacity. Zbl 1368.93372Dubreil, Jérémy; Darondeau, Philippe; Marchand, Hervé 32 2010 Dynamic observers for the synthesis of opaque systems. Zbl 1262.68107Cassez, Franck; Dubreil, Jérémy; Marchand, Hervé 7 2009 Supervisory control of modular systems with global specification languages. Zbl 1283.93011Komenda, J.; van Schuppen, J. H.; Gaudin, B.; Marchand, H. 15 2008 Automatic verification and conformance testing for validating safety properties of reactive systems. Zbl 1120.68420Rusu, Vlad; Marchand, Hervé; Jéron, Thierry 1 2005 Supervisory control of product and hierarchical discrete event systems. Zbl 1293.93037Gaudin, B.; Marchand, H. 12 2004 Test cases generation for nondeterministic real-time systems. Zbl 1185.68415Khoumsi, Ahmed; Jéron, Thierry; Marchand, Hervé 4 2004 Ensuring the conformance of reactive discrete-event systems by means of supervisory control. Zbl 1152.93425Jéron, Thierry; Marchand, Hervé; Rusu, Vlad; Tschaen, Valéry 2 2004 On optimal control of a class of partially observed discrete event systems. Zbl 1011.93069Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 6 2002 A protocol for loosely time-triggered architectures. Zbl 1027.68762Benveniste, Albert; Caspi, Paul; Le Guernic, Paul; Marchand, Hervé; Talpin, Jean-Pierre; Tripakis, Stavros 4 2002 Formal verification of programs specified with signal: Application to a power transformer station controller. Zbl 0983.68125Marchand, H.; Rutten, E.; Le Borgne, M.; Samaan, M. 3 2001 Synthesis of discrete-event controllers based on the signal environment. Zbl 0960.93520Marchand, Hervé; Bournai, Patricia; Le Borgne, Michel; Le Guernic, Paul 5 2000 On the synthesis of optimal schedulers in discrete event control problems with multiple goals. Zbl 0964.93066Marchand, Hervé; Boivineau, Olivier; Lafortune, Stéphane 4 2000 all cited Publications top 5 cited Publications all top 5 Cited by 188 Authors 13 Lafortune, Stéphane 13 Marchand, Hervé 8 Su, Rong 7 Yin, Xiang 6 Falcone, Yliès 5 Li, Zhiwu 4 Giua, Alessandro 4 Jéron, Thierry 4 Lin, Feng 4 Lin, Liyong 4 Talpin, Jean-Pierre 4 Wu, Yi-Chin 3 Cassez, Franck 3 Le Guernic, Paul 3 Liu, Rongjian 3 Lu, Jianquan 3 Masopust, Tomáš 3 Meira-Góes, Rômulo 3 Pinisetty, Srinivas 3 Rollet, Antoine 3 Rutten, Eric 3 Tai, Ruochen 3 Tripakis, Stavros 2 Abujarad, Fuad 2 Balun, Jiří 2 Basilio, João Carlos 2 Bonakdarpour, Borzoo 2 Cai, Kai 2 Cai, Kaiyuan 2 Chen, Zengqiang 2 Dubreil, Jérémy 2 Gautier, Thierry 2 Gazagnaire, Thomas 2 Hélouët, Loïc 2 Ji, Yiding 2 Krichen, Moez 2 Kulkarni, Sandeep S. 2 Li, Shaoyuan 2 Mei, Liujuan 2 Renard, Matthieu 2 Rudie, Karen 2 Schmidt, Klaus Werner 2 Seatzu, Carla 2 Tong, Yin 2 Wang, Fei 2 Wang, Weilin 2 Zhang, Kuize 2 Zhang, Renyuan 2 Zhu, Yuting 1 Alves, Michel R. C. 1 An, Liwei 1 Arbab, Farhad 1 Barcelos, Raphael Julio 1 Bartocci, Ezio 1 Benattar, Gilles 1 Beneš, Nikola 1 Bérard, Béatrice 1 Berthier, Nicolas 1 Bertrand, Nathalie 1 Besnard, Loïc 1 Bittner, Benjamin 1 Blischke, Matthew 1 Boel, René K. 1 Boivineau, Olivier 1 Bordbar, Behzad 1 Boussif, Abderraouf 1 Bozzano, Marco 1 Breindl, Christian 1 Brucker, Achim D. 1 Brunette, Christian 1 Carloni, Luca P. 1 Chatterjee, Krishnendu 1 Chédor, Sébastien 1 Chen, Qijun 1 Chen, Wen 1 Cho, Hyoun Kyu 1 Chothia, Tom 1 Cimatti, Alessandro 1 Coenen, Norine 1 Darondeau, Philippe 1 de Boer, Frank S. 1 De Santis, Elena 1 Delaval, Gwenaël 1 Deng, Weilin 1 Di Benedetto, Maria Domenica 1 Dziong, Zbigniew 1 El-Hokayem, Antoine 1 Fahrenberg, Uli 1 Finkbeiner, Bernd 1 Francalanza, Adrian 1 Gamatié, Abdoulaye 1 Gario, Marco 1 Genest, Blaise 1 Ghazel, Mohamed 1 Girault, Alain 1 Gupta, Rajesh Kumar 1 Hahn, Christopher 1 Hamgini, Behnam Behinaein 1 Han, Xiaoguang 1 Hespanha, João Pedro ...and 88 more Authors all top 5 Cited in 26 Serials 29 Automatica 21 Discrete Event Dynamic Systems 9 Formal Methods in System Design 3 International Journal of Control 3 Information Sciences 2 Information and Computation 2 Formal Aspects of Computing 2 Distributed Computing 2 European Journal of Control 1 Acta Informatica 1 Artificial Intelligence 1 International Journal of Systems Science 1 Information Processing Letters 1 SIAM Journal on Control and Optimization 1 Systems & Control Letters 1 Science of Computer Programming 1 Circuits, Systems, and Signal Processing 1 International Journal of Parallel Programming 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Archives of Control Sciences 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Nonlinear Analysis. Hybrid Systems 1 Dynamic Games and Applications 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 68 Systems theory; control (93-XX) 54 Computer science (68-XX) 6 Operations research, mathematical programming (90-XX) 6 Information and communication theory, circuits (94-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year