Alessandro Giua -- Publications

Journal Papers

Early access

[25tac] C. Gao, D. Lefebvre, C. Seatzu, Z.W. Li, A. Giua, "State estimation of timed automata under partial observation," IEEE Trans. on Automatic Control, to appear 2025. DOI: 10.1109/TAC.2024.3492955

2025

[25aut] T.L. Kang, C. Seatzu, Z.W. Li, A. Giua, "A joint diagnoser approach for diagnosability of discrete event systems under attack," Automatica, Vol. 172, 2025. DOI: 10.1016/j.automatica.2024.112004

2024

[24tac] K. Peng, Y.F. Chen, C. Seatzu, Z.W. Li, A. Giua, "Concealability Analysis for Current-state Opacity Enforcement via Editing Functions," IEEE Trans. on Automatic Control, vol. 69, no. 10, pp. 7231-7238, Oct. 2024. DOI: 10.1109/TAC.2024.3400848

[24lcss] D. Deplano, M. Franceschelli, A. Giua, "Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks," IEEE Control Systems Letters, Vol. 8, pp. 1793-1798, 2024. DOI: 10.1109/LCSYS.2024.3417171

2023

[23tac_a] D. Deplano, M. Franceschelli, A. Giua, "Dynamic Min and Max Consensus and Size Estimation of Anonymous Multi-Agent Networks," IEEE Trans. on Automatic Control, Vol. 68, no. 1, pp. 202-213, 2023. DOI: 10.1109/TAC.2021.3135452

[23tac_b] D. Deplano, M. Franceschelli, A. Giua, "Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks," IEEE Trans. on Automatic Control, Vol. 68, no. 12, pp. 7028-7040, 2023. DOI: 10.1109/TAC.2023.3246419

[23tsmc_sys] L. Yang, Z.W. Li, A. Giua, "Rumor Containment by Blocking Nodes in Social Networks," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 53, no. 7, pp. 3990-4002, 2023. DOI: 10.1109/TSMC.2023.3237933

2022

[22aut_a] Z.Y. Ma, Z. He, Z.W Li, A. Giua, "Design of Supervisors for Linear Marking Specifications in Labeled Petri Nets," Automatica, Vol. 136, 2022. DOI: 10.1016/j.automatica.2021.110031

[22aut_b] K. Cai, A. Giua, C. Seatzu, "Consistent reduction in discrete-event systems," Automatica, Vol. 142, 2022. DOI: 10.1016/j.automatica.2022.110333

[22deds] D. Lefebvre, C. Seatzu, C.N. Hadjicostis, A. Giua, "Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection", Discrete Event Dynamic Systems, Vol. 32, pp. 65-88, 2022. DOI: 10.1007/s10626-021-00348-y

[22deds_cor] D. Lefebvre, C. Seatzu, C.N. Hadjicostis, A. Giua, "Corrections to Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ", Discrete Event Dynamic Systems, Vol. 32, pp. 539-544, 2022. DOI: 10.1007/s10626-022-00364-6

[22lcss_a] A. Pilloni, D. Deplano, A. Giua, E. Usai, " A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems," IEEE Control Systems Letters, Vol. 6, pp. 632-637, 2022. DOI: 10.1109/LCSYS.2021.3084526

[22lcss_b] C. Gu, Z. Ma, Z. Li and A. Giua, "Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs," IEEE Control Systems Letters, Vol. 6, pp. 1220 -12205, 2022. DOI: 10.1109/LCSYS.2021.3087937

[22lcss_c] Y. Tong, Y.C. Wang, A. Giua, "A Polynomial Approach to Verifying the Existence of A Threatening Sensor Attacker," IEEE Control Systems Letters, Vol. 6, pp. 2930-2935, 2022. DOI: 10.1109/LCSYS.2022.3163467

[22tsmc_sys] C. Gu, Z. Ma, Z. Li and A. Giua, "Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 52, No. 10, pp. 6162-6173, October 2022. DOI: 10.1109/TSMC.2021.3138266

[22scire] Q. Zhang, C. Seatzu, Z.W Li, A. Giua, "Selection of a stealthy and harmful attack function in discrete event systems," Scientific Reports, Vol. 12, 2022. DOI: 10.1038/s41598-022-19737-w

2021

[21tac] A.W. Lai, S. Lahaye, A. Giua, "Verification of Detectability for Unambiguous Weighted Automata," IEEE Trans. on Automatic Control, , Vol. 66, No. 3, pp. 1437-1444, March 2021. DOI: 10.1109/TAC.2020.2995173

[21aut] Y.H. Hu, Z.Y. Ma, Z.W. Li, A. Giua, "Diagnosability enforcement in labeled Petri nets using supervisory control", Automatica, Vol. 131, 2021. DOI: 10.1016/j.automatica.2021.109776

[21lcss] D. Deplano, M. Franceschelli, A. Giua, L. Scardovi, "Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks," IEEE Control Systems Letters, Vol. 5, No. 2, pp. 659-664, 2021. DOI: 10.1109/LCSYS.2020.3004385

[21jas] Z. He, Z.Y. Ma, Z.W. Li, A. Giua, "Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation," IEEE/CAA Journal of Automatica Sinica,, Vol. 8, No. 1, pp. 179 188, 2021. DOI: 10.1109/JAS.2020.1003477

[21access] Q. Zhang, C. Seatzu, Z.W Li, A. Giua, "Joint State Estimation Under Attack of Discrete Event Systems," IEEE Access, Vol. 9, pp. 168068-168079, 2021. DOI: 10.1109/ACCESS.2021.3135870

2020

[20tac_a] Z.Y. Ma, Z.W. Li, A. Giua, "Marking Estimation in a Class of Time Labelled Petri Nets," IEEE Trans. on Automatic Control, Vol. 65, No. 2, pp. 493-506, 2020. DOI: 10.1109/TAC.2019.2907413

[20tac_b] Z.Y. Ma, G.H. Zhu, Z.W. Li, A. Giua, "Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming," IEEE Trans. on Automatic Control, Vol. 65, No. 6, pp. 2662-2669, 2020. DOI: 10.1109/TAC.2019.2942570

[20tac_c] A. Giua, S. Lafortune, C. Seatzu, "Divergence properties of labeled Petri nets and their relevance for diagnosability analysis," IEEE Trans. on Automatic Control, Vol. 65, No. 7, pp. 3092-3097, 2020. DOI: 10.1109/TAC.2019.2947650

[20aut_a] D. Deplano, M. Franceschelli, A. Giua, "A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems," Automatica, Vol. 118, 2020. DOI: 10.1016/j.automatica.2020.109025

[20aut_b] H. Lan, Y. Tong, J. Guo, A. Giua, "Comments on «A new approach for the verification of infinite-step and K-step opacity using two-way observers» [Automatica, 2017(80) 162-171]", Automatica, Vol. 122, 2020. DOI: 10.1016/j.automatica.2020.109290

[20deds] K.Z. Zhang, A. Giua, "On detectability of labeled Petri nets and finite automata," Discrete Event Dynamic Systems, Vol. 30, pp. 465-497, 2020. DOI: 10.1007/s10626-020-00311-3

[20infsci] L. Yang, Z.W. Li, A. Giua, "Containment of Rumor Spread in Complex Social Networks," Information Sciences, Vol. 506, pp. 113-130, 2020. DOI: 10.1016/j.ins.2019.07.055

[20access] D. Deplano, M. Franceschelli, S. Ware, R. Su, A. Giua, "A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-planned Trajectories," IEEE Access, Vol. 8, No. 1, pp. 92637-92646, 2020. DOI: 10.1109/ACCESS.2020.2994472

2019

[19tac_a] N. Ran, A. Giua, C. Seatzu, "Enforcement of diagnosability in labeled Petri nets via optimal sensor selection," IEEE Trans. on Automatic Control, Vol. 64, No. 7, pp. 2997-3004 , 2019. DOI: 10.1109/TAC.2018.2874020

[19tac_b] Z. He, Z.W. Li, A. Giua, F. Basile, C. Seatzu, "Some remarks on State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions ," IEEE Trans. on Automatic Control, Vol. 64, No. 12, pp. 5253-5259, 2019. DOI: 10.1109/TAC.2019.2910168

[19aut_a] L. Yang, Z.W. Li, A. Giua, "Influence Minimization in Linear Threshold Networks," Automatica, Vol. 100, pp. 10 16, 2019. DOI: 10.1016/j.automatica.2018.10.053

[19aut_b] A.W. Lai, S. Lahaye, A: Giua, "State estimation of max-plus automata with unobservable events," Automatica, Vol. 105, pp. 36-42, 2019. DOI: 10.1016/j.automatica.2019.03.003

[19deds_a] Z. He, M. Liu, Z.Y. Ma, Z.W. Li, A. Giua, "An improved approach for marking optimization of timed weighted marked graphs," Discrete Event Dynamic Systems, Vol. 29, No. 2, pp. 127-143, 2019. DOI: 10.1007/s10626-019-00278-w

[19deds_b] C.S. Wu, I. Demongodin, A. Giua, "Correction to Synchronizing sequences on a class of unbounded systems using synchronized Petri nets ," Discrete Event Dynamic Systems, Vol. 29, No. 4, pp. 521 526, 2019. DOI: 10.1007/s10626-019-00295-9

[19access] W.J. Yang, L. Brenner, A. Giua, "Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation," IEEE Access, Vol. 7, pp. 13745-13757, 2019. DOI: 10.1109/ACCESS.2019.2894073

2018

[18tac_a] N. Ran, H. Su, A. Giua, C. Seatzu, "Codiagnosability Analysis of Bounded Petri Nets," IEEE Trans. on Automatic Control, Vol. 63, No. 4, pp. 1192-1199, 2018. DOI: 10.1109/TAC.2017.2742659

[18tac_b] Z. He, Z.W. Li, A. Giua, "Performance Optimization for Timed Weighted Marked Graphs under Infinite Server Semantics," IEEE Trans. on Automatic Control, Vol. 63, No. 8, pp. 2573-2580, 2018. DOI: 10.1109/TAC.2017.2766202

[18deds] Y. Tong, Z.W. Li, C. Seatzu, A. Giua, "Current-State Opacity Enforcement in Discrete Event Systems Under Incomparable Observations," Discrete Event Dynamic Systems, Vol. 28, No. 2, pp. 161 182, 2018. DOI: 10.1007/s10626-017-0264-7

[18arc] A. Giua, M. Silva, "Petri nets and Automatic Control: A historical perspective," Annual Reviews in Control, Vol. 45, No. 2, pp. 223-239, 2018. DOI: 10.1016/j.arcontrol.2018.04.006

2017

[17tac_a] Z.Y. Ma, Y. Tong, Z.W. Li, A. Giua, "Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem," IEEE Trans. on Automatic Control, Vol. 62, No. 3, pp. 1078-1093, 2017. DOI: 10.1109/TAC.2016.2574120

[17tac_b] M. Franceschelli, A. Giua, A. Pisano, "Finite-Time Consensus on the Median Value with Robustness Properties," IEEE Trans. on Automatic Control, Vol. 62, No. 4, pp. 1652-1667, 2017. DOI: 10.1109/TAC.2016.2590602

[17tac_c] Z.Y. Ma, Z.W. Li, A. Giua, "Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations," IEEE Trans. on Automatic Control, Vol. 62, No. 3, pp. 1329-1341, 2017. DOI: 10.1109/TAC.2016.2585647

