Università degli Studi di Cagliari
Carla Seatzu
Consensus in multi agent systems with second order dynamics and non-periodic sampling time data exchange
In corso di stampa ZAREH ESHGHDOUST, Mehran; Dimos V., Dimarogonas; Franceschelli, Mauro; Karl Henrik, Johansson; Seatzu, Carla
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread
2023-01-01 Deplano, Diego; Franceschelli, Mauro; Seatzu, Carla
Verification of Current State Opacity using Switching Output Automata
2023-01-01 Liu, T.; Seatzu, C.; Giua, A.
Fault Diagnosis of Timed Discrete Event Systems
2023-01-01 Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.
Logical and probabilistic aspects of state estimation for Markovian systems
2023-01-01 Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
Fault Diagnosis of Discrete Event Systems Under Attack
2023-01-01 Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Codiagnosability Enforcement in Labeled Petri Nets
2022-01-01 Ran, N.; Li, T.; He, Z.; Seatzu, C.
Prognosability analysis and enforcement of bounded labeled Petri nets
2022-01-01 Ran, N.; Hao, J.; Seatzu, C.
Supervisory Control of Petri Nets in the Presence of Replacement Attacks
2022-01-01 You, D; Wang, Sg; Zhou, Mc; Seatzu, C
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
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
2022-01-01 Lan, H; Tong, Y; Seatzu, C
Verification of -step and infinite-step opacity of bounded labeled Petri nets
2022-01-01 Tong, Yin; Lan, Hao; Seatzu, Carla
Sensor and Actuator Attacks in Discrete Event Systems
2022-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks
2022-01-01 Cavone, G; van den Boom, T; Blenkers, L; Dotoli, M; Seatzu, C; De Schutter, B
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
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
2022-01-01 You, D; Wang, Sg; Seatzu, C
Consistent reduction in discrete-event systems
2022-01-01 Cai, K; Giua, A; Seatzu, C
Distributed Mode Computation in Open Multi-Agent Systems
2022-01-01 Dashti, Zoreh Al Zahra Sanai; Oliva, Gabriele; Seatzu, Carla; Gasparri, Andrea; Franceschelli, Mauro
Selection of a stealthy and harmful attack function in discrete event systems
2022-01-01 Zhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs
2022-01-01 Dashti, Z. A. Z. S.; Deplano, D.; Seatzu, C.; Franceschelli, M.
Joint state estimation under attack of discrete event systems
2021-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
2021-01-01 Lan, H; Tong, Y; Seatzu, C
Verification of C-detectability using Petri nets
2020-01-01 Lan, H.; Tong, Y.; Guo, J.; Seatzu, C.
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
2020-01-01 Giua, A.; Lafortune, S.; Seatzu, C.
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis
2020-01-01 Cavone, G.; Dotoli, M.; Epicoco, N.; Morelli, D.; Seatzu, C.
Probabilistic verification of attack detection using logical observer
2020-01-01 Lefebvre, D.; Seatzu, C.; Hadjicostis, C. N.; 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.
Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets
2020-01-01 Zhang, Q.; Seatzu, C.; Li, Z.; Giua, A.
An overview of current technologies and emerging trends in factory automation
2019-01-01 Dotoli, M.; Fay, A.; Miskowicz, M.; Seatzu, C.
Dynamic Consensus on the Median Value in Open Multi-Agent Systems
2019-01-01 Sanai Dashti, Z. A. Z.; Seatzu, C.; Franceschelli, M.
Verification of fault-predictability in labeled petri nets using predictor graphs
2019-01-01 You, D.; Wang, S. G.; Seatzu, C.
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions
2019-01-01 He, Z.; Li, Z.; Giua, A.; Basile, F.; Seatzu, C.
Multiple attacks detection on discrete event systems
2019-01-01 Gao, C.; Seatzu, C.; Li, Z.; Giua, A.
On consistent reduction in discrete-event systems
2019-01-01 Cai, K.; Giua, A.; Seatzu, C.
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
2019-01-01 Ran, N.; Giua, A.; Seatzu, C.
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
2019-01-01 You, D.; Wang, S.; Seatzu, C.
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
2018-01-01 Lefaucheux, Engel; Giua, Alessandro; Seatzu, Carla
A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions
2018-01-01 Wang, Shouguang; You, Dan; Seatzu, Carla
Stealthy Attacks for Partially-Observed Discrete Event Systems
2018-01-01 Zhang, Qi; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery
2018-01-01 Cavone, G.; Dotoli, Mariagrazia; Epicoco, N.; Franceschelli, M.; Seatzu, C.
Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari
2018-01-01 Zanda, Simone; Zuddas, Paola; Seatzu, Carla
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks
2018-01-01 Wardi, Y.; Seatzu, C.; Egerstedt, M.
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches
2018-01-01 Liu, Siqi; Tong, Yin; Seatzu, Carla; Giua, Alessandro
A Survey on Petri Net Models for Freight Logistics and Transportation Systems
2018-01-01 Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, Carla
Codiagnosability Analysis of Bounded Petri Nets
2018-01-01 Ran, Ning; Su, Hongye; Giua, Alessandro; Seatzu, Carla
Current-state opacity enforcement in discrete event systems under incomparable observations
2018-01-01 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
Marking observer in labeled petri nets with application to supervisory control
2017-01-01 Cabasino, MARIA PAOLA; Hadjicostis, Cn; Seatzu, Carla
Advanced control in factory automation: a survey
2017-01-01 Dotoli, M; Fay, A; Miśkowicz, M; Seatzu, Carla
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]
2017-01-01 Giua, Alessandro; Bullo, Francesco; Hadjicostis, Christoforos; Seatzu, Carla; Pasqualetti, Fabio
Performance regulation in discrete event and hybrid dynamical systems using IPA
2017-01-01 Wardi, Y; Seatzu, Carla
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