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
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, Y.; Ma, Z.; Liu, R.; Fanti, M. P.; Li, Z.