[17tac_d] Y. Tong, Z.W. Li, C. Seatzu, A. Giua, "Verification of State-Based Opacity Using Petri Nets," IEEE Trans. on Automatic Control, Vol. 62, No. 6, pp. 2823 2837, 2017. DOI: 10.1109/TAC.2016.2620429

[17aut_a] Y. Tong, Z.W. Li, C. Seatzu, A. Giua, "Decidability of Opacity Verification Problems in Labeled Petri Net Systems," Automatica, Vol. 80, pp. 48 53, 2017. DOI: 10.1016/j.automatica.2017.01.013

[17aut_b] A. Giua, C. Mahulea, C. Seatzu, "Decentralized Observability of Discrete Event Systems with Synchronizations," Automatica, Vol. 85, pp. 468 477, 2017. DOI: 10.1016/j.automatica.2017.08.009

[17tcst] Z. He, Z.W. Li, A. Giua, "Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation," IEEE Trans. on Control Systems Technology, Vol. 25, No. 4, pp. 1318 1330, 2017. DOI: 10.1109/TCST.2016.2613967

[17tase] Z. He, Z.W. Li, A. Giua, "Optimization of Deterministic Timed Weighted Marked Graphs," IEEE Trans. on Automation Science and Engineering, Vol. 14, No. 2, pp. 1084-1095, 2017. DOI: 10.1109/TASE.2015.2490538

[17nahs] M. Franceschelli, A. Giua, C. Seatzu, "Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks, Nonlinear Analysis: Hybrid Systems, Vol. 26, pp. 292 306, November 2017. DOI: 10.1016/j.nahs.2017.06.008

2016

[16tac] Y. Tong, Z.W. Li, A. Giua, "On the Equivalence of Observation Structures for Petri Net Generators," IEEE Trans. on Automatic Control, Vol. 61, No. 9, pp. 2448-2462 , 2016. DOI: 10.1109/TAC.2015.2496500

[16aut] Z.Y. Ma, Z.W. Li, A. Giua, "Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators," Automatica, Vol. 74, pp. 238 246, 2016. DOI: 10.1016/j.automatica.2016.07.042

[16deds] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets," Discrete Event Dynamic Systems, Vol. 26, No. 1, pp. 85-108, 2016. DOI: 10.1007/s10626-016-0225-6. The original publication is available at www.springerlink.com.

[16tcst] V. Pilloni, M. Franceschelli, L. Atzori, A. Giua, "Deployment of Applications in Wireless Sensor Networks: a Gossip-based Lifetime Maximization Approach," IEEE Trans. on Control Systems Technology, Vol. 24, No. 5, pp. 1828 1836, 2016. DOI: 10.1109/TCST.2015.2508961

2015

[15tac_a] M. Franceschelli, A. Pisano, A. Giua, E. Usai, "Finite-Time Consensus with Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs," IEEE Trans. on Automatic Control, Vol. 60, No. 4, pp. 1133-1138, 2015. DOI: 10.1109/TAC.2014.2351431

[15tac_b] Z.Y. Ma, Z.W. Li, A. Giua, "Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints," IEEE Trans. on Automatic Control, Vol. 60, No. 7, pp. 1774-1785, 2015. DOI: 10.1109/TAC.2015.2389313

[15aut_a] Z.Y. Ma, Z.W. Li, A. Giua, "Comments on Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method," Automatica, Vol. 51, pp. 131 134, 2015. DOI: 10.1016/j.automatica.2014.10.099

[15aut_b] Y.F. Chen, Z.W. Li, K. Barkaoui, A. Giua, "On the Enforcement of a Class of Nonlinear Constraints on Petri Nets," Automatica, Vol. 55, pp. 116-124, 2015. DOI: 10.1016/j.automatica.2015.02.014

[15aut_c] M. Franceschelli, A. Giua, C. Seatzu, "Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems," Automatica, Vol. 56, pp. 60-69, 2015. DOI: 10.1016/j.automatica.2015.02.040

[15deds] M.P. Cabasino, A. Giua, C.N. Hadjicostis, C. Seatzu "Fault Model Identification and Synthesis in Petri Nets," Discrete Event Dynamic Systems, Vol. 25, No. 3, pp. 419-440, 2015. DOI: 10.1007/s10626-014-0190-x. The original publication is available at www.springerlink.com.

[15tsmc_sys] J.H. Ye, Z.W. Li, A. Giua, "Decentralized Supervision of Petri Nets with a Coordinator," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 45, No. 6, pp. 955-966, 2015. DOI: 10.1109/TSMC.2014.2373316

[15ssm] A. Giua, C. Seatzu, "Petri nets for the control of discrete event systems," Software & Systems Modeling, Vol. 14, No. 2, pp. 693 701, 2015. DOI: 10.1007/s10270-014-0425-1. English version of [14infspek].

2014

[14deds] Y. Ru, M.P. Cabasino, A. Giua, C.N. Hadjicostis, "Supervisor Synthesis for Discrete Event Systems under Partial Observation and Arbitrary Forbidden State Specifications," Discrete Event Dynamic Systems, Vol. 24, No. 3, pp, 275-307, 2014. DOI: 10.1007/s10626-012-0152-0. The original publication is available at www.springerlink.com.

[14nahs_a] D. Corona, A. Giua, C. Seatzu, "Stabilization of switched systems via optimal control, Nonlinear Analysis: Hybrid Systems, Vol. 11, pp. 1 10, January 2014. DOI: 10.1016/j.nahs.2013.02.002

[14nahs_b] I. Demongodin, A. Giua, "Dynamics and steady state analysis of controlled Generalized Batches Petri Nets, Nonlinear Analysis: Hybrid Systems, Vol. 12, pp. 33 44, May 2014. DOI: 10.1016/j.nahs.2013.11.010

[14tase_a] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "Testing experiments on synchronized Petri nets," IEEE Trans. on Automation Science and Engineering, Vol. 11, No. 1, pp. 125 138, January 2014. DOI: 10.1109/TASE.2013.2290774

[14tase_b] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosability of discrete event systems using labeled Petri nets," IEEE Trans. on Automation Science and Engineering, Vol. 11, No. 1, pp. 144-153, 2014. DOI: 10.1109/TASE.2013.2289360

[14infspek] A. Giua, C. Seatzu, "Petrinetze und die Steuerung Ereignisdiskreter Systeme," Informatik Spectrum, Vol. 37, No. 3, pp. 199-210, 2014. DOI: 10.1007/s00287-014-0766-8. German version of [14ssm].

[14tsmc_sys] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "A remark on the decentralized diagnosis of labeled Petri nets," IEEE Trans. on Systems Man & Cybernetics, Systems, Vol. 44, No. 11, pp. 1549, 2014. DOI: 10.1109/TSMC.2014.2328604

2013

[13aut_a] M. Franceschelli, A. Gasparri, A. Giua, C. Seatzu, "Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems," Automatica, Vol. 49, No. 4, pp. 1031-1036, April 2013. DOI: 10.1016/j.automatica.2013.01.029

[13aut_b] Y. Wardi, A. Giua, C. Seatzu, "IPA for Continuous Stochastic Marked Graphs," Automatica, Vol. 49, No. 5, pp. 1204-1215, May, 2013. DOI: 10.1016/j.automatica.2013.02.006

[13aut_c] Z. Lin, W. Ding, G. Yan, C. Yu, A. Giua, Leader-Follower Formation via Complex Laplacian, Automatica, Vol. 49, No. 6, pp. 1900-1906, June 2013. DOI: 10.1016/j.automatica.2013.02.055.1111

[13tsmc_sys_a] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosis using labeled Petri nets with silent or undistinguishable fault events," IEEE Trans. on Systems Man & Cybernetics: Systems, Vol. 43, No. 2, pp. 345-355, March, 2013. DOI: 10.1109/TSMCA.2012.2199307

[13tsmc_sys_b] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosis of discrete event systems using labeled Petri nets," IEEE Trans. on Systems Man & Cybernetics: Systems, Vol. 43, No. 6, pp. 1477 1485, November, 2013. DOI: 10.1109/TSMC.2013.2244208

[13nahs] M. Franceschelli, A. Giua, A. Pisano, E. Usai, "Finite-time consensus for switching network topologies with disturbances, Nonlinear Analysis: Hybrid Systems, Vol. 10, pp. 83 93, November 2013. DOI: 10.1016/j.nahs.2013.06.004

2012

[12tac] M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu, "A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets," IEEE Trans. on Automatic Control, Vol. 57, No. 12, pp. 3104-3117, December 2012.

2011

[11aut] M. Franceschelli, A. Giua, C. Seatzu, "Quantized consensus in hamiltonian graphs," Automatica, Vol. 47, No. 11, pp. 2495-2503, November 2011.

[11cep] M.P. Cabasino, A. Giua, M. Pocci, C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Engineering Practice, Vol. 19, No. 9, pp. 989-1001, September 2011.

[11nahs] N. Orani, A. Pisano, M. Franceschelli, A. Giua, E. Usai, "Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems", Nonlinear Analysis: Hybrid Systems, Vol. 5, No. 2, pp. 220-232, May 2011.

[11sj] M. Franceschelli, A. Giua, C. Seatzu, "Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms," IEEE Sensors Journal, Vol. 11, No. 3, pp. 808-817, March 2011.

2010

[10tac] M. Franceschelli, A. Giua, C. Seatzu, "A gossip-based algorithm for discrete consensus over heterogeneous networks," IEEE Trans. on Automatic Control, Vol. 55, No. 5, pp. 1244-1249, May 2010.

[10aut] M.P. Cabasino, A. Giua, C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, Vol. 46, No. 9, pp. 1531-1539, September 2010.

[10ijss] T. Paschedag, A. Giua, C. Seatzu, "Constrained optimal control: an application to semiactive suspension systems," Int. Journal of Systems Science, Vol. 41, No. 7, pp. 797-811, July 2010.

[10ijpr] A. Giua, "Deadlock resolution in automated manufacturing systems-a novel Petri net approach, by Z.W. Li, and M.C. Zhou," Book review, Int. Jour. of Production Research, Vol. 48, No. 18, pp. 5541-5542, January 2010.

2008

[08tac] C. Mahulea, A. Giua, L. Recalde, C. Seatzu, M. Silva, "Optimal model predictive control of timed continuous Petri nets," IEEE Trans. on Automatic Control, Vol. 53, No. 7, August 2008.

[08tase] A. Giua, C. Seatzu, "Modeling and supervisory control of railway networks using Petri nets," IEEE Trans. on Automation Science and Engineering, Vol. 5, No. 3, pp. 431-445, July 2008.

[08nahs] M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, "First-Order Hybrid Petri nets. An application to distributed manufacturing systems", Nonlinear Analysis: Hybrid Systems, Vol. 2, No. 2, pp. 408-430, June 2008.

2007

[07tac_a] F. Basile, P. Chiacchio, A. Giua, "An optimization approach to Petri net monitor design," IEEE Trans. on Automatic Control, Vol. 52, No.2, pp. 306-311, February 2007.

[07tac_b] D. Corona, A. Giua, C. Seatzu, "Marking estimation of Petri nets with silent transitions," IEEE Trans. on Automatic Control, Vol. 52, No. 9, pp. 1695-1699, September 2007.

[07deds] M.P. Cabasino, A. Giua, C. Seatzu, "Identification of Petri nets from knowledge of their languages," Discrete Event Dynamic Systems, Vol. 17, No. 4, pp. 447-474, December 2007. The original publication is available at www.springerlink.com.

