37 citations · 98 across the 28 of their papers we have counts for
18 papers · 1 filter
Collaborative design of fault diagnosis and fault tolerance control under nested signal temporal logic specifications
Penghong Lu, Gang Chen, Rong Su
Signal Temporal Logic (STL) specifications play a crucial role in defining complex temporal properties and behaviors in safety-critical cyber-physical systems (CPS). However, fault…
Nash equilibrium of multi-agent graphical game with a privacy information encrypted learning algorithm
Kun Zhang, Ji-Feng Zhang, Rong Su +1
This paper studies the global Nash equilibrium problem of leader-follower multi-agent dynamics, which yields consensus with a privacy information encrypted learning algorithm. With…
Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this paper, we consider the problem of synthesis of maximally permissive covert damage-reachable attackers in the setup where the model of the supervisor is unknown to the adver…
Optimal Estimator Design and Properties Analysis for Interconnected Systems with Asymmetric Information Structure
Yan Wang, Junlin Xiong, Zaiyue Yang +1
This paper studies the optimal state estimation problem for interconnected systems. Each subsystem can obtain its own measurement in real time, while, the measurements transmitted…
Privacy-Preserving Co-synthesis Against Sensor-Actuator Eavesdropping Intruder
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this work, we investigate the problem of privacy-preserving supervisory control against an external passive intruder via co-synthesis of dynamic mask, edit function, and supervi…
Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction
Ruochen Tai, Liyong Lin, Yuting Zhu +1
This paper investigates the problem of co-synthesis of edit function and supervisor for opacity enforcement in the supervisory control of discrete-event systems (DES), assuming the…