Alessandro Giua -- Publications

Journal, Book and Review Papers

2010

[10tac] M. Franceschelli, A. Giua, C. Seatzu, "A gossip-based algorithm for discrete consensus over heterogeneous networks," IEEE Trans. on Automatic Control, 2010. To appear.

[10ijss] T. Paschedag, A. Giua, C. Seatzu, "Constrained optimal control: an application to semiactive suspension systems," Int. Journal of Systems Science, 2010. To appear.

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.

[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 No. 5062, pp. 419-428, Springer-Verlag, 2008. The original publication is available at www.springerlink.com.

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

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

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.

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

[06na] C. Seatzu, D. Gromov, J. Raisch, D. Corona, A. Giua, "Optimal control of discrete-time hybrid automata under safety and liveness constraints," Nonlinear Analysis: Hybrid Systems 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

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

[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 N^m," 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 H₂ Formulation for the Design of a Passive Vibration-Isolation System for Cars," Vehicle System Dynamics,Vol. 26, No. 5, pp. 381- 393, November 1996.

[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

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

1993

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

Conference Papers

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. To appear.

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), 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), December 2009.

[09cdc_c] M. Franceschelli, A. Gasparri, A. Giua, C. Seatzu, "Decentralized Laplacian Eigenvalues Estimation of the Network Topology of a Multi-Agent System," CDC09: 48th IEEE Conf. on Decision and Control (Shanghai, China), 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), Aug 2009.

[09mcsc] M. Franceschelli, A. Giua, C. Seatzu, "Hamiltonian Quantized Gossip," MCSC09: 2009 IEEE Multi conference on Systems and Control (Saint Petersburg, Russia), 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 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 ES$^2$PR 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," IFAC World Congress (Barcelona, Spain), July 2002.

[02ifac_b] B. Gaujal, A. Giua, "Optimal routing of continuous timed Petri nets," 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.

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.

Publications of Alessandro Giua

Books

Thesis

Journal, Book and Review Papers

2010

2008

2007

2006

2005

2004

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

Special Issues

Edited proceedings

Conference Papers

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992