2006

[06tac] C. Seatzu, D. Corona, A. Giua, A. Bemporad, "Optimal control of continuous-time switched affine systems," IEEE Trans. on Automatic Control, Vol. 51, No. 5, pp. 726-741, May 2006.

[06aut] F. Basile, P. Chiacchio, A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, Vol. 42, No. 6, pp. 995-1004, June 2006.

[06cep] A. Giua, M.P. Fanti, C. Seatzu, "Monitor design for colored Petri nets: an application to deadlock prevention in railway networks", Control Engineering Practice, Vol. 14, No. 10, pp. 1231-1247, October 2006.

[06natma] C. Seatzu, D. Gromov, J. Raisch, D. Corona, A. Giua, "Optimal control of discrete-time hybrid automata under safety and liveness constraints," Nonlinear Analysis: Theory, Methods and Applications, Vol. 65, No. 6, pp. 1188-1210, September 2006.

2005

[05deds_a] A. Giua, D. Corona, C. Seatzu, "State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions," Discrete Event Dynamic Systems, Vol. 15, No. 1, pp. 85-108, March 2005. The original publication is available at www.springerlink.com.

[05deds_b] A. Giua, X. Xie, "Control of safe ordinary Petri nets using unfolding," Discrete Event Dynamic Systems, Vol. 15, No. 4, pp. 349-373, December 2005. The original publication is available at www.springerlink.com.

[05ijpr] A. Giua, M.T. Pilloni, C. Seatzu, "Modelling and simulation of a bottling plant using hybrid Petri nets," Int. J. of Production Research, Vol. 43, No. 7, pp. 1375-1395, April 2005.

2004

[04tac_a] A. Giua, C. Seatzu, F. Basile, "Observer-based state feedback control of timed Petri nets with deadlock recovery," IEEE Trans. on Automatic Control, Vol. 49, No. 1, pp. 17-29, January 2004.

[04tac_b] X. Xie, A. Giua, "Counterexamples to Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods ," IEEE Trans. on Automatic Control, Vol. 49, No. 7, pp. 1217-1219, July 2004.

[04aut_a] B. Gaujal, A. Giua, "Optimal stationary behavior for a class of timed continuous Petri nets," Automatica, Vol. 40, No. 9, pp. 1505-1516, September 2004.

[04aut_b] A. Giua, " Synthesis and control of discrete event systems," Book review, Automatica, Vol. 40, No. 10, pp. 1815-1517, October 2004.

[04cep] D. Corona, A. Giua, C. Seatzu, "Optimal control of hybrid automata: an application to the design of a semiactive suspension," Control Engineering Practice, special issue on "Analysis and Design of Hybrid Systems", Vol. 12, No. 10, pp. 1305-1318, October 2004.

[04ajc] A. Giua, C. Seatzu, J. J lvez, "Marking estimation of Petri nets with pairs of nondeterministic transitions," Asian Journal of Control, special issue on "Control of Discrete Event Systems", Vol. 6, No. 2, pp. 270-280, June 2004.

[04vsd] A. Giua, M. Melas, C. Seatzu, G. Usai, "Design of a predictive semiactive suspension system," Vehicle System Dynamics. Vol. 41, No. 4, pp. 277-300, April 2004.

2002

[02tac] A. Giua, C. Seatzu, "Observability of Place/Transition Nets," IEEE Trans. on Automatic Control, Vol. 47, No. 9, pp. 1424 -1437, September 2002.

[02aut] A. Giua, A. Piccaluga, C. Seatzu, "Firing Rate Optimization of Cyclic Timed Event Graphs," Automatica, Vol. 38, No. 1, pp. 91-103, January 2002.

[02deds] R. Boel, X.R. Cao, G. Cohen, A. Giua, W.M. Wonham, J.H. van Schuppen, "Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems," Discrete Event Dynamic Systems, Vol. 12, No. 3, pp. 253-264, July 2002. The original publication is available at www.springerlink.com.

2001

[01tac] A. Giua, "Model Reduction of Finite State Machines by Contractions," IEEE Trans. on Automatic Control, Vol. 46, No. 5, pp. 797-801, May 2001.

[01deds] F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, "Decidability Results in First-Order Hybrid Petri Nets," Discrete Event Dynamic Systems, Vol. 11, No. 1 & 2, pp. 41-58, 2001. The original publication is available at www.springerlink.com.

[01jesa] A. Giua, R. Furcas, A. Piccaluga, C. Seatzu, "Hybrid Petri Net Modeling of Inventory Management Systems," European Journal of Automation APII-JESA,Vol. 35, No. 4, pp. 417-434, May 2001.

[01mcmds] A. Giua, M. Sanna, C. Seatzu, "Observer-controller design for three dimensional overhead cranes using time-scaling", Mathematical and Computer Modelling of Dynamical Systems, Vol. 7, No. 1, pp. 77-107, March 2001.

[01ijpr] F. Balduzzi, A. Giua, C. Seatzu, "Modelling and Simulation of Manufacturing Systems Using First-Order Hybrid Petri Nets," Int. J. of Production Research, Vol. 39, No. 2, pp. 255-282, January 2001.

2000

[00tra] F. Balduzzi, A. Giua, G. Menga, "First-Order Hybrid Petri Nets: a Model for Optimization and Control," IEEE Trans. on Robotics and Automation, Vol. 16, No. 4, pp. 382-399, August 2000.

[00dc] A. Giua, C. Seatzu, G. Usai, "A Mixed Suspension System for a Half-Car Vehicle Model", Dynamics and Control, Vol. 10, No. 4, pp. 375-397, December 2000.

1999

[99aut] A. Giua, C. Seatzu, G. Usai, "Observer-Controller Design for Cranes via Lyapunov Equivalence", Automatica, Vol. 35, No. 4, pp. 669-678, April 1999.

[99jcss] S. Gaubert, A. Giua, "Petri Net Languages and Infinite Subsets of N^m," J. of Computer and System Sciences, Vol. 59, No. 3, pp. 373-391, December 1999.

[99vsd] A. Giua, C. Seatzu, G. Usai, "Semiactive Suspension Design With An Optimal Gain Switching Target", Vehicle System Dynamics, Vol. 31,No. 4, pp. 213- 232, April 1999.

[99apin] A. Fanni, A. Giua, M. Marchesi, A. Montisci, "A neural network diagnosis approach for analog circuits," Applied Intelligence, Vol. 11, No. 2, pp. 169-186, September 1999.

1998

[98tcst] G. Corriga, A. Giua, G.P. Usai, "An Implicit Gain-Scheduling Controller for Cranes," IEEE Trans. on Control Systems Technology, Vol. 6, No. 1, pp. 15-20, January 1998.

[98tsmc] A. Fanni, A. Giua, "Discrete Event Representation of Qualitative Models Using Petri Nets", IEEE Trans. on Systems, Man & Cybernetics, Part B: Cybernetics, Vol. 28, No. 6, pp. 770-780, December 1998.

[98jesa] A. Giua, E. Usai, "Modelling Hybrid Systems by High-Level Petri Nets," European Journal of Automation APII-JESA, Vol. 32, No. 9-10, pp. 1209-1231, December 1998.

1997

[97deds] L.E. Holloway, B.H. Krogh, A. Giua, "A Survey of Petri Net Methods for Controlled Discrete Event Systems," Discrete Event Dynamic Systems, Vol. 7, pp. 151-190, 1997. The original publication is available at www.springerlink.com.

1996

[96tac] S. Gaubert, A. Giua, "Deterministic Weak-and-Marked Petri Net Languages Are Regular," IEEE Trans. on Automatic Control, Vol. 41, No. 12, pp. 1802-1803, December 1996.

[96vsd] G. Corriga, A. Giua, G.P. Usai, "An H₂ Formulation for the Design of a Passive Vibration-Isolation System for Cars," Vehicle System Dynamics,Vol. 26, No. 5, pp. 381- 393, November 1996.

1995

[95tac] A. Giua, F. DiCesare, "Decidability and Closure Properties of Weak Petri Net Languages in Supervisory Control," IEEE Trans. on Automatic Control, Vol. 40, No. 5, pp. 906-910, May 1995.

1994

[94tac] A. Giua, F. DiCesare, "Blocking and Controllability of Petri Nets in Supervisory Control", IEEE Trans. on Automatic Control, Vol. 39, No. 4, pp. 818-823, April 1994.

[94tra] A. Giua, F. DiCesare, "Petri Net Structural Analysis for Supervisory Control," IEEE Trans. on Robotics and Automation, Vol. 10, No. 2, pp. 185-195, April 1994.

Conference Papers

2024

[24cdc_a] D. Deplano, M. Franceschelli, A. Giua, "Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks," 62nd IEEE Conf. on Decision and Control (Milan, Italy), Dec 16-19, 2024. Published on IEEE Control Systems Letters: see [24lcss].

[24cdc_b] D. Deplano, M. Franceschelli, A. Giua, "Stability of Paracontractive Open Multi-Agent Systems," 62nd IEEE Conf. on Decision and Control (Milan, Italy), Dec 16-19, 2024.

[24cdc_c] K.Z. Zhang, A. Giua "Verification of Strong Detectability of Labeled Real-Time Automata — a Concurrent-Composition Method," 62nd IEEE Conf. on Decision and Control (Milan, Italy), Dec 16-19, 2024.

[24case_a] Y.K. Li, Y. Tong, A. Giua, "Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions," CASE24: 20th Int. Conf. on Automation Science and Engineering (Bari, Italy), 28 Aug - 1 Sep, 2024.

[24case_b] T.Y. Liu, C. Seatzu, F. Pascucci, G. Cavone, A. Giua, "Security-By-Design of Smart Water Supply Systems: A Switching Output Automaton-Based Approach," CASE24: 20th Int. Conf. on Automation Science and Engineering (Bari, Italy), 28 Aug - 1 Sep, 2024.

[24case_c] W.J. Zhao, Z.W. Li, D. Deplano, A. Giua, M. Franceschelli, "Resilient Networks for Multi-Agent Systems Based on Graph Self-Organization into Random Approximate Regular Graphs," CASE24: 20th Int. Conf. on Automation Science and Engineering (Bari, Italy), 28 Aug - 1 Sep, 2024.

[24wodes_a] T.Y. Liu, C. Seatzu, A. Giua, "Timed Opacity Verfication for Switching Output Automata," WODES24: 17th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), 29 Apr - 1 May, 2024.

[24wodes_b] B.H. Cui, Z.Y. Ma, A. Giua, X. Yin, "Better Late Than Never: On Epistemic Diagnosability of Discrete Event Systems," WODES24: 17th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), 29 Apr - 1 May, 2024.

[24wodes_c] C. Gao, D. Lefebvre, C. Seatzu, Z.W. Li, A. Giua, "Observer Design for Timed Automata under No Observation," WODES24: 17th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), 29 Apr - 1 May, 2024.

2023

[23cdc_a] D. Lefebvre, C. Seatzu, C.N. Hadjicostis, A. Giua, " Logical and probabilistic aspects of state estimation for Markovian systems," 62nd IEEE Conf. on Decision and Control (Singapore), Dec 13-15, 2023.

[23cdc_b] T.L. Kang, C. Seatzu, Z.W. Li, A. Giua, "Fault Diagnosis of Discrete Event Systems Under Attack," 62nd IEEE Conf. on Decision and Control (Singapore), Dec 13-15, 2023.

