Some of my publications (with links to downloadable files).

[Books] [Journal Papers] [Book Chapters and Articles] [Special Issues] [Edited proceedings] [Conference papers] [Thesis]

[09asd] A. Giua, C. Seatzu,
*Analisi dei sistemi dinamici*, Springer-Verlag Italia, 2005. 2nd edition 2009.

[02sed] A. Di Febbraro, A.
Giua, *Sistemi ad eventi discreti*, McGraw-Hill, 2002.

[tac] D. Deplano, M. Franceschelli, A. Giua, "Dynamic Min and Max Consensus and Size Estimation of Anonymous Multi-Agent Networks," *IEEE Trans. on Automatic Control*. Published on-line, December 2021. DOI: 10.1109/TAC.2021.3135452

[tsmc_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*. Published on-line, January 2022. DOI: 10.1109/TSMC.2021.3138266

[l-css] Y. Tong, Y.C. Wang, A. Giua, "A Polynomial Approach to Verifying the Existence of A Threatening Sensor Attacker," IEEE Control Systems Letters. Published on-line, March 2022. DOI: 10.1109/LCSYS.2022.3163467

[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. 31, pp. 65-88, 2022. DOI: 10.1007/s10626-021-00348-y

[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

[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

[20jas] 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

[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. 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

[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

[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

[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

[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

[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].

[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

[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

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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 and 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.

[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.

[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_{2}
Formulation for the Design of a Passive Vibration-Isolation System for
Cars," *Vehicle System Dynamics*,Vol. 26, No. 5, pp. 381- 393,
November 1996.

[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.

[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.

[18dss] J. Van Gorp, A. Giua, M. Defoort, M. Djemai, "Active diagnosis for switched systems using Mealy Machine modeling," in *Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems*, M. Sayed-Mouchaweh (Ed), Springer, 2018. ISBN 978-3-319-74962-4

[14fmm] Cabasino M.P., Giua A., Seatzu C., "Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets,", in *Formal Methods in Manufacturing*, J. Campos, C. Seatzu, X. Xie (Eds), CRC Press, Taylor & Francis, 2014. ISBN 9781466561557

[14esc]
A. Giua, "Discrete Event Systems and Hybrid Systems, Connections Between," in *Encyclopedia of Systems and Control*, Springer-Verlag London 2014. ISBN: 978-1-4471-5057-2, DOI: 10.1007/978-1-4471-5102-9_55-1

[12disc_book_a] Cabasino M.P., Giua A., Seatzu C., “Introduction to Petri nets”, *Control of Discrete-Event Systems. Automata and Petri Net Perspectives*, C. Seatzu, M. Silva, J.H. van Schuppen (Eds), in Lecture Notes in Control and Information Science, Springer, Vol. 433, pp. 191-211, 2012.

[12disc_book_b] Cabasino M.P., Giua A., Seatzu C., “Structural analysis of Petri nets”, *Control of Discrete-Event Systems. Automata and Petri Net Perspectives*, C. Seatzu, M. Silva, J.H. van Schuppen (Eds), in Lecture Notes in Control and Information Science, Springer, Vol. 433, pp. 213-232, 2012.

[12disc_book_c]
Giua A., “Supervisory control of Petri nets with language specifications”, *Control of Discrete-Event Systems. Automata and Petri Net Perspectives*, C. Seatzu, M. Silva, J.H. van Schuppen (Eds), in Lecture Notes in Control and Information Science, Springer, Vol. 433, pp.235-256, 2012.

[12disc_book_d] Cabasino M.P., Giua A., Seatzu C., “Diagnosis of Petri nets”, *Control of Discrete-Event Systems. Automata and Petri Net Perspectives*, C. Seatzu, M. Silva, J.H. van Schuppen (Eds), in Lecture Notes in Control and Information Science, Springer, Vol. 433, pp. 279-298, 2012.

[12disc_book_e] Bérard B., Cabasino M.P., Di Febbraro A., Giua A., Seatzu C., “Petri nets with time”, *Control of Discrete-Event Systems. Automata and Petri Net Perspectives*, C. Seatzu, M. Silva, J.H. van Schuppen (Eds), in Lecture Notes in Control and Information Science, Springer, Vol. 433, pp. 319-340, 2012.

[11atpn]
A. Giua, "State Estimation and Fault Detection Using Petri Nets", *Applications and Theory of Petri Nets*: Proc. 32nd Int. Conf. on Applications and Theory of Petri nets 2008 (Newcastle, UK), June 20-24, 2011. Lecture Notes in Computer Science Vol. 6709, pp. 419-428, L.M. Kristensen and L. Petrucci (Eds.) Springer-Verlag, 2011. The original publication is available at www.springerlink.com.

[08atpn] F. Sessego, A. Giua, C. Seatzu, "HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets," *Applications and Theory of Petri Nets*: Proc. 29th Int. Conf. on Applications and Theory of Petri nets 2008 (Xi'an, China), June 23-27, 2008. Lecture Notes in Computer Science Vol. 5062, pp. 419-428, Springer-Verlag, 2008. The original publication is available at www.springerlink.com.

[08pnta] M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, "Modelling systems by hybrid Petri nets. An application to supply chains", *Petri Nets, Theory and Application*, Advanced Robotic Systems Int., V. Kordic (Ed.), 2008.

[07casy]
A. Giua, C. Seatzu, "A System Theory View of Petri Nets," in *Advances in Control Theory and Applications Series: Lecture Notes in Control and Information Sciences*, Vol. 353. C. Bonivento, A. Isidori, L. Marconi, C. Rossi (Eds.), Springer-Verlag, 2007. The original publication is available at www.springerlink.com.

[01scodes_a] A. Giua, C. Seatzu,
"Design of observers/controllers for discrete event systems using Petri
nets," in *Synthesis and Control of
Discrete Event Systems*, B. Caillaud, X. Xie, Ph. Darondeau and L. Lavagno
(Eds.), pp. 167-182, Kluwer, 2001.

[01scodes_b] F. Basile, P. Chiacchio, A. Giua,
"Optimal Petri Net Monitor Design," in *Synthesis and Control of Discrete Event Systems*, B. Caillaud, X.
Xie, Ph. Darondeau and L. Lavagno (Eds.), pp. 141-154, Kluwer, 2001.

[93grafcet] A. Giua, F. DiCesare,
"Grafcet and Petri Nets in Manufacturing", in *Intelligent Manufacturing: Programming Environments for CIM*, W.A.
Gruver and J.C. Boudreaux (Eds.), pp. 153-76, Springer-Verlag, 1993.

[98aimsa] A. Fanni, A. Giua, M.G. Manca, "Automated Diagnosis for Digital Circuits," in Artificial Intelligence III: Methodology, Systems, Applications, T. O'Shea and V. Sgurev (eds.), pp. 373-9, Elsevier Science Publishers B.V. (North-Holland), 1988.

[18deds_si_a] C.G. Cassandras, A. Giua (Eds.), "Special Issue on performance analysis and optimization of discrete event systems," *Discrete Event Dynamic Systems*, Vol. 28, No. 1, 2018. [Guest editorial]

[18deds_si_b] C.G. Cassandras, A. Giua (Eds.), "Special Issue on diagnosis, opacity and supervisory control of discrete event systems," *Discrete Event Dynamic Systems*, Vol. 28, No. 2, 2018. [Guest editorial]

[13nahs_si] M. Egerstedt, A. Giua (Eds.), "Special Issue on the 18th IFAC World Congress," *Nonlinear Analysis: Hybrid Systems*, Vol. 7, No. 1, 2013. [Guest editorial]

[12deds_si] J. Raisch, A. Giua, S. Lafortune, T. Moor (Eds.), "Special Issue on recent trends in discrete event systems," *Discrete Event Dynamic Systems*, Vol. 22, No. 4, 2012. [Guest editorial]

[12cep_si]
A. Giua, M. Silva, J. Zaytoon (Eds.), "Special Section: IFAC Conference on Analysis and Design of Hybrid Systems", *Control Engineering Practice*, Vol. 20, No. 1, January 2012.
[Guest editorial]

[11nahs_si]
A. Giua, M. Silva, J. Zaytoon (Eds.), "Special Issue on ADHS’09: IFAC Conference on Analysis and Design of Hybrid Systems"", *Nonlinear Analysis: Hybrid Systems*, Vol. 5, No. 2, May 2011.
[Guest editorial]

[09deds_si] B. Lennartson, M. Fabian, A. Giua, R. Kumar (Eds.), "Special Issue on WODES08," *Discrete Event Dynamic Systems*, Vol. 19, No. 4, Dec 2009.
[Guest editorial]

[08nahs_si] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds.), "Special Issue Section: Analysis and Design of Hybrid Systems," *Nonlinear Analysis: Hybrid Systems*, Vol. 2, No. 3, August 2008.
[Guest editorial]

[08cep_si] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds.), "Special Section on ADHS’06: IFAC Conference on Analysis and Design of Hybrid Systems", *Control Engineering Practice*, Vol. 16, No. 8, August 2008.
[Guest editorial]

[08deds_si] C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds.), "Special Issue: Discrete event methodologies for hybrid systems," *Discrete Event Dynamic Systems*, Vol. 18, No. 2, June 2008.
[Guest editorial]

[02deds_si] A. Giua, R. Smedinga, M.
Spathopoulos, J. van Schuppen (Eds.), "Special Issue on WODES98", *Discrete
Event Dynamic Systems*, Vol. 12, No. 1, 2002. [Guest Editorial]

[01deds_si] A. Di Febbraro, A. Giua, G. Menga
(Eds.), "Special Issue on Hybrid Petri Nets", *Discrete Event Dynamic Systems*,
Vol. 11, No. 1 & 2, 2001. [Guest Editorial]

[12mosim_proc] T. Alix, J.P. Bourrieres, I. Demongodin, A. Giua, (Eds.), Proc. MOSIM12: 9th Int. Conf. of Modeling, Optimisation and SIMulation (Bordeaux, France), 6-8 Jun 2012.

[10wodes_proc] J. Raisch, A. Giua, S. Lafortune, T. Moor (Eds.), Proc. 10th Workshop on Discrete Event Systems (Berlin, Germany), August-September, 2010. ISBN: 978-3-902661-79-1.

[09adhs_proc] A. Giua, C. Mahulea, M. Silva, J. Zaytoon (Eds.), Proc. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (Zaragoza, Spain), September, 2009. ISBN: 978-3-902661-59-3.

[08wodes_proc] B. Lennartson, M. Fabian, K. Åkesson, A. Giua, R. Kumar, (Eds.), Proc. 9th Workshop on Discrete Event Systems (Göteborg, Sweden), IEEE, 2008. ISBN: 978-1-4244-2592-1.

[06adhs_proc] C. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, (Eds.), Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems (Alghero, Italy), June, 2006. ISBN: 0-08-044613-2.

[02wodes_proc] M. Silva, A. Giua, J.M. Colom (Eds.), Proc. 6th Workshop on Discrete Event Systems (Zaragoza, Spain), IEEE Computer Society Press, October, 2002. ISBN: 0-7695-1683-1.

[99wfmm_proc] J.-C. Gentina, A. Giua, M. Silva (Eds.), Proc. Int. Workshop Formal Methods and Manufacturing (Zaragoza, Spain), Prensas Universitarias de Zaragoza, September, 1999.

[98wodes_proc] A. Giua, M. Spathopoulos, R. Smedinga (Eds.), Proc. 4th Workshop on Discrete Event Systems (Cagliari, Italy), IEE press, August, 1998.

[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. Jointly submitted to *IEEE Control Systems Letters*: see [22lcss_a].

[21cdc_b] C. Gu, Z. Ma, Z. 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. Jointly submitted to *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.

[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. Zhang, A. Giua, "Instant detectability of discrete-event systems," *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.

[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, and 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. 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.

[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.

[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

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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, and 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.

[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.

[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.

[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.

[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.

[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.

[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, and 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, and 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.

[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.

[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.

[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.

[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, and 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, and 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, and
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.

[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.

[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.

[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.

[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, and 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.

[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.

[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, and Cybernetics * (Chicago,
USA), pp. 974-799, October 1992.

[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," P*IEEE Int. Conf. on Systems, Man, and Cybernetics * (Charlottesville, USA), pp. 385-390, Oct 1991.

[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.

[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.

[92phd] A. Giua, *Petri nets as discrete event
models for supervisory control*, PhD Thesis, ECSE Dept., Rensselaer
Polytechnic Institute (Troy, NY, USA), 1992.