Publications of Alessandro Giua

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

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


Books

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


Journal Papers

2018

[18tac_a] N. Ran, H. Su, A. Giua, C. Seatzu, "Codiagnosability Analysis of Bounded Petri Nets," IEEE Trans. on Automatic Control, to appear. 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, to appear. 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, to appear.

2017

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

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

[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

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

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

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

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

2015

[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

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

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

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

[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

[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

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

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

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

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

[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

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

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

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

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.

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

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

2005

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

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

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.

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

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

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

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

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.

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

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

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.

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

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

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.

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

1999

[99jcss] S. Gaubert, A. Giua, "Petri Net Languages and Infinite Subsets of Nm," J. of Computer and System Sciences, Vol. 59, No. 3, pp. 373-391, December 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.

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

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

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.

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

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


Book Chapters and Articles

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


Special Issues

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

[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

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

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

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

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

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

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

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


Edited proceedings

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


Conference Papers

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.

[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 International Conference 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," CDC09: 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," CDC09: 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," CDC09: 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," CDC08: 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," CDC08: 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.

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," CDC06: 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 Int. 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 Int. 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," Proc. IEEE 43rd Int. 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 switched linear systems," Proc. IEEE 41st Int. 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," Proc. IEEE 41st Int. 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," Proc. IEEE 41st Int. 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.

2001

[01cdc_a] M. Ebau, A. Giua, C. Seatzu, G. Usai, "Semiactive suspension design taking into account the actuator delay," Proc. IEEE 40th Int. 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," Proc. IEEE 40th Int. 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," Proc. IEEE 40th Int. 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," Proc. IEEE 39th Int. 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," Proc. IEEE 39th Int. Conf. on Decision and Control (Sidney, Australia), pp. 438-443, December, 2000.

[00cdc_c] A. Giua, C. Seatzu, "Observability properties of Petri nets," Proc. IEEE 39th Int. 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," Proc. IEEE 38th Int. 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," Proc. IEEE 37th Int. 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.

1997

[97cdc] A. Giua, "Petri Net State Estimators Based on Event Observation," IEEE 36th Int. 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," IEEE 35th Int. 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," Proc. IEEE 34th Int. 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," Proc. IEEE 33rd Int. 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.

1993

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

1992

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


Thesis

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


Alessandro Giua