Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 360
Titolo Data di pubblicazione Autore(i) Rivista Editore
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks In corso di stampa Deplano, D.; Franceschelli, M.; Giua, A. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets 1-gen-2023 Li, Y.; Tong, Y.; Demuro, M.; Giua, A. - -
Rumor Containment by Blocking Nodes in Social Networks 1-gen-2023 Yang, L.; Ma, Z.; Li, Z.; Giua, A. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS -
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection 1-gen-2022 Lefebvre, DIMITRI JEAN EMMANUEL; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro DISCRETE EVENT DYNAMIC SYSTEMS -
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs 1-gen-2022 Gu, C.; Ma, Z.; Li, Z.; Giua, A. IEEE CONTROL SYSTEMS LETTERS -
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs 1-gen-2022 Gu, C; Ma, Zy; Li, Zw; Giua, A IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS -
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker 1-gen-2022 Tong, Y; Wang, Yc; Giua, A IEEE CONTROL SYSTEMS LETTERS -
Selection of a stealthy and harmful attack function in discrete event systems 1-gen-2022 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro SCIENTIFIC REPORTS -
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection 1-gen-2022 Lefebvre, D; Seatzu, C; Hadjicostis, Cn; Giua, A DISCRETE EVENT DYNAMIC SYSTEMS -
Sensor and Actuator Attacks in Discrete Event Systems 1-gen-2022 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. - ELSEVIER
Design of supervisors for linear marking specifications in labeled Petri nets 1-gen-2022 Ma, Z.; He, Z.; Li, Z.; Giua, A. AUTOMATICA -
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems 1-gen-2022 Cui, B.; Yin, X.; Li, S.; Giua, A. - ELSEVIER
Discrete-Time Dynamic Consensus on the Max Value 1-gen-2022 Deplano, Diego; Franceschelli, Mauro; Giua, Alessandro - -
Dynamic max-consensus with local self-tuning 1-gen-2022 Deplano, D; Franceschelli, M; Giua, A - Elsevier
Consistent reduction in discrete-event systems 1-gen-2022 Cai, K; Giua, A; Seatzu, C AUTOMATICA -
A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems 1-gen-2022 Pilloni, A.; Deplano, D.; Giua, A.; Usai, E. IEEE CONTROL SYSTEMS LETTERS -
Verification of detectability for unambiguous weighted automata 1-gen-2021 Lai, A.; Lahaye, S.; Giua, A. IEEE TRANSACTIONS ON AUTOMATIC CONTROL -
Joint state estimation under attack of discrete event systems 1-gen-2021 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A. IEEE ACCESS -
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation 1-gen-2021 He, Z.; Ma, Z.; Li, Z.; Giua, A. IEEE/CAA JOURNAL OF AUTOMATICA SINICA -
Distributed Fiedler Vector Estimation with Application to Desynchronization of Harmonic Oscillator Networks 1-gen-2021 Deplano, D.; Franceschelli, M.; Giua, A.; Scardovi, L. IEEE CONTROL SYSTEMS LETTERS -
Mostrati risultati da 1 a 20 di 360
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