H. Marchand

From MaRDI portal
Person:378901

Available identifiers

zbMath Open marchand.herveMaRDI QIDQ378901

List of research outcomes





PublicationDate of PublicationType
Dealing with sensor and actuator deception attacks in supervisory control2022-12-09Paper
Synthesis of Supervisors Robust Against Sensor Deception Attacks2022-02-23Paper
On the Cost of Diagnosis with Disambiguation2019-09-17Paper
Optimal enforcement of (timed) properties with uncontrollable events2018-12-04Paper
Diagnosability of repairable faults2018-10-08Paper
Predictive runtime enforcement2017-09-08Paper
Supervisory Control for Opacity2017-08-25Paper
Enforcement of (Timed) Properties with Uncontrollable Events2016-02-25Paper
Enforcement and validation (at runtime) of various notions of opacity2015-12-09Paper
Enforcing opacity of regular predicates on modal transition systems2015-06-12Paper
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems2015-06-12Paper
Runtime enforcement of timed properties revisited2015-01-19Paper
Diagnosis from scenarios2014-12-12Paper
Integrating discrete controller synthesis into a reactive programming language compiler2013-11-12Paper
Synthesis of opaque systems with static and dynamic masks2012-09-27Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation2012-07-10Paper
Decentralized control of infinite systems2011-11-08Paper
Dynamic Observers for the Synthesis of Opaque Systems2009-12-01Paper
Formal Approaches to Software Testing2009-06-04Paper
FM 2005: Formal Methods2006-01-10Paper
Ensuring the conformance of reactive discrete-event systems by means of supervisory control2005-04-26Paper
https://portal.mardi4nfdi.de/entity/Q44395852003-12-14Paper
https://portal.mardi4nfdi.de/entity/Q47820882003-04-24Paper
On optimal control of a class of partially observed discrete event systems2003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q47820222002-11-27Paper
Formal verification of programs specified with signal: Application to a power transformer station controller2001-10-14Paper
Synthesis of discrete-event controllers based on the signal environment2001-05-16Paper
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals2000-10-18Paper

Research outcomes over time

This page was built for person: H. Marchand