[23cdc_c] B.H. Cui, X. Yin, A. Giua, "Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach," 62nd IEEE Conf. on Decision and Control (Singapore), Dec 13-15, 2023.

[23ccta] C.H. Cui, A. Giua, A. Pisano, "Cooperative Hosting with Two Crawler Cranes under Rope-Velocity Constraints," 7th IEEE Conference on Control Technology and Applications (Bridgetown, Barbados), Aug 16-18, 2023.

[23ifac_a] C. Gao, D. Lefebvre, C. Seatzu, Z.W. Li, A. Giua, "Fault Diagnosis of Timed Discrete Event Systems," 22nd IFAC World Congress (Yokohama, Japan), July 9-14, 2023.

[23ifac_b] D. Deplano, C. Congiu, A. Giua, M. Franceschelli, "Distributed Estimation of the Laplacian Spectrum via Wave Equation and Distributed Optimization," 22nd IFAC World Congress (Yokohama, Japan), July 9-14, 2023.

[23ifac_c] W.J. Zhao, A. Giua, Z.W. Li, "Verification of Joint Current-State Opacity Using Petri Nets," 22nd IFAC World Congress (Yokohama, Japan), July 9-14, 2023.

[23codit] T.Y. Liu, C. Seatzu, A. Giua, "Verification of Current State Opacity using Switching Output Automata," CoDIT23: 9th Int. Conf. on Control, Decision and Information Technologies (Rome, Italy), 3-6 Jul, 2023.

[23pn4tt] Y.K. Li, Y. Tong, M. Demuro, A. Giua, "Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets," PN4TT'23: Int. Work. on Petri Nets for Twin Transitions (Lisbon, Portugal), Jun 26, 2023.

2022

[22wodes_a] B.H. Cui, X. Yin, S.Y. Li, A. Giua, "You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems," WODES22: 16th Int. Work. on Discrete Event Systems (Prague, Czechia), Oct 7-8, 2022.

[22wodes_b] Q. Zhang, C. Seatzu, Z.W. Li, A. Giua, "Sensor and Actuator Attacks in Discrete Event Systems," WODES22: 16th Int. Work. on Discrete Event Systems (Prague, Czechia), Oct 7-8, 2022.

[22necsys] D. Deplano, M. Franceschelli, A. Giua, "Dynamic max-consensus with local self-tuning," NecSys 22: 9th IFAC Workshop on Networked Systems (Zurich, Switzerland), Jul 5-7, 2022.

2021

[21cdc_a] A. Pilloni, D. Deplano, A. Giua, E. Usai, "A Sliding Mode Observer design for the Average State Estimation in Large-Scale Systems," 60th IEEE Conf. on Decision and Control (Austin, TX, USA), Dec 13-15, 2021. Published on IEEE Control Systems Letters: see [22lcss_a].

[21cdc_b] C. Gu, Z.Y. Ma, Z.W. Li and A. Giua, "Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs," 60th IEEE Conf. on Decision and Control (Austin, TX, USA), Dec 13-15, 2021. Published on IEEE Control Systems Letters: see [22lcss_b].

[21cdc_c] D. Deplano, M. Franceschelli, A. Giua, "Distributed tracking of graph parameters in time-varying anonymous networks," 60th IEEE Conf. on Decision and Control (Austin, TX, USA), Dec 13-15, 2021.

2020

[20cdc_a] C. Gu, Z.W. Li, A. Giua, "Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach," 59th IEEE Conf. on Decision and Control (Jeju Island, South Korea), Dec 14-18, 2020.

[20cdc_b] D. Deplano, M. Franceschelli, A. Giua, L. Scardovi, "Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks," 59th IEEE Conf. on Decision and Control (Jeju Island, South Korea), Dec 14-18, 2020. Jointly submitted to IEEE Control Systems Letters: see [21lcsst].

[20etfa] C. Gao, D. Lefebvre, C. Seatzu, Z.W.Li, A. Giua, "A region-based approach for state estimation of timed automata under no event observation," ETFA 20: 25th IEEE Int. Conf. on Emerging Technology & Factory Automation (Vienna, Austria), Sep. 8-11, 2020.

[20ifac_a] K.Z. Zhang, A. Giua, "Instant detectability of discrete-event systems," 21st IFAC World Congress (Berlin, Germany), July 12-17, 2020.

[20ifac_b] L. Yang, Z.Y. Ma, Z.W. Li, A. Giua, Z.W. Li, "A Setting for Rumor Containment Using Linear Threshold Models," 21st IFAC World Congress (Berlin, Germany), July 12-17, 2020.

[20wodes_a] D. Lefebvre, C. Seatzu, C. Hadjicostis, A. Giua, "Probabilistic verification of attack detection using logical observer," WODES20: 15th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), Nov 11-13, 2020.

[20wodes_b] Y.K. Li, Y. Tong, A. Giua, "Detection and Prevention of Cyber Attacks in Networked Control Systems," WODES20: 15th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), Nov 11-13, 2020.

[20wodes_c] Q. Zhang, C. Seatzu, Z. Li, A. Giua, "Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets," WODES20: 15th Int. Work. on Discrete Event Systems (Rio de Janeiro, Brasil), Nov 11-13, 2020.

2019

[19cdc_a] K.Z. Zhang, A. Giua, "K-delayed strong detectability of discrete-event systems," 58th IEEE Conf. on Decision and Control (Nice, France), Dec 11-13, 2019.

[19cdc_b] C. Gu, Z.Y. Ma, Z.W. Li, A. Giua, "Verification of Nonblockingness in Bounded Petri Nets With a Semi-structural Approach," 58th IEEE Conf. on Decision and Control (Nice, France), Dec 11-13, 2019.

[19asc_a] D. Deplano, M. Franceschelli, A. Giua, "Discrete-Time Dynamic Consensus on the Max Value," 15th European Workshop on Advanced Control and Diagnosis (Bologna, Italy), November 21-22, 2019.

[19asc_b] Q. Zhang, C. Seatzu, Z.W. Li, A. Giua, "A Framework for the Analysis of Supervised Discrete Event Systems under Attack," 15th European Workshop on Advanced Control and Diagnosis (Bologna, Italy), November 21-22, 2019.

[19smc] C. Gao, C. Seatzu, Z.W. Li, A. Giua, "Multiple Attacks Detection on Discrete Event Systems," 2019 IEEE Int. Conf. on Systems, Man & Cybernetics (Bari, Italy), October 6-9, 2019.

[19case_a] K. Cai, A. Giua, C. Seatzu, On Consistent Reduction in Discrete-Event Systems, IEEE 15th Int. Conf. on Automation Science and Engineering (Vancouver, BC, Canada), August 22-26, 2019.

[19case_b] Z. He, G.H. Zhu, Z.W. Li, A. Giua, Transformation of a timed weighted marked graph into a parametric timed marked graph and its application, IEEE 15th Int. Conf. on Automation Science and Engineering (Vancouver, BC, Canada), August 22-26, 2019.

[19acc] L. Yang, A. Giua, Z.W. Li, "Rumor Containment by Spreading Correct Information in Social Networks," American Control Conference (Philadelphia, PA, USA), July 10-12, 2019.

[19codit] A.W. Lai, S. Lahaye, A. Giua, "A Two-Step Approach for Fault Diagnosis of Max-Plus Automata," CoDIT19: 6th Int. Conf. on Control, Decision and Information Technologies (Paris, France), 23-26 Apr, 2019.

2018

[18cdc] D. Deplano, M. Franceschelli, A. Giua, "Lyapunov Free Convergence Analysis of Nonlinear Multi-Agent Systems," 57th IEEE Conf. on Decision and Control (Miami Beach, FL, USA), Dec 17-19, 2018.

[18etfa_a] Q. Zhang, Z.W. Li, C. Seatzu, A. Giua, "Stealthy Attacks for Partially-Observed Discrete Event Systems," ETFA 18: IEEE Int. Conf. on Emerging Technology & Factory Automation (Torino, Italy), Sep. 4-7, 2018.

[18etfa_b] W.J. Yang, L. Brenner, A. Giua, "Influence Maximization by Link Activation in Social Networks," ETFA 18: IEEE Int. Conf. on Emerging Technology & Factory Automation (Torino, Italy), Sep. 4-7, 2018.

[18sice] Y. Tong, K. Cai, A. Giua, "Decentralized Opacity Enforcement in Discrete Event Systems Using Supervisory Control," SICE Annual Conference 2018 (Nara, Japan), Sep. 11-14, 2018.

[18atpn] E. Lefaucheux, A. Giua, C. Seatzu, "Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis", Proc. 39th Int. Conf. on Applications and Theory of Petri Nets and Concurrency (Bratislava, Slovakia), June 24-29, 2018.

[18wodes_a] S.Q. Liu, Y. Tong, C. Seatzu, A. Giua, "PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches," WODES18: 14th Int. Work. on Discrete Event Systems (Sorrento Coast, Italy), May 30-Jun 1, 2018.

[18wodes_b] Z.Y. Ma, Z. He, Z.W. Li, A. Giua, "Design of Monitor-Based Supervisors in Labelled Petri Nets," WODES18: 14th Int. Work. on Discrete Event Systems (Sorrento Coast, Italy), May 30-Jun 1, 2018.

[18wodes_c] K.Z. Zhang, A. Giua, "Weak (Approximate) Detectability of Labeled Petri Net Systems with Inhibitor Arcs," WODES18: 14th Int. Work. on Discrete Event Systems (Sorrento Coast, Italy), May 30-Jun 1, 2018.

[18codit_a] W.J. Yang, L. Brenner, A. Giua, "Computation of Activation Probabilities in the Independent Cascade Model," CoDIT18: 5th Int. Conf. on Control, Decision and Information Technologies (Thessaloniki, Greece), 10-13 Apr, 2018.

[18codit_b] C.S. Wu, I. Demongodin, A. Giua, "Computation of Synchronizing Sequences for a Class of 1-Place-Unbounded Synchronized Petri Nets," CoDIT18: 5th Int. Conf. on Control, Decision and Information Technologies (Thessaloniki, Greece), 10-13 Apr, 2018.

2017

[17cdc] Z.Y. Ma, Z.W. Li, A. Giua, "Computation of Admissible Marking Set in Weighted Petri Nets by Dynamic Programming," 56th IEEE Conf. on Decision and Control (Melbourne, Australia), Dec 12-15, 2017.

[17case] Z. He, Z.W. Li, A. Giua, "Optimization of deterministic timed weighted marked graphs," CASE'17: 13th IEEE Int. Conf. on Automation Science and Engineering (Xi'an, China), Aug 20-23 2017.

[17ifac_a] A. Giua, M. Silva, " Modeling, Analysis and Control of Discrete Event Systems: A Petri Net Perspective," 20th IFAC World Congress (Toulouse, France), July 2017.

[17ifac_b] C.S. Wu, I. Demongodin, A. Giua, "Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata," 20th IFAC World Congress (Toulouse, France), July 2017.

[17ifac_c] Z.Y. Ma, Y. Tong, Z.W. Li, A. Giua, "Marking Estimation in Labelled Petri Nets by the Representative Marking Graph," 20th IFAC World Congress (Toulouse, France), July 2017.

[17ifac_d] L. Yang, A. Giua, Z.W. Li, "Minimizing the Influence Propagation in Social Networks for Linear Threshold Models," 20th IFAC World Congress (Toulouse, France), July 2017.

