| Publication | Date of Publication | Type |
|---|
Dealing with sensor and actuator deception attacks in supervisory control
Automatica | 2022-12-09 | Paper |
Synthesis of Supervisors Robust Against Sensor Deception Attacks
IEEE Transactions on Automatic Control | 2022-02-23 | Paper |
On the cost of diagnosis with disambiguation
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
Optimal enforcement of (timed) properties with uncontrollable events
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
Diagnosability of repairable faults
Discrete Event Dynamic Systems | 2018-10-08 | Paper |
Predictive runtime enforcement
Formal Methods in System Design | 2017-09-08 | Paper |
Supervisory Control for Opacity
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Enforcement of (timed) properties with uncontrollable events
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Enforcement and validation (at runtime) of various notions of opacity
Discrete Event Dynamic Systems | 2015-12-09 | Paper |
Enforcing opacity of regular predicates on modal transition systems
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Runtime enforcement of timed properties revisited
Formal Methods in System Design | 2015-01-19 | Paper |
Diagnosis from scenarios
Discrete Event Dynamic Systems | 2014-12-12 | Paper |
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems | 2013-11-12 | Paper |
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design | 2012-09-27 | Paper |
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
Discrete Event Dynamic Systems | 2012-07-10 | Paper |
Decentralized control of infinite systems
Discrete Event Dynamic Systems | 2011-11-08 | Paper |
Dynamic Observers for the Synthesis of Opaque Systems
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2009-06-04 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Ensuring the conformance of reactive discrete-event systems by means of supervisory control
International Journal of Production Research | 2005-04-26 | Paper |
| scientific article; zbMATH DE number 2017355 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1836403 (Why is no real title available?) | 2003-04-24 | Paper |
On optimal control of a class of partially observed discrete event systems
Automatica | 2003-02-17 | Paper |
| scientific article; zbMATH DE number 1836353 (Why is no real title available?) | 2002-11-27 | Paper |
Formal verification of programs specified with signal: Application to a power transformer station controller
Science of Computer Programming | 2001-10-14 | Paper |
Synthesis of discrete-event controllers based on the signal environment
Discrete Event Dynamic Systems | 2001-05-16 | Paper |
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
SIAM Journal on Control and Optimization | 2000-10-18 | Paper |
