Università degli Studi di Cagliari
Decentralized observability of discrete event systems with synchronizations
2017-01-01 Giua, Alessandro; Mahulea, Cristian; Seatzu, Carla
Decidability of opacity verification problems in labeled Petri net systems
2017-01-01 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro
Performance regulation in discrete event and hybrid dynamical systems using IPA
2017-01-01 Wardi, Y; Seatzu, Carla
Intermodal terminal planning by Petri Nets and Data Envelopment Analysis
2017-01-01 Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; 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
A decision making procedure for robust train rescheduling based on mixed integer linear programming and Data Envelopment Analysis
2017-01-01 Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; Seatzu, Carla
Marking observer in labeled petri nets with application to supervisory control
2017-01-01 Cabasino, MARIA PAOLA; Hadjicostis, Cn; Seatzu, Carla
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks
2017-01-01 Franceschelli, Mauro; Giua, Alessandro; Seatzu, Carla
Performance regulation and tracking via lookahead simulation: Preliminary results and validation
2017-01-01 Wardi, Y.; Seatzu, C.; Egerstedt, M.; Buckley, I.
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets
2016-01-01 Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, Carla
Decentralized state estimation in discrete event systems under partially ordered observation sequences
2016-01-01 Hadjicostis, Christoforos N.; Seatzu, Carla
Resource planning of intermodal terminals using timed Petri nets
2016-01-01 Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, Carla
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
2016-01-01 Wang, Shouguang; You, Dan; Zhou, Mengchu; Seatzu, Carla
Supervisory enforcement of current-state opacity with uncomparable observations
2016-01-01 Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Verification of language-based opacity in Petri nets using verifier
2016-01-01 Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Codiagnosability verification of bounded Petri nets using basis markings
2016-01-01 Ran, Ning; Su, Hongye; Giua, Alessandro; Seatzu, Carla
Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis
2016-01-01 Wardi, Y; Seatzu, Carla; Chen, . X; Yalamanchili, S.
Distributed task assignment based on gossip with guaranteed performance on heterogeneous networks
2015-01-01 Franceschelli, Mauro; Giua, Alessandro; Seatzu, Carla
Petri nets for the control of discrete event systems
2015-01-01 Giua, Alessandro; Seatzu, Carla
A survey on advanced control approaches in factory automation
2015-01-01 Dotoli, Mariagrazia; Fay, Alexander; Miskowicz, Marek; Seatzu, Carla
Fault model identification and synthesis in Petri nets
2015-01-01 Cabasino, Mp; Giua, Alessandro; Hadjicostis, Cn; Seatzu, Carla
Probabilistic marking estimation in labeled petri nets
2015-01-01 Cabasino, MARIA PAOLA; Hadjicostis, Cn; Seatzu, Carla
A three-stage deadlock prevention strategy for S3PR nets
2015-01-01 Wang, Shouguang; Seatzu, Carla; Huang, Lingyun
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning
2015-01-01 Wang, S.; You, D.; Seatzu, Carla; Giua, Alessandro
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis
2015-01-01 Seatzu, Carla; Wardi, Yorai
Verification of initial-state opacity in Petri nets
2015-01-01 Tong, Y; Li, Z; Seatzu, Carla; Giua, Alessandro
Verification of current-state opacity using Petri nets
2015-01-01 Tong, Y.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems
2015-01-01 Franceschelli, Mauro; Giua, Alessandro; Seatzu, Carla
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions
2015-01-01 Basile, Francesco; Cabasino, MARIA PAOLA; Seatzu, Carla
Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets
2014-01-01 Cabasino, Mp; Giua, Alessandro; Seatzu, Carla
K-diagnosability of Time labeled Petri nets
2014-01-01 F., Basile; M. P., Cabasino; Seatzu, Carla
Petrinetze und die Steuerung Ereignisdiskreter Systeme
2014-01-01 Giua, Alessandro; Seatzu, Carla
Model Identification and Synthesis of Discrete-Event Systems
2014-01-01 Cabasino M., P; Darondeau, P; Fanti M., P; Seatzu, Carla
Fast discrete consensus based on gossip for makespan minimization in networked systems
2014-01-01 Franceschelli, Mauro; Giua, Alessandro; Seatzu, Carla
Optimization of intermodal rail-road freight transport terminals
2014-01-01 Dotoli, M; Epicoco, N; Falagario, M; Seatzu, Carla; Turchiano, B.
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology
2014-01-01 ZAREH ESHGHDOUST, Mehran; Dimarogonas, D; Franceschelli, Mauro; Johansson, Kh; Seatzu, Carla
A survey on state estimation using Petri nets
2014-01-01 Giua, Alessandro; Seatzu, Carla
Performance regulation via integral control in a class of stochastic discrete event dynamic systems
2014-01-01 Seatzu, Carla; Y., Wardi
Initial marking estimation in labeled Petri nets in probabilistic setting
2014-01-01 M. P., Cabasino; C., Hadjicostis; Seatzu, Carla
Modeling manufacturing systems and inventory control systems with hybrid Petri nets
2014-01-01 Cabasino M., P; Giua, A; Seatzu, Carla
Stabilization of switched systems via optimal control
2014-01-01 Corona, D; Giua, Alessandro; Seatzu, Carla
Diagnosability of discrete event systems using labeled Petri nets
2014-01-01 Cabasino, Mp; Giua, Alessandro; Seatzu, Carla
A consensus algorithm for common reference frame estimation in networked multi-agent systems
2014-01-01 López Limón, Ca; Franceschelli, Mauro; Seatzu, Carla; Ramirez, A.
Formal methods in manufacturing
2014-01-01 Campos, J; Seatzu, Carla; Xie, X.
A remark on the decentralized diagnosis of labeled petri nets
2014-01-01 Cabasino, Mp; Giua, Alessandro; Paoli, A; Seatzu, Carla
Guest Editorial: Special Issue on Advances in Discrete Event Systems for Automation
2014-01-01 Cassandras C., G; Fanti M., P; Hadjicostis C., N; Reveliotis, S; Seatzu, Carla
Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections
2014-01-01 Y., Wardi; Seatzu, Carla
State feedback control of labeled Petri nets with uncertainty in the initial marking
2014-01-01 Cabasino, Mp; Hadjicostis, C; Seatzu, Carla
Supervisory control of manufacturing systems using Petri nets
2014-01-01 Seatzu, Carla; Xie, X.
Introduction to Petri nets
2013-01-01 Cabasino, Mp; Giua, Alessandro; 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