[17icca] D. Deplano, S. Ware, R. Su, A. Giua, A Heuristic Algorithm to Optimize Execution Time of Multi-Robot Path, ICCA 17: 13th IEEE Int. Conf. on Control & Automation (Ohrid, Macedonia), Jul 2017

2016

[16cdc_a] Z. He, Z.W. Li, A. Giua, "Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics," 55th IEEE Conf. on Decision and Control (Las Vegas, USA), Dec 12-14, 2016.

[16cdc_b] N. Ran, H. Su, A. Giua, C. Seatzu, "Codiagnosability verification of bounded Petri nets using basis markings," 55th IEEE Conf. on Decision and Control (Las Vegas, USA), Dec 12-14, 2016.

[16tencon] Z. He, Z.W. Li, A. Giua, "Stationary behavior of manufacturing systems modeled by timed weighted marked graphs," Proc. of IEEE TENCON 2016 (Singapore), Nov 2016.

[16acc] Y. Tong, Z.Y. Ma, Z.W. Li, C. Seatzu, A. Giua, "Verification of Language-Based Opacity in Petri Nets Using Verifier," American Control Conference (Boston, MA, USA), Jul 6- 8, 2016.

[16wodes] Y. Tong, Z.Y. Ma, Z.W. Li, C. Seatzu, A. Giua, "Supervisory Enforcement of Current-State Opacity with Incomparable Observations," WODES16: 13th Int. Work. on Discrete Event Systems (Xi'an, China), May 30-Jun 1, 2016.

[16codit] Z. He, Z.W. Li, I. Demongodin, A. Giua, "Marking optimization of deterministic timed weighted marked graphs under infinite server semantics," CoDIT'16: 3rd Int. Conf. on Control, Decision and Information Technologies (Malta), 4-6 Apr 2016.

2015

[15cdc_a] Z.Y. Ma, Z.W. Li, A. Giua, "A Method to Verify the Controllability of Language Specifications in Petri Nets Based on Basis Marking Analysis," 54nd IEEE Conf. on Decision and Control (Osaka, Japan), Dec. 15-18, 2015.

[15cdc_b] Y. Tong, Z.W. Li, C. Seatzu, A. Giua, "Verification of Initial-State Opacity in Petri Nets," 54nd IEEE Conf. on Decision and Control (Osaka, Japan), Dec. 15-18, 2015.

[15cdc_c] S.G. Wang, C. Seatzu, A. Giua, "Complete Enumeration of Minimal Siphons in General Petri Nets Based on Problem Partitioning," 54nd IEEE Conf. on Decision and Control (Osaka, Japan), Dec. 15-18, 2015.

[15adhs] M. Franceschelli, A. Giua, C. Seatzu, "Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks," ADHS15: 5th IFAC Conference on Analysis and Design of Hybrid Systems (Atlanta, GA, USA), Oct 14-16, 2015.

[15case] Z. He, Z.W. Li, A. Giua, "Cycle time Optimization of Deterministic Timed Weighted Marked Graphs," CASE'15: 11th IEEE Int. Conf. on Automation Science and Engineering (Gothenburg, Sweden), Aug 24-28 2015.

[15acc_a] Z.Y. Ma, Z.W. Li, A. Giua, "A Constraint Transformation Technique in Petri Nets with Backward-Conflict-Free Uncontrollable Structures," IEEE American Control Conference (Chicago, IL, USA), Jul 1-3, 2015.

[15acc_b] Y. Tong, Z.W. Li, C. Seatzu, A. Giua, "Verification of Current-State Opacity Using Petri Nets," IEEE American Control Conference (Chicago, IL, USA), July 1-3, 2015.

2014

[14case] Z. He, Z.W. Li, A. Giua, "Marking Optimization of Deterministic Timed Weighted Marked Graphs," CASE'14: 10th IEEE Int. Conf. on Automation Science and Engineering (Taipei, Taiwan), 18-22 Aug 2014.

[14ifac_a] Z.Y. Ma, Z.W. Li, A. Giua, "An approach to determine controllability of monolithic supervisors," 19th IFAC World Congress (Cape Town, South Africa), August 2014.

[14ifac_b] M. Franceschelli, A. Giua, C. Seatzu, "Fast Discrete Consensus Based on Gossip for Makespan Minimization in Networked Systems," 19th IFAC World Congress (Cape Town, South Africa), August 2014.

[14ecc] A. Giua, C. Seatzu, "A Survey on State Estimation Using Petri Nets," 13th European Control Conference (Strasbourg, France), June 2014.

[14acc] M. Franceschelli, A. Giua, A. Pisano "Finite-Time Consensus on the Median Value by Discontinuous Control", IEEE American Control Conference (Portland, Oregon, USA), June 4-6, 2014.

[14wodes_a] Z.Y. Ma, Z.W. Li, A. Giua, "A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures," WODES14: 12th Int. Work. on Discrete Event Systems (Cachan, France), May 2014.

[14wodes_b] Y. Tong, Z.W. Li, A. Giua, "Observation Equivalence of Petri Net Generators," WODES14: 12th Int. Work. on Discrete Event Systems (Cachan, France), May 2014.

[14wodes_c] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "Testing experiments on unbounded systems: synchronizing sequences using Petri nets," WODES14: 12th Int. Work. on Discrete Event Systems (Cachan, France), May 2014.

2013

[13cdc_a] D. Rosa, A. Giua, "A non progressive model of innovation diffusion in social networks," 52nd IEEE Conf. on Decision and Control (Florence, Italy), Dec. 10-13, 2013.

[13cdc_b] M. Franceschelli, A. Pilloni, A. Pisano, A. Giua, E. Usai, "Finite-Time Consensus with Disturbance Attenuation for Directed Switching Network Topologies by Discontinuous Local Interactions," 52nd IEEE Conf. on Decision and Control (Florence, Italy), Dec. 10-13, 2013.

[13cdc_c] J. Van Gorp, A. Giua, M. Defoort, M. Djemai, "Active diagnosis for a class of switched systems," 52nd IEEE Conf. on Decision and Control (Florence, Italy), Dec. 10-13, 2013.

[13tencon] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "A new algorithm to compute synchronizing sequences for synchronized Petri nets, TENCON 2013: 2013 IEEE Region 10 Conference (Xi an, China), Oct. 22-25, 2013.

[13necsys] D. Rosa, A. Giua, "On the Spread of Innovation in Social Networks" NecSys 13: 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems (Koblenz, Germany), Sep. 25-26, 2013.

[13etfa_a] Z.Y. Ma, Z.W. Li, A. Giua, "Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints," ETFA 13: IEEE Int. Conf. on Emerging Technology & Factory Automation (Cagliari, Italy), Sep. 10-13, 2013.

[13etfa_b] Y. Tong, Z.W. Li, A. Giua, "General Observation Structures for Petri Nets, ETFA 13: IEEE Int. Conf. on Emerging Technology & Factory Automation (Cagliari, Italy), Sep. 10-13, 2013.

2012

[12wodes] I. Demongodin, A. Giua, " Stationary behavior of controlled Generalised Batches Petri Nets," WODES12: 11th Int. Work. on Discrete Event Systems (Guadalajara, Mexico), Oct 2012.

[12safeprocess] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosability analysis of an ABS system modeled using Petri nets," SAFEPROCESS12: 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (Mexico City, Mexico), Aug 2012.

[12case] M.P. Cabasino, A. Giua, L. Marcias, C. Seatzu, "A comparison among tools for the diagnosability of discrete event systems," CASE12: 8th IEEE Conference on Automation Science and Engineering (Seoul, Korea), August 2012.

[12adhs] M. Franceschelli, A. Pisano, A. Giua, E. Usai, "Finite-Time Consensus based Clock Synchronization by Discontinuous Control," ADHS12: 4th IFAC Conference on Analysis and Design of Hybrid Systems (Eindhoven, The Netherlands), Jun 2012.

[12acc] D. Rosa, M. Franceschelli, A. Giua, "Robust common reference estimation and formation control for multi-agent systems," ACC12: 2012 American Control Conference (Montreal, Canada), Jun 2012.

[12icc] V. Pilloni, M. Franceschelli, L. Atzori, A. Giua, "A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks," ICC12: IEEE Int. Conf. on Communications (Ottawa, ON, Canada), pp. 1372-1377, 2012.

2011

[11cdc_a] A. Gasparri, A. Giua, D. Di Paola, G. Ulivi, D. Naso, "Consensus-Based Decentralized Supervision of Petri Nets," 50th IEEE Conf. on Decision and Control (Orlando, Florida, USA), Dec 2011.

[11cdc_b] M.P. Cabasino, A. Giua, C. Mahulea, C. Seatzu "On Decentralized Observability of Discrete Event Systems," 50th IEEE Conf. on Decision and Control (Orlando, Florida, USA), Dec 2011.

[11ifac_a] A. Giua, C. Seatzu, Y. Wardi, "IPA for Continuous Petri Nets with Threshold-Based Flow Control," 18th IFAC World Congress (Milan, Italy), August-September 2011.

[11ifac_b] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu "Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets," 18th IFAC World Congress (Milan, Italy), August-September 2011.

[11case_a] M. Hejri, A. Giua, "Hybrid Modeling and Control of Switching DC-DC Converters via Mixed Logical Dynamical Systems," CASE11: 7th IEEE Conference on Automation Science and Engineering (Trieste, Italy), August 2011.

[11case_b] M.P. Cabasino, A. Giua, C. Seatzu, A. Solinas, L. Contini, "A software platform for the integration of discrete event systems tools," CASE11: 7th IEEE Conference on Automation Science and Engineering (Trieste, Italy), August 2011.

[11case_c] M.P. Cabasino, A. Giua, C. Seatzu, A. Solinas, M.K. Zedda, "Fault diagnosis of an ABS system using Petri nets," CASE11: 7th IEEE Conference on Automation Science and Engineering (Trieste, Italy), August 2011.

[11jdmacs] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "S quences de synchronisation sur les r seaux de Petri," 4 mes Journ es Doctorales MACS (Marseille, France), June 2011.

[11devs] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "Synchronizing Sequences On Not Strongly Connected Petri Nets," DEVS/TMS'11: Symposium On Theory of Modeling and Simulation (Boston, MA, USA), April 2011.

2010

[10cdc] M. Franceschelli, S. Martini, M. Egerstedt, A. Bicchi, A. Giua, "Observability and Controllability Detection of Multi-Agent Systems through Decentralized Laplacian Spectrum Estimation," 49th IEEE Conf. on Decision and Control (Atlanta, Georgia, USA), Dec 2010.

[10emss_b] M. Pocci, I. Demongodin, N. Giambiasi, A. Giua, "Testing Discrete Event Systems: Synchronizing Sequences using Petri Nets," EMSS 2010: 22nd European Modeling & Simulation Symposium (Fes, Morocco), Oct, 2010.

[10wodes_a] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "A new protocol for the decentralized diagnosis of labeled Petri nets," WODES10: 10th Int. Work. on Discrete Event Systems (Berlin, Germany), Aug-Sep 2010.

[10wodes_b] I. Demongodin, A. Giua, "Linear programming techniques for analysis and control of batches Petri nets," WODES10: 10th Int. Work. on Discrete Event Systems (Berlin, Germany), Aug-Sep 2010.

[10wodes_c] A. Giua, C. Seatzu, Y. Wardi, "IPA for Continuous Petri Nets," WODES10: 10th Int. Work. on Discrete Event Systems (Berlin, Germany), Aug-Sep 2010.

[10case] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosis using labeled Petri nets: faults may either be silent or undistinguishable events," CASE10: 6th IEEE Conference on Automation Science and Engineering (Toronto, ON, Canada), Aug 2010.

[10acc] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosis of Petri nets," ACC10: 2010 American Control Conference (Baltimore, MD, USA), Jun-Jul 2010.

[10icra] M. Franceschelli, A. Gasparri, A. Giua, G. Ulivi, "Decentralized stabilization of heterogeneous linear multi-agent systems," ICRA2010: 2010 IEEE Int. Conf. on Robotics and Automation (Anchorage, AK, USA), pp. 3556-3561, May, 2010.

2009

[09cdc_a] M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu, "Diagnosability analysis of unbounded Petri nets," 48th IEEE Conf. on Decision and Control (Shanghai, China), pp. 1267-1272, December 2009.

[09cdc_b] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosability of bounded Petri nets," 48th IEEE Conf. on Decision and Control (Shanghai, China), pp. 1254-1260, December 2009.

[09cdc_c] M. Franceschelli, A. Gasparri, A. Giua, C. Seatzu, "Decentralized Laplacian Eigenvalues Estimation for Networked Multi-Agent Systems," 48th IEEE Conf. on Decision and Control (Shanghai, China), pp. 2717-2722, December 2009.

[09necsys] M. Franceschelli, A. Giua, C. Seatzu, "Consensus on the Average on Arbitrary Strongly Connected Digraphs Based on Broadcast Gossip Algorithms," NecSys09: 1st IFAC Workshop on Estimation and Control of Networked Systems (Venice, Italy), Sep 2009.

[09adhs_a] A. Giua, C. Seatzu, Y. Wardi "Application of IPA to Fluid Petri Nets," ADHS'09: 3nd IFAC Conf. on the Analysis and Design of Hybrid Systems (Zaragoza, Spain), Sep 2009.

[09adhs_b] N. Orani, A. Pisano, M. Franceschelli, A. Giua, E. Usai, "Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems," ADHS'09: 3nd IFAC Conf. on the Analysis and Design of Hybrid Systems (Zaragoza, Spain), Sep 2009.

[09case] M. Franceschelli, A. Giua, C. Seatzu, "Decentralized Fault Diagnosis for Sensor Networks," CASE09: IEEE Conference on Automation Science and Engineering (Bangalore, India), pp. 334-339, Aug 2009.

[09icinco] M.P. Cabasino, A. Giua, C. Seatzu, "Discrete event diagnosis using Petri nets," ICINCO09: 6th Int. Conf. on Informatics in Control, Automation and Robotics (Milano, Italy), July 2009.

[09mcsc] M. Franceschelli, A. Giua, C. Seatzu, "Hamiltonian Quantized Gossip," MCSC09: 2009 IEEE Multi conference on Systems and Control (Saint Petersburg, Russia), pp. 648-654, Jul 2009.

[09acc_a] M. Franceschelli, A. Giua, C. Seatzu, "Load Balancing Over Heterogeneous Networks with Gossip-Based Algorithms," ACC09: 2009 American Control Conference (St Louis, USA), pp. 1987-1993, Jun 2009.

[09acc_b] M. Franceschelli, M. Egerstedt, A. Giua, C. Mahulea, "Constrained Invariant Motions for Networked Multi-Agent Systems," ACC09: 2009 American Control Conference (St Louis, USA), pp. 5749-5754, Jun 2009.

[09dcds] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosis of discrete event systems using labeled Petri nets," DCDS09: 2nd IFAC Work. on Dependable Control of Discrete Systems (Bari, Italy), Jun 2009.

2008

[08cdc_a] M.P. Cabasino, A. Giua, C. Seatzu, "Linear Programming Techniques for the Identification of Place/Transition Nets," 47th IEEE Conf. on Decision and Control (Cancun, Mexico), pp. 514-520, December 2008.

[08cdc_b] Y. Ru, M.P. Cabasino, A. Giua, C.N. Hadjicostis, "Supervisor Synthesis for Discrete Event Systems with Arbitrary Forbidden State Specifications," 47th IEEE Conf. on Decision and Control (Cancun, Mexico), pp. 1048-1053, December 2008.

[08smc] F. Sessego, A. Giua, C. Seatzu, "Simulation and Analysis of Hybrid Petri Nets using the Matlab Tool HYPENS," SMC08: 2008 IEEE Int. Conf. on Systems, Man & Cybernetics (Singapore), pp. 1922-1928, October 2008.

[08ifac] F. Basile, A. Giua, C. Seatzu, "Some new results on supervisory control of Petri nets with decentralized monitor places," 17th IFAC World Congress (Seoul, Korea), Vol. 17, Part 1, pp. 531-536, July 2008.

[08acc] M. Franceschelli, M. Egerstedt, A. Giua, "Motion probes for fault detection and recovery in networked control systems," 2008 American Control Conference (Seattle, WA, USA), pp. 4358-4363, June 2008.

[08wodes_a] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, "Properties of continuous Petri nets controlled via model predictive control," 9th Int. Workshop on Discrete Event Systems (G teborg, Sweden), pp. 293-299, May 2008.

[08wodes_b] M.P. Cabasino, A. Giua, C.N. Hadjicostis, C. Seatzu, "Fault model identification with Petri nets," 9th Int. Workshop on Discrete Event Systems (G teborg, Sweden), pp. 455-461, May 2008.

[08wodes_c] S. Lai, D. Nessi, M.P. Cabasino, A. Giua, C. Seatzu, "A comparison between two diagnostic tools based on automata and Petri nets," 9th Int. Workshop on Discrete Event Systems (G teborg, Sweden), pp. 144-149, May 2008.

2007

[07cdc_a] M. Franceschelli, A. Giua, C. Seatzu, "Load balancing on networks with gossip-based distributed algorithms," 46th IEEE Conf. on Decision and Control (New Orleans, LA, USA), pp. 500-505, December 2007.

[07cdc_b] C. Mahulea, M.P. Cabasino, A. Giua, C. Seatzu, "A state estimation problem for timed continuous Petri nets," 46th IEEE Conf. on Decision and Control (New Orleans, LA, USA), pp. 1770-1775, December 2007.

[07case_a] C. Mahulea, M.P. Cabasino, A. Giua, L. Recalde, C. Seatzu, M. Silva, "State estimation of Petri nets by transformation," 3rd Annual IEEE Conf. on Automation Science and Engineering (Scottsdale, AZ, USA), pp. 194-199, September 2007.

[07case_b] F. Basile, A. Giua, C. Seatzu, "Decentralized supervisory control of Petri nets with monitor places," 3rd Annual IEEE Conf. on Automation Science and Engineering (Scottsdale, AZ, USA), pp. 7-13, September 2007.

[07dcds] M.P. Cabasino, A. Giua, C. Seatzu, "Marking estimation of Petri nets with arbitrary transition labeling," 1st IFAC Work. on Dependable Control of Discrete Systems, Paris, France, June 2007.

[07acc_a] F. Basile, A. Giua, C. Seatzu, "Supervisory control of Petri nets with decentralized monitor places," ACC07: 26th American Control Conference (New York, USA), pp. 4957-4962, July 2007.

[07acc_b] D. Corona, J. Buisson, B. De Schutter, A. Giua, "Stabilization of switched affine systems: An application to the buck-boost converter," ACC07: 26th American Control Conference (New York, USA), pp. 6037-6042, July 2007.

2006

[06cdc] M.P. Cabasino, A. Giua, C. Seatzu, "Identification of unbounded Petri nets from their coverability graph," 45th IEEE Conf. on Decision and Control (San Diego, CA, USA), pp. 434-440, December 2006.

[06nolta] M.P. Cabasino, A. Giua, C. Seatzu, "Computational complexity analysis of a Petri net identification procedure," 2006 Int. Symposium on Nonlinear Theory and its Applications (Bologna, Italy), September 2006.

[06posta] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, "Optimal control of timed continuous Petri nets via explicit MPC," POSTA’06: 2nd Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications (Grenoble, France), Aug-Sep 2006.

[06wodes_a] M.P. Cabasino, A. Giua, C. Seatzu, "Identification of deterministic Petri nets," WODES'06: 8th Int. Workshop on Discrete Event Systems (Ann Arbor, MI, USA), ), pp. 325-331, July 2006.

[06wodes_b] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, "Optimal control of continuous Petri nets via model predictive control," WODES'06: 8th Int. Workshop on Discrete Event Systems (Ann Arbor, MI, USA), pp. 235-241, July 2006.

[06med] T. Paschedag, A. Giua, C. Seatzu, "Constrained optimal control: an application to semiactive suspension systems," MED'06: 14th IEEE Mediterranean Conference on Control Automation (Ancona, Italy), pp. 1-8, June 2006.

[06adhs] C. Mahulea, A. Giua, L. Recalde, C. Seatzu, M. Silva, " On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics," ADHS’06: 2nd IFAC Conf. on the Analysis and Design of Hybrid Systems (Alghero, Italy), pp. 37-43, June 2006.

[06ccnc] N. Aste, L. Atzori, L. Sanna Randaccio, A. Giua, "Power Management in iBSS Wireless Networks: Selective Awakening of Doze Stations," CCNC'06: 3rd IEEE Consumer Communications and Networking Conference (Las Vegas, NV, USA), pp. 1253-1257, January 2006.

2005

[05cdc-ecc_a_up] A. Giua, C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions", CDC-ECC'05: 44th IEEE Conf. on Decision and Control and European Control Conference (Seville, Spain), pp. 6323-6328, December 2005. [In this updated version an error in Algorithm 3.5, Step 6, has been corrected.]

[05cdc-ecc_b] A. Giua, C. Seatzu, "Identification of free-labeled Petri nets via integer programming", CDC-ECC'05: 44th IEEE Conf. on Decision and Control and European Control Conference (Seville, Spain), pp. 7639 – 7644, December 2005.

[05etfa_a] D. Corona, A. Giua, C. Seatzu, "Quantized optimal control of discrete-time systems", 10th IEEE Int. Conf. on Emerging Technologies and Factory Automation (Catania, Italy), September 2005.

[05etfa_b] F. Basile, A. Giua, C. Seatzu, "Decentralized supervisory control of Petri nets with monitor places", 10th IEEE Int. Conf. on Emerging Technologies and Factory Automation (Catania, Italy), September 2005.

[05ifac_a] D. Corona, A. Giua, C. Seatzu, "Stabilization of switched systems via optimal control," 16th IFAC World Congress (Prague, Czech Republic), July 2005.

[05ifac_b] A. Giua, X. Xie, "Nonblocking control of Petri nets using unfolding," 16th IFAC World Congress (Prague, Czech Republic), July 2005.

[05ifac_c] J.-M. Roussel, A. Giua, "Designing dependable logic controllers using the supervisory control theory," 16th IFAC World Congress (Prague, Czech Republic), July 2005.

[05isic-med] D. Gromov, E. Mayer, J. Raisch, D. Corona, C. Seatzu, A. Giua, "Optimal control of discrete-time hybrid automata under safety and liveness constraints," Proc. 2005 ISIC-MED: Joint 2005 International Symposium on Intelligent Control & 13th Mediterranean Conference on Control and Automation (Limassol, Cyprus), June 2005.

2004

[04cdc] D. Corona, A. Giua, C. Seatzu, "Marking Estimation of Petri Nets with Silent Transitions," 43rd IEEE Conf. on Decision and Control (Atlantis, The Bahamas), December 2004.

[04mosim] A. Giua, C. Seatzu, F. Basile, "Control and deadlock recovery of timed Petri nets using observers," Proc. MOSIM'04: 5eme Conf. Francophone de Mod lisation et Simulation (Nantes, France), Sep 2004.

[04isic] D. Corona, A. Giua, C. Seatzu, "Optimal Feedback Switching Laws for Autonomous Hybrid Automata," Proc. Int. Symposium on Intelligent Control (Taipei, Taiwan), September 2004.

[04cca] A. Giua, M. Melas, C. Seatzu, "Design of a control law for a semiactive suspension system using a solenoid valve damper," Proc. 2004 IEEE Conference on Control Applications(Taipei, Taiwan), September 2004.

[04cacsd] D. Corona, C. Seatzu, A. Giua, D. Gromov, E. Mayer, J. Raisch, " Optimal hybrid control for switched linear systems under safety and liveness constraints," Proc. 2004 CACSD (Taipei, Taiwan), September 2004.

[04wodes_a] A. Giua, D. Corona, C. Seatzu, "State estimation and control of nondeterministic lambda-free labeled Petri nets," Proc. IFAC WODES04: 7th Workshop on Discrete Event Systems (Reims, France), Sep 2004.

[04wodes_b] A. Giua, X. Xie, "Control of safe ordinary Petri nets with marking specifications using unfolding," Proc. IFAC WODES04: 7th Workshop on Discrete Event Systems (Reims, France), Sep 2004.

[04wodes_c] C. Seatzu, A. Giua, "Monitor design for colored Petri nets with uncontrollable and unobservable transition," Proc. IFAC WODES04: 7th Workshop on Discrete Event Systems (Reims, France), Sep 2004.

2003

[03smc_a] M.P. Fanti, A. Giua, C. Seatzu, "Generalized Mutual Exclusion Constraints and Monitors for Colored Petri Nets," Proc. 2002 IEEE Int. Conf. Systems, Man & Cybernetics (Washington, D.C., USA), October 2003.

[03smc_b] M.P. Fanti, A. Giua, C. Seatzu, "A Deadlock Prevention Method for Railway Networks using Monitors for Colored Petri Nets," Proc. 2002 IEEE Int. Conf. Systems, Man & Cybernetics (Washington, D.C., USA), October 2003.

[03ecc] A. Giua, M. Melas, C. Seatzu, "Design of a control law for a magneto-rheological suspension," Proc. European Control Conference 2003 (Cambridge, UK), September 2003.

[03etfa] A. Giua, J. J lvez, C. Seatzu, "Observers for nondeterministic lambda-free labelled Petri nets", Proc. 9th IEEE Int. Conf. on Emerging Tech. and Factory Automation (Lisbon, Portugal), September 2003.

[03posta] R. Armosini, A. Giua, T. Pilloni, C. Seatzu, "Simulation and Control of a Bottling Plant using First-Order Hybrid Petri Nets," Proc. First Multidisciplinary Int. Symp. on Positive Systems: Theory and Applications (Roma, Italy), pp. 79-86, Lecture Notes on Control and Information Sciences, Vol. 294, Springer-Verlag, 2003.

[03cesa] F. Basile, A. Giua, C. Seatzu, "Observer-based state-feedback control of timed Petri nets with deadlock recovery: theory and implementation," Proc. CESA'2003 Multiconference (Lille, France), July 2003.

[03adhs] A. Bemporad, D. Corona, A. Giua, C. Seatzu, "Optimal state-feedback quadratic regulation of linear hybrid automata," Proc. 2003 IFAC Conf. on Analysis and Design of Hybrid Systems (St Malo, France), pp. 407-412, June 2003.

[03acc_a] A. Giua, C. Seatzu, "Deadlock Characterization for Petri Nets Controlled Using GMEC's and Observers", Proc. 2003 American Control Conference (Denver, Colorado), pp. 320-325, June 2003.

[03acc_b] A. Giua, J. J lvez, C. Seatzu, "Marking Estimation of Petri Nets based on Partial Observation", Proc. 2003 American Control Conference (Denver, Colorado), pp. 326-331, June 2003. A version of this paper with titled " Marking estimation of Petri nets with lambda-free labeling" has also appeared in the Proc. Work. on Discrete Event Systems Control (Eindhoven, The Netherlands), June 2003.

2002

[02cdc_a] A. Bemporad, A. Giua, C. Seatzu, "Synthesis of state-feedback optimal controllers for continuous-time switched linear systems," 41st IEEE Conf. on Decision and Control (Las Vegas, Nevada), pp. 3182-3187, December 2002.

[02cdc_b] A. Bemporad, A. Giua, C. Seatzu, "A master-slave algorithm for the optimal control switched affine systems," 41st IEEE Conf. on Decision and Control (Las Vegas, Nevada), pp. 1976-1981, December 2002.

[02cdc_c] F. Basile, A. Giua, C. Seatzu, "Petri net control using event observers and timing information," 41st IEEE Conf. on Decision and Control (Las Vegas, Nevada), pp. 787-792, December 2002.

[02smc_a] M. Balliccu, A. Giua, C. Seatzu, "Job-shop scheduling models with set-up times," Proc. 2002 IEEE Int. Conf. on Systems, Man & Cybernetics (Hammamet, Tunisia), pp. 95-100, October 2002.

[02smc_b] A. Giua, A. Meloni, T. Pilloni, C. Seatzu, "Modelling of a bottling plant using hybrid Petri nets," Proc. 2002 IEEE Int. Conf. on Systems, Man & Cybernetics (Hammamet, Tunisia), pp. 375-380, October 2002.

[02wodes_a] A. Giua, C. Seatzu, "Liveness enforcing supervisors for railway networks using ES2PR Petri nets," Proc. WODES02: 6th Int. Work. on Discrete Event Systems (Zaragoza, Spain), pp. 55-60, October 2002.

[02wodes_b] A. Bemporad, A. Giua, C. Seatzu, "An iterative algorithm for the optimal control of continuous-time switched linear systems," Proc. WODES02: 6th Int. Work. on Discrete Event Systems (Zaragoza, Spain), pp. 335-340, October 2002.

[02ifac_a] I. Demongodin, A. Giua, "Some analysis methods for continuous and hybrid Petri nets," 15th IFAC World Congress (Barcelona, Spain), July 2002.

[02ifac_b] B. Gaujal, A. Giua, "Optimal routing of continuous timed Petri nets," 15th IFAC World Congress (Barcelona, Spain), July 2002.

2001

[01cdc_a] M. Ebau, A. Giua, C. Seatzu, G. Usai, "Semiactive suspension design taking into account the actuator delay," 40th IEEE Conf. on Decision and Control (Orlando, Florida), pp. 93 -98, December 2001.

[01cdc_b] A. Giua, C. Seatzu, C. Van Der Mee, "Optimal control of switched autonomous linear systems," 40th IEEE Conf. on Decision and Control (Orlando, Florida), pp. 2472-2477, December 2001. [NOTE: this paper is missing from the CD ROM but appeared in the hard-copy of the proceedings]

[01cdc_c] A. Giua, C. Seatzu, "Supervisory control of railway networks with Petri nets," 40th IEEE Conf. on Decision and Control (Orlando, Florida), pp. 5004-5009, December 2001.

[01etfa] F. Basile, P. Chiacchio, A. Giua, C. Seatzu , "Deadlock recovery of controlled Petri net models using observers," Proc. ETFA01: 8th IEEE Int. Conf. on Emerging Tech. and Factory Automation (Antibes, Francia), October 2001.

[01ecc] A. Giua, C. Seatzu, "The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transitions Nets," Proc. 6th European Control Conference (Porto, Portugal), pp. 1339-1344, September 2001.

[01isic] A. Giua, C. Seatzu, C. Van Der Mee, "Optimal control of autonomous linear systems switched with a pre-assigned finite sequence," Proc. IEEE Int. Symp. on Intelligent Control (Mexico City, Mexico), pp. 144-149, September 2001.

[01cca] R. Furcas, A. Giua, A. Piccaluga, C. Seatzu, "Modeling Production Systems with Inventory Using Hybrid Petri Nets," Proc. IEEE Int. Conf. on Control Applications (Mexico City, Mexico), pp. 434-440, September 2001

[01aim] F. Diana, A. Giua, C. Seatzu, "Safeness-Enforcing Supervisory Control for Railway Networks," Proc 2001 IEEE/ASME Int. Conf. on Advanced Intelligent Mechatronics (Como, Italy), pp. 99-104, July 2001.

2000

[00cdc_a] F. Basile, P. Chiacchio, A. Giua, "Optimal control of Petri net monitors with control and observation costs," 39th IEEE Conf. on Decision and Control(Sidney, Australia), pp. 424-429, December, 2000.

[00cdc_b] A. Giua, C. Seatzu, G. Usai, "Active axletree suspension for road vehicles with gain-switching," 39th IEEE Conf. on Decision and Control (Sidney, Australia), pp. 438-443, December, 2000.

[00cdc_c] A. Giua, C. Seatzu, "Observability properties of Petri nets," 39th IEEE Conf. on Decision and Control (Sidney, Australia), pp. 2676-2681, December, 2000.

[00adpm_a] B. Cannas, A. Fanni,A. Giua, C. Seatzu, "Chaotic behavour in hybrid systems," Proc. 4th ADPM Int. Conf. Automation of Mixed Processes (Dortmund, Germany),pp. 209-215, September, 2000.

[00adpm_b] A. Giua, R. Furcas, A. Piccaluga, C. Seatzu, "Modeling and Control of Inventory Management Policies Using First-Order Hybrid Petri Nets," Proc. 4th ADPM Int. Conf. Automation of Mixed Processes (Dortmund, Germany),pp. 273-278, September, 2000.

[00wodes] A. Giua, A. Piccaluga, C. Seatzu, "Optimal token allocation in timed cyclic event-graphs," Proc. 4th Int. Workshop on Discrete Event Systems (Ghent, Belgium), pp. 209-218, August, 2000.

[00icra] A. Giua, A. Piccaluga, C. Seatzu, "Incremental Optimization of Timed Cyclic Event Graphs," Proc. 1999 IEEE Int. Conf. on Robotics & Automation (San Francisco, California), pp. 2211-2216, April, 2000.

[00mathmod_a] F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, "Unitary-rate Hybrid Petri Nets,"Proc. 3nd IMACS Symp. on Mathematical Modelling MATHMOD (Vienna, Austria), pp. 461-465,February, 2000.

[00mathmod_b] A. Giua, M. Sanna, C. Seatzu, "Modelling and control of 3D overhead cranes,"Proc. 3nd IMACS Symp. on Mathematical Modelling MATHMOD (Vienna, Austria), ), pp. 839-843, February, 2000.

