Ruochen Tai

MaRDI QIDQ2081086zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Set-theoretic safety control with formal guarantees for uncertain linear systems under sensor attacks International Journal of Robust and Nonlinear Control	2026-07-29	Paper
Security verification against covert learning attackers Automatica	2025-05-23	Paper
Synthesis of distributed covert sensor-actuator attackers IEEE Transactions on Automatic Control	2025-01-21	Paper
On decidability of existence of fortified supervisors against covert actuator attackers IEEE Transactions on Automatic Control	2024-07-21	Paper
Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations IEEE Transactions on Automatic Control	2023-10-02	Paper
Synthesis of optimal covert sensor-actuator attackers for discrete-event systems Automatica	2023-06-30	Paper
Overview of networked supervisory control with imperfect communication channels Discrete Event Dynamic Systems	2023-06-26	Paper
Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder Automatica	2023-06-22	Paper
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors Discrete Event Dynamic Systems	2022-10-12	Paper
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis Automatica	2022-07-05	Paper
A new modeling framework for networked discrete-event systems Automatica	2022-04-08	Paper

Research outcomes over time

This page was built for person: Ruochen Tai