Sfoglia per Autore
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
In corso di stampa Deplano, D.; Franceschelli, M.; Giua, A.
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
2023-01-01 Li, Y.; Tong, Y.; Demuro, M.; Giua, A.
Rumor Containment by Blocking Nodes in Social Networks
2023-01-01 Yang, L.; Ma, Z.; Li, Z.; Giua, A.
Discrete-Time Dynamic Consensus on the Max Value
2022-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker
2022-01-01 Tong, Y; Wang, Yc; Giua, A
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
2022-01-01 Cui, B.; Yin, X.; Li, S.; Giua, A.
Sensor and Actuator Attacks in Discrete Event Systems
2022-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs
2022-01-01 Gu, C; Ma, Zy; Li, Zw; Giua, A
Dynamic max-consensus with local self-tuning
2022-01-01 Deplano, D; Franceschelli, M; Giua, A
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems
2022-01-01 Pilloni, A.; Deplano, D.; Giua, A.; Usai, E.
Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
2022-01-01 Lefebvre, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Design of supervisors for linear marking specifications in labeled Petri nets
2022-01-01 Ma, Z.; He, Z.; Li, Z.; Giua, A.
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Selection of a stealthy and harmful attack function in discrete event systems
2022-01-01 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Consistent reduction in discrete-event systems
2022-01-01 Cai, K; Giua, A; Seatzu, C
Dynamic min and max consensus and size estimation of anonymous multi-agent networks
2021-01-01 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro
Diagnosability enforcement in labeled Petri nets using supervisory control
2021-01-01 Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, A
Distributed Fiedler Vector Estimation with Application to Desynchronization of Harmonic Oscillator Networks
2021-01-01 Deplano, D.; Franceschelli, M.; Giua, A.; Scardovi, L.
Verification of detectability for unambiguous weighted automata
2021-01-01 Lai, A.; Lahaye, S.; 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