1999

[99cdc] F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, "Decidability of single-rate hybrid Petri nets," 38th IEEE Conf. on Decision and Control (Phoenix, Arizona), pp. 2243-2248, December, 1999.

[99cdc] F. Balduzzi, A. Giua, C. Seatzu, "Hybrid Control of Production Systems with Local Optimization," Proc. 7th IEEE Int. Conf. on Emerging Technologies and Factory Automation (Barcelona, Spain), pp. 1531-1540, October, 1999.

[99wfmm] F. Balduzzi, A. Giua, C. Seatzu, "Modelling Automated Manufacturing Systems with Hybrid Automata," Proc. Work. on Formal Methods and Manufacturing (Zaragoza, Spain), pp. 33-48, September, 1999.

[99cscc] F. Balduzzi, A. Di Febbraro, A. Giua, S. Sacone, "Control of Hybrid Petri nets using Max-plus Algebra," Proc. 3rd World CSCC MultiConference (Athens, Greece), July, 1999.

[99ifac] F. Balduzzi, G. Menga, A. Giua, C. Seatzu, "A Linear State Variable Model for First-Order Hybrid Petri Nets," Proc. 14th IFAC World Congress (Beijing, China), Vol. J, pp. 205-210, July, 1999.

[99icra] F. Balduzzi, G. Menga, A. Giua, "Optimal Control of Production Systems with Unreliable Machines and Finite Buffers," Proc. 1999 IEEE Int. Conf. on Robotics & Automation (Detroit, Michigan), pp. 1462-1468, May 1999.

