H. Marchand

Available identifiers

zbMath Open marchand.herveMaRDI QIDQ378901

List of research outcomes

Publication	Date of Publication	Type
Dealing with sensor and actuator deception attacks in supervisory control	2022-12-09	Paper
Synthesis of Supervisors Robust Against Sensor Deception Attacks	2022-02-23	Paper
On the Cost of Diagnosis with Disambiguation	2019-09-17	Paper
Optimal enforcement of (timed) properties with uncontrollable events	2018-12-04	Paper
Diagnosability of repairable faults	2018-10-08	Paper
Predictive runtime enforcement	2017-09-08	Paper
Supervisory Control for Opacity	2017-08-25	Paper
Enforcement of (Timed) Properties with Uncontrollable Events	2016-02-25	Paper
Enforcement and validation (at runtime) of various notions of opacity	2015-12-09	Paper
Enforcing opacity of regular predicates on modal transition systems	2015-06-12	Paper
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems	2015-06-12	Paper
Runtime enforcement of timed properties revisited	2015-01-19	Paper
Diagnosis from scenarios	2014-12-12	Paper
Integrating discrete controller synthesis into a reactive programming language compiler	2013-11-12	Paper
Synthesis of opaque systems with static and dynamic masks	2012-09-27	Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation	2012-07-10	Paper
Decentralized control of infinite systems	2011-11-08	Paper
Dynamic Observers for the Synthesis of Opaque Systems	2009-12-01	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Ensuring the conformance of reactive discrete-event systems by means of supervisory control	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4439585	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4782088	2003-04-24	Paper
On optimal control of a class of partially observed discrete event systems	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4782022	2002-11-27	Paper
Formal verification of programs specified with signal: Application to a power transformer station controller	2001-10-14	Paper
Synthesis of discrete-event controllers based on the signal environment	2001-05-16	Paper
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals	2000-10-18	Paper

Research outcomes over time

This page was built for person: H. Marchand