Hervé 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hervé Marchand