1998

[98cdc] F. Balduzzi, G. Menga, A. Giua, "Hybrid Analysis of Automated Manufacturing Systems Using Discrete Linear Inclusions," 37th IEEE Conf. on Decision and Control(Tampa, Florida), pp. 1710-1715, December, 1998.

[98smc_a] F. Balduzzi, G. Menga, A. Giua, "Optimal Speeds Allocation and Sensitivity Analysis for Hybrid Stochastic Petri Nets," Proc. 1998 IEEE Int. Conf. on Systems, Man & Cybernetics (San Diego, California), pp. 656-662, October, 1998.

[98smc_b] F. Basile, P. Chiacchio, A. Giua, "On the Choice of Suboptimal Monitor Places for Supervisory Control of Petri Nets," Proc. 1998 IEEE Int. Conf. on Systems, Man & Cybernetics (San Diego, California), pp. 752-757, October, 1998.

[98smc_c] C. Seatzu, A. Giua, G. Usai, "Decentralized Volume Control of Open-Channels Using H2 Norm Minimization," Proc. 1998 IEEE Int. Conf. on Systems, Man & Cybernetics (San Diego, California), pp. 3891-3896, October, 1998.

[98cca] A. Giua, A. Savastano, C. Seatzu, G. Usai, "Approximation of an Optimal Gain Switching Active Law with a Semiactive Suspension" Proc. 1998 IEEE Int. Conf. on Control Applications (Trieste, Italy), pp. 248-252, September, 1998.

