UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
| Titolo | Data di pubblicazione | Autori | Tipo | Abstract |
|---|
| Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection | 2019 | Ran N.; GIUA, ALESSANDRO ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Codiagnosability Analysis of Bounded Petri Nets | 2018 | Ran, Ning; Su, Hongye; GIUA, ALESSANDRO ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Current-state opacity enforcement in discrete event systems under incomparable observations | 2018 | TONG, YIN ; LI, ZHIWU ; SEATZU, CARLA ; GIUA, ALESSANDRO | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches | 2018 | Liu, Siqi; TONG, YIN ; SEATZU, CARLA ; GIUA, ALESSANDRO | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Basis coverability graph for partially observable Petri nets with application to diagnosability analysis | 2018 | Lefaucheux, Engel; GIUA, ALESSANDRO ; SEATZU, CARLA | 2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio) | |
| Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari | 2018 | ZANDA, SIMONE ; ZUDDAS, PAOLA ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Stealthy Attacks for Partially-Observed Discrete Event Systems | 2018 | Zhang, Qi; Li, Zhiwu; SEATZU, CARLA ; GIUA, ALESSANDRO | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery | 2018 | CAVONE, GRAZIANA ; DOTOLI, MARIAGRAZIA ; N. Epicoco; FRANCESCHELLI, MAURO ; SEATZU, CARLA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks | 2018 | Wardi, Y.; SEATZU, CARLA ; Egerstedt, M. | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions | 2018 | Wang, Shouguang; YOU, DAN ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty | 2018 | CAVONE, GRAZIANA ; DOTOLI, MARIAGRAZIA ; Epicoco, Nicola; Morelli, Davide; SEATZU, CARLA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Efficient Resource Planning of Intermodal Terminals under Uncertainty | 2018 | CAVONE, GRAZIANA ; DOTOLI, MARIAGRAZIA ; Epicoco, Nicola; SEATZU, CARLA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Diagnosability analysis of bounded Petri nets | 2018 | Ran, Ning; Hao, Jinyuan; He, Zhou; SEATZU, CARLA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Liveness Enforcement for a Class of Petri Nets via Resource Allocation | 2018 | YOU, DAN ; Wang, Shouguang; Dou, Hao; Duo, Wenli; Barkaoui, Kamel; SEATZU, CARLA | 4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno | |
| Advanced control in factory automation: a survey | 2017 | Dotoli, M; Fay, A; Miśkowicz, M; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Diagnosability analysis of labeled Time Petri net systems | 2017 | Basile, F; CABASINO, MARIA PAOLA ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| A decision support system for optimizing operations at intermodal railroad terminals | 2017 | Dotoli, Mariagrazia; Epicoco, Nicola; Falagario, Marco; SEATZU, CARLA ; Turchiano, Biagio | 1 Contributo su Rivista::1.1 Articolo in rivista | - |
| Performance regulation in discrete event and hybrid dynamical systems using IPA | 2017 | Wardi, Y; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Decidability of opacity verification problems in labeled Petri net systems | 2017 | Tong, Y; Li, Z; SEATZU, CARLA ; GIUA, ALESSANDRO | 1 Contributo su Rivista::1.1 Articolo in rivista | |
| Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks | 2017 | FRANCESCHELLI, MAURO ; GIUA, ALESSANDRO ; SEATZU, CARLA | 1 Contributo su Rivista::1.1 Articolo in rivista | |
