The following pages link to Hervé Marchand (Q378901):
Displaying 29 items.
- (Q210006) (redirect page) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Diagnosis from scenarios (Q481349) (← links)
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Synthesis of discrete-event controllers based on the signal environment (Q1592441) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- On optimal control of a class of partially observed discrete event systems (Q1858865) (← links)
- Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- Predictive runtime enforcement (Q2402553) (← links)
- Enforcement of (Timed) Properties with Uncontrollable Events (Q2787448) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- (Q4439585) (← links)
- On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals (Q4507466) (← links)
- Optimal enforcement of (timed) properties with uncontrollable events (Q4559604) (← links)
- Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279) (← links)
- (Q4782022) (← links)
- (Q4782088) (← links)
- Supervisory Control for Opacity (Q4978803) (← links)
- Synthesis of Supervisors Robust Against Sensor Deception Attacks (Q5036261) (← links)
- On the Cost of Diagnosis with Disambiguation (Q5194928) (← links)
- FM 2005: Formal Methods (Q5716876) (← links)
- Formal Approaches to Software Testing (Q5902015) (← links)
- Formal verification of programs specified with signal: Application to a power transformer station controller (Q5946571) (← links)