[98wodes_a] F. Balduzzi, G. Menga, A. Giua, "Hybrid Stochastic Petri Nets: firing speed computation and FMS modelling" Proc. 4th Int. Work. on Discrete Event Systems (Cagliari, Italy), pp. 432-438, August, 1998.

[98wodes_b] F. Basile, P. Chiacchio, A. Giua, "Supervisory Control of Petri Nets Based on Suboptimal Monitors Places" Proc. 4th Int. Work. on Discrete Event Systems (Cagliari, Italy), pp. 85-87, August, 1998.

[98avcs] A. Giua, A. Savastano, C. Seatzu, G. Usai, " Tandem Active-Passive Suspension Design with Constraints on the Forces," Proc. Int. Conf. on Advances in Vehicle Control and Safety (Amiens, France), pp. 460-466, July, 1998.

[98mccs_a] A. Giua, C. Seatzu, "Observer-Controller Design for Cranes via Pole Placement and Gain-Scheduling," Proc. 6th IEEE Mediterranean Conf. on Control and Systems (Alghero, Italy), pp. 233-238, June, 1998.

[98mccs_b] A. Giua, C. Seatzu, "Manufacturing Systems Control with Petri Nets Observers," Proc. 6th IEEE Mediterranean Conf. on Control and Systems (Alghero, Italy), pp. 759-764, June, 1998.

[98mccs_c] F. Balduzzi, G. Menga, A. Giua, "A State variable Approach for the Modelling and Control of Flexible Manufacturing Systems," Proc. 6th IEEE Mediterranean Conf. on Control and Systems (Alghero, Italy), pp. 735-740,June, 1998.

[98adpm] A. Giua, E. Usai "Modelling Hybrid Systems by High-Level Petri Nets," Proc. 3rd Int. Conf. on Automation of Mixed Processes (Reims, France), pp. 316-323, March, 1998.

1997

[97cdc] A. Giua, "Petri Net State Estimators Based on Event Observation," 36th IEEE Conf. on Decision and Control(San Diego, California), pp. 4086-4091, December, 1997.

[97wmpn] A. Fanni, A. Giua, N. Sanna, "Control and Error Recovery of Petri Net Models with Event Observers," Proc. Second Int. Work. on Manufacturing and Petri Nets (Toulouse, France), pp. 53-68, June, 1997.

[97wric] G. Corriga, A. Giua, G. Usai, "Petri Net Modeling of Irrigation Canal Networks," Int. Work. on Regulation of Irrigation Canals (Marrakech, Morocco), pp. 39-48, April, 1997.

[97mathmod_a] A. Giua, "A Comparison of Petri Net Supervisory Approaches for State Specifications," Proc. 2nd IMACS Symp. on Mathematical Modelling MATHMOD (Vienna, Austria), pp. 159-164, February, 1997.

[97mathmod_b] A. Fanni, A. Giua, "A Formal Methodology for Representing Qualitative Equations with Petri Nets," Proc. 2nd IMACS Symp. on Mathematical Modelling MATHMOD (Vienna, Austria), pp 217-222, February, 1997.

1996

[96cdc] A. Giua, E. Usai "High-Level Hybrid Petri Nets: a Definition," 35th IEEE Conf. on Decision and Control (Kobe, Japan), pp. 148-150, December, 1996.

[96wodes] S. Gaubert, A. Giua, "Petri Net Languages With Infinite Sets of Final Markings," Proc. 3rd Work. on Discrete Event Systems WODES96 (Edinburgh, Scotland), pp. 326-331, August, 1996.

[96cesa] A. Fanni, A. Giua, M. Marchesi, N. Sanna, "Object-oriented Petri net simulation for traffic signal control," Proc. Symposium on Discrete Events and Manufacturing Systems (CESA96), Lille, France, pp. 553-558, July, 1996.

[96wmpn] A. Giua, "Petri Net Techniques for Supervisory Control of Discrete Event Systems," Proc. First Int. Work. on Manufacturing and Petri Nets(Osaka, Japan), pp. 1-30, June, 1996. A longer version also appeared in the proceedings of the summer school MOVEP96: Mod lisation et verification des Processus Parall les (Nantes, France), June 1996.

1995

[95cdc] A. Giua, "Model Reduction of Finite State Machines by Contractions," 34th IEEE Conf. on Decision and Control (New Orleans, Lousiana), pp. 439-444, December, 1995.

[95eann] A. Fanni, A. Giua, A. Montisci, "Diagnosis of Electrical Circuits Using Neural Networks and Principal Components Analysis," Proc. Int. Conf. on Engineering Applications of Neural Networks (Helsinki, Finland), pp. 629-632, August, 1995.

[95etfa] A. Giua, "Supervisory Control of a Manufacturing System Using Petri Net Structures," Proc. 4th INRIA/IEEE Conf. on Emerging Technologies and Factory Automation (Paris, France), Vol. 2, pp. 105-116, October, 1995.

1994

[94cdc] G. Corriga, A. Giua, W. Matta, G.P. Usai, "Frequency-Shaping Design of a Gain- Scheduling Controller for Pantographs," 33rd IEEE Conf. on Decision and Control (Lake Buena Vista, Florida), pp. 393-398, December, 1994.

[94smc] A. Fanni, A. Giua, D.Y. Lee, "Petri Nets in the Qualitative Modelling of Systems," Proc. 1994 IEEE Int. Conf. on Systems, Man & Cybernetics (San Antonio, Texas), pp. 2316-2321, October, 1994.

[94wpd] A. Fanni, A. Giua, F. Micheli, A. Montisci, "A Multiple Neural Network Diagnostic System for Analog Circuits Based on Fourier Transforms," Proc. 5th Int. Work. on Principles of Diagnosis (New Paltz, New York), pp. 98-105, October, 1994.

[94iecon] L. Ferrarini, A. Giua, C. Maffezzoni, "Design and implementation issues in the control of discrete-event systems," Proc. IECON 94: IEEE Int. Conf. on Industrial Electronics (Bologna, Italy), pp. 1515-1520, September, 1994.

1993

[93cdc] A. Giua, F. DiCesare, "Weak Petri Net Languages for Supervisory Control," 32nd IEEE Conf. on Decision and Control (San Antonio, Texas), pp. 229-234, Dec 1993.

[93dft] A. Fanni, A. Giua, E. Sandoli, "Neural Networks for Multiple Fault Diagnosis in Analog Circuits," 6th IEEE Work. on Defect and Fault Tolerance in VLSI Systems (Venezia, Italy), pp. 303-310, Oct 1993.

[93ifac] A. Giua, F. DiCesare, M. Silva, "Petri Net Supervisors for Generalized Mutual Exclusion Constraints", 12th IFAC World Congress (Sidney, Australia), Vol. 1, pp. 267-270, July 1993.

[93icra] A. Giua, F. DiCesare, "A Class of Petri Nets with a Convex Reachability Set," 1993 IEEE Int. Conf. on Robotics and Automation (Atlanta, Georgia), pp. 578-583, May 1993.

1992

[92cdc] A. Giua, F. DiCesare, "On the Existence of Petri Net Supervisors," 31st IEEE Conf. on Decision and Control (Tucson, Arizona), pp. 3380-3385, Dec 1992.

[92smc] A. Giua, F. DiCesare, M. Silva, "Generalized Mutual Exclusion Constraints for Nets with Uncontrollable Transitions", IEEE Int. Conf. on Systems, Man & Cybernetics (Chicago, USA), pp. 974-799, October 1992.

1991

[91cdc] A. Giua, F. DiCesare, "Supervisory Design Using Petri Nets," 30th IEEE Conf. on Decision and Control (Brighton, Inghilterra), pp. 92-97, Dec 1991.

[91smc] H. Jungnitz, A. Giua, A. Desrochers, "An Integration Based Method for the Solution of Continuous Time Markov Chains," PIEEE Int. Conf. on Systems, Man & Cybernetics (Charlottesville, USA), pp. 385-390, Oct 1991.

1990

[90cdc] A. Giua, F. DiCesare, "Easy Synchronized Petri Nets as Discrete Event Models," 29th IEEE Conf. on Decision and Control (Honolulu, Hawaii), pp. 2839-2844, Dec 1990.

[90wimc] A. Cois, A. Fanni, A. Giua, "An Expert System for Designing and Supervising a Discrete Event Model," Proc. IEEE Int. Work. on Intelligent Motion Control (Istanbul, Turkey), pp. 103-107, Aug 1990.

1989

[89isic] A. Cois, A. Fanni, A. Giua, S. Pes, "Qualitative Analysis in Simulating Analog Circuits," Proc. IEEE 4th Int. Symp. on Intelligent Control (Albany, New York), pp. 531-6, Sep 1989.

Publications of Alessandro Giua

Books

Journal Papers

Early access

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

2006

2005

2004

2002

2001

2000

1999

1998

1997

1996

1995

1994

Book Chapters and Articles

Special Issues

Edited proceedings

Conference Papers

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

Thesis