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-01-01 Liu, R.; Duan, W.; Mangini, A. M.; Fanti, M. P.
Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations
2023-01-01 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-01-01 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-01-01 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
Fault Diagnosis of Labeled Petri Nets Under Attacks Using Integer Linear Programming
2025-01-01 Li, Tengbo; Ren, Huorong; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
K-Corruption Intermittent Attacks for Violating the Codiagnosability
2024-01-01 Liu, Ruotian; Hu, Yihui; Mangini, Agostino Marcello; Fanti, Maria Pia
K-corruption Intermittent Attacks for Violating the Diagnosability
2023-01-01 Liu, Ruotian; Mangini, Agostino Marcello; Fanti, Maria Pia
K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control
2023-01-01 Liu, R.; Duan, W.; Mangini, A. M.; Fanti, M. P.
Modeling and Analysis of Time Dependent Petri Nets
2024-01-01 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-01-01 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
2020-01-01 Liu, Ruotian; Ammour, Rabah; Brenner, Leonardo; Demongodin, Isabel
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications
2024-01-01 Hu, Yihui; Ma, Ziyue; Liu, Ruotian; Fanti, Maria Pia; Li, Zhiwu
Synthesis of Optimal Stealthy Attacks Against Diagnosability in Labeled Petri Nets
2025-01-01 Liu, Ruotian; Mangini, Agostino Marcello; Fanti, Maria Pia