Liu, Ruotian
Liu, Ruotian
Dipartimento di Ingegneria Elettrica e dell'Informazione
Ricercatori a tempo determinato
0009-0000-1823-1542
Attack Synthesis in Discrete Event Systems under Asymmetric Observation Setting
2024 Liu, Ruotian; Duan, Wei; Mangini, Agostino Marcello; Fanti, Maria Pia
Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations
2023 Duan, Wei; Liu, Ruotian; Fanti, Maria Pia; Hadjicostis, Christoforos N.; Li, Zhiwu
Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets
2020 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
Event-driven control of hybrid systems using Batches Petri nets: Application to high throughput manufacturing systems
2025 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
Fault Diagnosis of Labeled Petri Nets Under Attacks Using Integer Linear Programming
2025 Li, Tengbo; Ren, Huorong; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
K-Corruption Intermittent Attacks for Violating the Codiagnosability
2025 Liu, Ruotian; Hu, Yihui; Mangini, Agostino Marcello; Fanti, Maria Pia
K-corruption Intermittent Attacks for Violating the Diagnosability
2023 Liu, Ruotian; Mangini, Agostino Marcello; Fanti, Maria Pia
K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control
2023 Liu, R.; Duan, W.; Mangini, A. M.; Fanti, M. P.
Modeling and Analysis of Dual-Time Petri Nets with Application to Semiconductor Manufacturing Systems
2025 Zhang, Shu; Liu, Ruotian; Chen, Yufeng; Fanti, Maria Pia; Li, Zhiwu
Modeling and Analysis of Time Dependent Petri Nets
2024 Zhang, Shu; Liu, Ruotian; Chen, Yufeng; Cong, Xuya; Fanti, Maria Pia
ON/OFF control for reaching a steady state attractive region in batches Petri nets
2023 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
2020 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
Online Opacity Verification of Networked Discrete Event Systems Modeled With Labeled Petri Nets
2025 Li, Tengbo; Ren, Huorong; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
Optimal Attack Strategy Compromising Diagnosability of Automated Manufacturing Systems in Labeled Petri Nets
2025 Liu, Ruotian; Mangini, Agostino Marcello; Fanti, Maria Pia
Robust Fault Diagnosis of Networked Discrete Event Systems Using Labeled Petri Nets
2025 Hu, Yihui; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications
2024 Hu, Yihui; Ma, Ziyue; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
Synthesis of Optimal Stealthy Attacks Against Diagnosability in Labeled Petri Nets
2025 Liu, Ruotian; Mangini, Agostino Marcello; Fanti, Maria Pia