Prodotti della ricerca

 

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.

Mostra risultati da 1 a 50 di 275
successivo >
TitoloData di pubblicazioneAutore(i)RivistaEditore
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis2020Giua, A.; Lafortune, S.; Seatzu, C.IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Verification of C-detectability using Petri nets2020Lan, H.; Tong, Y.; Guo, J.; Seatzu, C.INFORMATION SCIENCES
A region-based approach for state estimation of timed automata under no event observation2020Gao, C.; Lefebvre, D.; Seatzu, C.; Li, Z.; Giua, A.Institute of Electrical and Electronics Engineers Inc.
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis2020Cavone, G.; Dotoli, M.; Epicoco, N.; Morelli, D.; Seatzu, C.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection2019Ran, N.; Giua, A.; Seatzu, C.IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Some Remarks on 'State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions2019He, Z.; Li, Z.; Giua, A.; Basile, F.; Seatzu, C.IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Multiple attacks detection on discrete event systems2019Gao, C.; Seatzu, C.; Li, Z.; Giua, A.Institute of Electrical and Electronics Engineers Inc.
On consistent reduction in discrete-event systems2019Cai, K.; Giua, A.; Seatzu, C.IEEE Computer Society
Verification of fault-predictability in labeled petri nets using predictor graphs2019You, D.; Wang, S. G.; Seatzu, C.IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles2019Shivam, S; Buckley, I; Wardi, Y; Seatzu, C; Egerstedt, MIEEE
An overview of current technologies and emerging trends in factory automation2019Dotoli, M.; Fay, A.; Miskowicz, M.; Seatzu, C.INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions2019You, D.; Wang, S.; Seatzu, C.INFORMATION SCIENCES
Railway disruption: a bi-level rescheduling algorithm2019Cavone, G; Blenkers, L; van den Boom, T; Dotoli, M; Seatzu, C; De Schutter, BIEEE
A Survey on Petri Net Models for Freight Logistics and Transportation Systems2018Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, CarlaIEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks2018Wardi, Y.; Seatzu, C.; Egerstedt, M.Elsevier B.V.
Current-state opacity enforcement in discrete event systems under incomparable observations2018Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, AlessandroDISCRETE EVENT DYNAMIC SYSTEMS
A Novel Approach for Constraint Transformation in Petri Nets with Uncontrollable Transitions2018Wang, Shouguang; You, Dan; Seatzu, CarlaIEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS
Liveness Enforcement for a Class of Petri Nets via Resource Allocation2018You, Dan; Wang, Shouguang; Dou, Hao; Duo, Wenli; Barkaoui, Kamel; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
Efficient Resource Planning of Intermodal Terminals under Uncertainty2018Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; Seatzu, CarlaElsevier B.V.
Diagnosability analysis of bounded Petri nets2018Ran, Ning; Hao, Jinyuan; He, Zhou; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty2018Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; Morelli, Davide; Seatzu, CarlaIEEE Computer Society
Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery2018Cavone, G.; Dotoli, Mariagrazia; Epicoco, N.; Franceschelli, M.; Seatzu, C.Elsevier
Stealthy Attacks for Partially-Observed Discrete Event Systems2018Zhang, Qi; Li, Zhiwu; Seatzu, Carla; Giua, AlessandroInstitute of Electrical and Electronics Engineers Inc.
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis2018Lefaucheux, Engel; Giua, Alessandro; Seatzu, CarlaSpringer Nature
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches2018Liu, Siqi; Tong, Yin; Seatzu, Carla; Giua, Alessandro
Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari2018Zanda, Simone; Zuddas, Paola; Seatzu, CarlaCOMPUTERS & INDUSTRIAL ENGINEERING
Codiagnosability Analysis of Bounded Petri Nets2018Ran, Ning; Su, Hongye; Giua, Alessandro; Seatzu, CarlaIEEE TRANSACTIONS ON AUTOMATIC CONTROL
Diagnosability analysis of labeled Time Petri net systems2017Basile, F; Cabasino, MP; Seatzu, CIEEE TRANSACTIONS ON AUTOMATIC CONTROL
Performance regulation in discrete event and hybrid dynamical systems using IPA2017Wardi, Y; Seatzu, CEUROPEAN JOURNAL OF CONTROL
Decidability of opacity verification problems in labeled Petri net systems2017Tong, Y; Li, Z; Seatzu, C; Giua, AAUTOMATICA
Performance regulation and tracking via lookahead simulation: Preliminary results and validation2017Wardi, Y.; Seatzu, C.; Egerstedt, M.; Buckley, I.Institute of Electrical and Electronics Engineers Inc.
A decision support system for optimizing operations at intermodal railroad terminals2017Dotoli, Mariagrazia; Epicoco, Nicola; Falagario, Marco; Seatzu, Carla; Turchiano, BiagioIEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS
Advanced control in factory automation: a survey2017Dotoli, M; Fay, A; Miśkowicz, M; Seatzu, CarlaINTERNATIONAL JOURNAL OF PRODUCTION RESEARCH
Marking observer in labeled petri nets with application to supervisory control2017Cabasino, MP; Hadjicostis, CN; Seatzu, CIEEE TRANSACTIONS ON AUTOMATIC CONTROL
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]2017Giua, Alessandro; Bullo, Francesco; Hadjicostis, Christoforos; Seatzu, Carla; Pasqualetti, FabioIEEE CONTROL SYSTEMSInstitute of Electrical and Electronics Engineers Inc.
Decentralized observability of discrete event systems with synchronizations2017Giua, Alessandro; Mahulea, Cristian; Seatzu, CarlaAUTOMATICA
Intermodal terminal planning by Petri Nets and Data Envelopment Analysis2017Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; Seatzu, CarlaCONTROL ENGINEERING PRACTICE
Verification of State-Based Opacity Using Petri Nets2017Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, AlessandroIEEE TRANSACTIONS ON AUTOMATIC CONTROL
Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks2017Franceschelli, Mauro; Giua, Alessandro; Seatzu, CarlaNONLINEAR ANALYSIS
A decision making procedure for robust train rescheduling based on mixed integer linear programming and Data Envelopment Analysis2017Cavone, Graziana; Dotoli, Mariagrazia; Epicoco, Nicola; Seatzu, CarlaAPPLIED MATHEMATICAL MODELLING
Resource planning of intermodal terminals using timed Petri nets2016Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
Codiagnosability verification of bounded Petri nets using basis markings2016Ran, Ning; Su, Hongye; Giua, Alessandro; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
K-detectability in discrete event systems2016Hadjicostis, Christoforos N.; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
Supervisory enforcement of current-state opacity with uncomparable observations2016Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Verification of language-based opacity in Petri nets using verifier2016Tong, Y.; Ma, Z.; Li, Z.; Seatzu, Carla; Giua, Alessandro
Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis2016Wardi, Y; Seatzu, Carla; Chen, . X; Yalamanchili, S.NONLINEAR ANALYSIS
Decentralized state estimation in discrete event systems under partially ordered observation sequences2016Hadjicostis, Christoforos N.; Seatzu, CarlaIEEE (Institute of Electrical and Electronics Engineers)
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions2016Wang, Shouguang; You, Dan; Zhou, Mengchu; Seatzu, CarlaIEEE TRANSACTIONS ON AUTOMATIC CONTROL
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets2016Cavone, Graziana; Dotoli, Mariagrazia; Seatzu, CarlaIEEE ROBOTICS AND AUTOMATION LETTERS
A new linear constraint transformation approach for Petri nets with uncontrollable transitions2016You, Dan; Wang, Shou Guang; Seatzu, CarlaInstitute of Electrical and Electronics Engineers Inc.
   
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar