Sfoglia per Autore
Distributed tracking of graph parameters in anonymous networks with time-varying topology
2021-01-01 Deplano, D; Franceschelli, M; Giua, A
Verification of detectability for unambiguous weighted automata
2021-01-01 Lai, A.; Lahaye, S.; Giua, A.
Joint state estimation under attack of discrete event systems
2021-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Comments on “A new approach for the verification of infinite-step and K-step opacity using two-way observers” [Automatica 80 (2017) 162–171]
2020-01-01 Lan, H.; Tong, Y.; Guo, J.; Giua, A.
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems
2020-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
On detectability of labeled Petri nets and finite automata
2020-01-01 Zhang, K.; Giua, A.
A region-based approach for state estimation of timed automata under no event observation
2020-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories
2020-01-01 Deplano, Diego; Franceschelli, Mauro; Ware, Simon; Rong, Su; Giua, Alessandro
Detection and Prevention of Cyber-Attacks in Networked Control Systems
2020-01-01 Li, Y.; Tong, Y.; Giua, A.
Containment of rumor spread in complex social networks
2020-01-01 Yang, Lan; Li, Zhiwu; Giua, Alessandro
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
2020-01-01 Giua, A.; Lafortune, S.; Seatzu, C.
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
2020-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Probabilistic verification of attack detection using logical observer
2020-01-01 Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; Giua, A.
Marking estimation in a class of time labelled petri nets
2020-01-01 Ma, Ziyue; Li, Zhiwu; Giua, Alessandro
Instant detectability of discrete-event systems
2020-01-01 Zhang, K.; Giua, A.
Analysis of Behavioural Properties of Bounded Petri Nets with a Semi-Structural Approach
2020-01-01 Gu, C.; Li, Z.; Giua, A.
Computation of admissible marking sets in weighted synchronization-free petri nets by dynamic programming
2020-01-01 Ma, Z.; Zhu, G.; Li, Z.; Giua, A.
Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”
2019-01-01 Wu, C.; Demongodin, I.; Giua, A.
A two-step approach for fault diagnosis of max-plus automata
2019-01-01 Lai, A.; Lahaye, S.; Giua, A.
Rumor containment by spreading correct information in social networks
2019-01-01 Yang, L.; Li, Z.; Giua, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile