2023
Dealing with sensor and actuator deception attacks in supervisory control.
Autom., 2023
2021
Synthesis of Supervisors Robust Against Sensor Deception Attacks.
IEEE Trans. Autom. Control., 2021
Compositional model checking of an SDN platform.
Proceedings of the 17th International Conference on the Design of Reliable Communication Networks, 2021
2019
Optimal enforcement of (timed) properties with uncontrollable events.
Math. Struct. Comput. Sci., 2019
Towards resilient supervisors against sensor deception attacks.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
Diagnosability of repairable faults.
Discret. Event Dyn. Syst., 2018
Concurrent Secrets with Quantified Suspicion.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018
2017
Predictive runtime verification of timed properties.
J. Syst. Softw., 2017
Predictive runtime enforcement.
Formal Methods Syst. Des., 2017
On the Cost of Diagnosis with Disambiguation.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Logico-numerical control for software components reconfiguration.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017
Contribution to the Analysis of Discrete Event Systems.
, 2017
2016
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program., 2016
Finding the weakest link(s): Coalition games for decentralized discrete-event control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Enforcement and validation (at runtime) of various notions of opacity.
Discret. Event Dyn. Syst., 2015
Enforcing opacity of regular predicates on modal transition systems.
Discret. Event Dyn. Syst., 2015
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.
Discret. Event Dyn. Syst., 2015
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
Proceedings of the Runtime Verification - 6th International Conference, 2015
Enforcement of (Timed) Properties with Uncontrollable Events.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems.
Proceedings of the Distributed Computing and Internet Technology, 2015
Deadlock-free discrete controller synthesis for infinite state systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
2014
Symbolic Supervisory Control of Distributed Systems With Communications.
IEEE Trans. Autom. Control., 2014
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des., 2014
Diagnosis from scenarios.
Discret. Event Dyn. Syst., 2014
Runtime Enforcement of Parametric Timed Properties with Practical Applications.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Discrete Controller Synthesis for Infinite State Systems with ReaX.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Runtime enforcement of regular timed properties.
Proceedings of the Symposium on Applied Computing, 2014
2013
Integrating discrete controller synthesis into a reactive programming language compiler.
Discret. Event Dyn. Syst., 2013
Discrete control of computing systems administration: A programming language supported approach.
Proceedings of the 12th European Control Conference, 2013
Runtime enforcement of K-step opacity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
A parity-based architecture for decentralized discrete-event control.
Proceedings of the American Control Conference, 2013
2012
More testable properties.
Int. J. Softw. Tools Technol. Transf., 2012
Synthesis of opaque systems with static and dynamic masks.
Formal Methods Syst. Des., 2012
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Discret. Event Dyn. Syst., 2012
Analysis of partially observed recursive tile systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Runtime Enforcement of Timed Properties.
Proceedings of the Runtime Verification, Third International Conference, 2012
2011
Decentralized Control of Infinite Systems.
Discret. Event Dyn. Syst., 2011
Polychronous controller synthesis from MARTE CCSL timing specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
Abstracting Time and Data for Conformance Testing of Real-Time Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Global State Estimates for Distributed Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2011
Synthesis of communicating controllers for distributed systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Supervisory Control for Opacity.
IEEE Trans. Autom. Control., 2010
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Supervisory control for modal specifications of services.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Contracts for modular discrete controller synthesis.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010
2009
Automatic generation of safe handlers for multi-task systems.
J. Embed. Comput., 2009
Automatic Testing of Access Control for Security Properties.
Proceedings of the Testing of Software and Communication Systems, 2009
Control of infinite Symbolic Transition Systems under partial observation.
Proceedings of the 10th European Control Conference, 2009
Monitoring confidentiality by diagnosis techniques.
Proceedings of the 10th European Control Conference, 2009
Dynamic Observers for the Synthesis of Opaque Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Supervisory control of modular systems with global specification languages.
Autom., 2008
2007
Integrating formal verification and conformance testing for reactive systems.
IEEE Trans. Software Eng., 2007
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.
Discret. Event Dyn. Syst., 2007
2006
Contrôle de systèmes symboliques, discrets ou hybrides.
Tech. Sci. Informatiques, 2006
Symbolic Determinisation of Extended Automata.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006
2005
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.
Proceedings of the FM 2005: Formal Methods, 2005
Modular Supervisory Control with General Indecomposable Specification Languages.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach.
Proceedings of the Intelligent Control, 2005
2004
Supervisory Control of Product and Hierarchical Discrete Event Systems.
Eur. J. Control, 2004
From Safety Verification to Safety Testing.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
2003
Test Cases Generation for Nondeterministic Real-Time Systems.
Proceedings of the Formal Approaches to Software Testing, 2003
Modular supervisory control of asynchronous and hierarchical finite state machines.
Proceedings of the 7th European Control Conference, 2003
Ensuring the conformance of reactive discrete-event systems using supervisory control.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
On optimal control of a class of partially observed discrete event systems.
Autom., 2002
A case study in applying discrete control synthesis to excavator operation.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002
Supervisory control problems of hierarchical finite state machines.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Formal verification of programs specified with signal: application to a power transformer station controller.
Sci. Comput. Program., 2001
Optimal control of discrete event systems under partial observation.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
IEEE Trans. Software Eng., 2000
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.
SIAM J. Control. Optim., 2000
Synthesis of Discrete-Event Controllers Based on the Signal Environment.
Discret. Event Dyn. Syst., 2000
Supervisory control problem using symbolic bisimulation techniques.
Proceedings of the American Control Conference, 2000
1998
Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment.
Int. J. Robotics Res., 1998
A design environment for discrete-event controllers based on the SIGNAL language.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1996
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995