Liu, Ruotian

Liu, Ruotian  

Dipartimento di Ingegneria Elettrica e dell'Informazione  

Ricercatori a tempo determinato  

0009-0000-1823-1542

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autori File
A survey on performance evaluations in time-dependent Petri nets 1-gen-2026 Fanti, Maria PiaLiu, Ruotian +
Attack Synthesis in Discrete Event Systems under Asymmetric Observation Setting 1-gen-2024 Liu, RuotianDuan, WeiMangini, Agostino MarcelloFanti, Maria Pia
Deep Reinforcement Learning for Near-Optimal Control Sequence in Discrete Event Systems 1-gen-2026 Liu, RuotianMangini, Agostino MarcelloFanti, Maria Pia
Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations 1-gen-2023 Liu, RuotianFanti, Maria Pia +
Event-driven control for reaching a steady state in controlled Generalized Batches Petri Nets 1-gen-2020 Liu, Ruotian +
Event-driven control of hybrid systems using Batches Petri nets: Application to high throughput manufacturing systems 1-gen-2025 Ruotian Liu +
Fault Diagnosis of Labeled Petri Nets Under Attacks Using Integer Linear Programming 1-gen-2025 Ruotian LiuMaria Pia Fanti +
K-Corruption Intermittent Attacks for Violating the Codiagnosability 1-gen-2025 Ruotian LiuAgostino Marcello ManginiMaria Pia Fanti +
K-corruption Intermittent Attacks for Violating the Diagnosability 1-gen-2023 Liu, RuotianMangini, Agostino MarcelloFanti, Maria Pia
K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control 1-gen-2023 Liu R.Mangini A. M.Fanti M. P. +
Modeling and Analysis of Dual-Time Petri Nets with Application to Semiconductor Manufacturing Systems 1-gen-2025 Ruotian LiuMaria Pia Fanti +
Modeling and Analysis of Time Dependent Petri Nets 1-gen-2024 Liu, RuotianFanti, Maria Pia +
On Diagnosability Consistency of Composed Labeled Petri Nets via Buffer Places 1-gen-2026 Liu, RuotianMarcello Mangini, AgostinoFanti, Maria Pia +
ON/OFF control for reaching a steady state attractive region in batches Petri nets 1-gen-2023 Liu, Ruotian +
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets 1-gen-2020 Liu, Ruotian +
Online Opacity Verification of Networked Discrete Event Systems Modeled With Labeled Petri Nets 1-gen-2025 Liu, RuotianFanti, Maria Pia +
Optimal Attack Strategy Compromising Diagnosability of Automated Manufacturing Systems in Labeled Petri Nets 1-gen-2025 Liu, RuotianMangini, Agostino MarcelloFanti, Maria Pia
Optimal Sensor Selection for $K$-Step Prognosability Verification and Enforcement of Unbounded Petri Nets 1-gen-2026 Liu, RuotianFanti, Maria Pia +
Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems 1-gen-2026 Mangini, Agostino MarcelloLiu, RuotianDuan, WeiFanti, Maria Pia +
Robust Fault Diagnosis of Networked Discrete Event Systems Using Labeled Petri Nets 1-gen-2025 Ruotian LiuMaria Pia Fanti +