| Publication | Date of Publication | Type |
|---|
| Synthesis of distributed covert sensor-actuator attackers | 2025-01-21 | Paper |
| Distributed cooperative control and optimization of connected automated vehicles platoon against cut-in behaviors of social drivers | 2025-01-21 | Paper |
| Event-triggered privacy-preserving consensus control with edge-based additive noise | 2025-01-21 | Paper |
| Supervisory control of time-interval discrete event systems | 2024-08-16 | Paper |
| Infinite horizon optimal LQG control of interconnected systems with application to multiarea power systems | 2024-08-16 | Paper |
| On decidability of existence of fortified supervisors against covert actuator attackers | 2024-07-21 | Paper |
| An ellipsoid‐based framework for fault estimation and remaining useful life prognosis | 2024-03-12 | Paper |
| Decentralized Circular Formation Control of Nonholonomic Mobile Robots Under a Directed Sensor Graph | 2023-10-02 | Paper |
| Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations | 2023-10-02 | Paper |
| On decidability of existence of nonblocking supervisors resilient to smart sensor attacks | 2023-07-24 | Paper |
| A language-based diagnosis framework for permanent and intermittent faults | 2023-07-24 | Paper |
| Synthesis of optimal covert sensor-actuator attackers for discrete-event systems | 2023-06-30 | Paper |
| Overview of networked supervisory control with imperfect communication channels | 2023-06-26 | Paper |
| Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder | 2023-06-22 | Paper |
| A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology | 2023-01-31 | Paper |
| Observation-assisted heuristic synthesis of covert attackers against unknown supervisors | 2022-10-12 | Paper |
| Mathematical modelling and heuristic approaches to job-shop scheduling problem with conveyor-based continuous flow transporters | 2022-09-27 | Paper |
| Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis | 2022-07-05 | Paper |
| Interpretable fault diagnosis with shapelet temporal logic: theory and application | 2022-07-05 | Paper |
| A new modeling framework for networked discrete-event systems | 2022-04-08 | Paper |
| Optimal control of interconnected systems with time-correlated noises: application to vehicle platoon | 2022-01-31 | Paper |
| Synthesis of covert actuator and sensor attackers | 2021-11-19 | Paper |
| Continuous-time model identification: application on a behavioural (miLife) study | 2021-11-16 | Paper |
| Synthesis of covert actuator attackers for free | 2021-01-22 | Paper |
| Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions | 2020-01-28 | Paper |
| Differential graphical games for H∞ control of linear heterogeneous multiagent systems | 2019-07-19 | Paper |
| Model Checking in Isomorphic Module Systems | 2019-03-28 | Paper |
| Automatic Generation of Optimal Reductions of Distributions | 2019-03-28 | Paper |
| Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems | 2019-02-27 | Paper |
| What information really matters in supervisor reduction? | 2018-11-21 | Paper |
| Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations | 2018-10-17 | Paper |
| H∞‐output regulation of linear heterogeneous multiagent systems over switching graphs | 2018-09-21 | Paper |
| A Method for Quickly Bounding the Optimal Objective Value of an OPF Problem using a Semidefinite Relaxation and a Local Solution | 2018-08-14 | Paper |
| Multiparty Consensus of Linear Heterogeneous Multiagent Systems | 2018-06-27 | Paper |
| Reduction of Distributions: Definitions, Properties, and Applications | 2018-06-27 | Paper |
| Self-repairing control of a helicopter with input time delay via adaptive global sliding mode control and quantum logic | 2018-05-17 | Paper |
| Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates | 2018-01-23 | Paper |
| Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates | 2017-10-11 | Paper |
| Heterogeneous consensus of higher‐order multi‐agent systems with mismatched uncertainties using sliding mode control | 2017-10-04 | Paper |
| Bipartite and cooperative output synchronizations of linear heterogeneous agents: a unified framework | 2017-09-28 | Paper |
| The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces | 2017-09-08 | Paper |
| Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis | 2017-08-25 | Paper |
| Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction | 2017-08-25 | Paper |
| Distributed Trace Estimation Under Timing Mismatch and Channel Distortion | 2017-08-08 | Paper |
| Global and local consistencies in distributed fault diagnosis for discrete-event systems | 2017-07-12 | Paper |
| A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages | 2017-05-16 | Paper |
| A pedestrian hopping model and traffic light scheduling for pedestrian-vehicle mixed-flow networks | 2017-05-15 | Paper |
| Modelling and Traffic Signal Control of Heterogeneous Traffic Systems | 2017-05-10 | Paper |
| On Distributed and Parameterized Supervisor Synthesis Problems | 2017-05-03 | Paper |
| A weighted pair graph representation for reconstructibility of Boolean control networks | 2016-11-18 | Paper |
| Output regulation of heterogeneous linear multi-agent systems with differential graphical game | 2016-08-30 | Paper |
| Output regulation of linear heterogeneous multi-agent systems via output and state feedback | 2016-03-11 | Paper |
| Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition | 2015-06-25 | Paper |
| On the complexity of synthesizing a minimum-weighted supervisor under partial observation | 2014-10-08 | Paper |
| Spectra of unbounded \(2\times2\) upper triangular operator matrices | 2013-07-10 | Paper |
| Application of supervisory control theory to theme park vehicles | 2013-07-09 | Paper |
| Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems | 2012-08-27 | Paper |
| String execution time for finite languages: max is easy, min is hard | 2011-10-27 | Paper |
| Nonconflict check by using sequential automaton abstractions based on weak observation equivalence | 2010-06-17 | Paper |
| Hierarchical fault diagnosis for discrete-event systems under global consistency | 2006-11-17 | Paper |
| Supervisor reduction for discrete-event systems | 2004-03-15 | Paper |
