Publications of Carla Seatzu

Books

[B1]  A. Giua, C. Seatzu, Analisi dei Sistemi Dinamici, Springer-Verlag Italia,

                    -  I edizione: 2005, 530 pagine;

                    -  II edizione: 2009, 566 pagine.

 

[B2]  C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon (Eds), Analysis and Design of Hybrid Systems 2006, in IFAC Proceedings Volumes, Elsevier, 2006.

 

[B3]  C. Seatzu, M. Silva, J.H. van Schuppen (Eds), Control of Discrete-Event Systems. Automata and Petri Net Perspectives, in Lecture Notes in Control and Information Science, Springer, Vol. 433, (ISSN 0170-8643, ISBN 978-1- 4471- 4275-1), 2012 [500 pages].

[B4]  J. Campos, C. Seatzu, X. Xie (Eds), Formal Methods in Manufacturing, CRC Press, Taylor & Francis, to appear in February 2014 (ISBN 978-1466561557) [722 pages].

 

Papers on International Journals and Special Issues

[J1]  A. Giua, C. Seatzu, G. Usai, “Observer-controller design for cranes via Lyapunov equivalence“, Automatica, Vol. 35,     No. 4, pp. 669-678, April 1999 (Brief Paper).

[J2]  C. Seatzu, “Design and robustness analysis of decentralized constant volume-control for open channels“, Applied Mathematical Modelling, No. 6, pp. 479-500, June 1999.

[J3]  A. Giua, C. Seatzu, G. Usai, “Semiactive suspension design with an optimal gain switching target“, Vehicle System Dynamics, Vol. 31, No. 4, ISDN 0042-3114, pp. 213-232, April 1999.

[J4]  C. Seatzu, “Design of decentralized constant-volume controllers for open-channels by solving a least squares problem, International Journal of Systems Science, Vol. 31, N. 6, pp. 759-770, June 2000.

[J5]  C. Seatzu, “A fitting based method for parameter estimation in S-Systems“, Dynamic Systems and Applications, Vol. 9, N. 1, ISSN 1056-2176, pp. 77-98, March 2000.

[J6]  C. Seatzu, “Decentralized controllers design for open-channel hydraulic systems via eigenstructure assignment“, Applied Mathematical Modelling, No. 12, pp. 915-930, December 2000.

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

[J8]  F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, “Decidability results in First-Order Hybrid Petri Nets“, Journal of Discrete Event Dynamic Systems, Special Issue on Hybrid Petri Nets, Vol. 11, No. 1 & 2, pp. 41-58, January-April 2001.

[J9]  F. Balduzzi, A. Giua, C. Seatzu, “Modelling and simulation of manufacturing systems with First-Order Hybrid Petri Nets“, International Journal of Production Research, Special Issue on Modeling, Specification and Analysis of Manufacturing Systems, Vol. 39, No. 2, pp. 255-282, January 2001.

[J10]   A. Giua, R. Furcas, A. Piccaluga, C. Seatzu, “Hybrid Petri net modeling of inventory management systems“, European Journal of Automation APII-JESA, Special Issue on Hybrid Dynamical Systems, 2001. Vol. 35, No. 4, pp. 417-434, May 2001.

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

[J12]   A. Giua, A. Piccaluga, C. Seatzu, “Firing rate optimization of cyclic timed event graphs by token allocations“, Automatica,  Vol. 38, No. 1, pp. 91-103,  January 2002 (Regular Paper).

[J13]   A. Giua, C. Seatzu, “Observability of Place/Transition nets“, IEEE Transactions on Automatic Control, Vol. 47, No. 9, pp. 1424-1437, September 2002, (Regular Paper).

[J14]   C. Seatzu, G. Usai, “A decentralized volume variations observer for open-channels“, Applied Mathematical Modelling, Vol 26, No. 10,  pp. 35-61, October 2002.

[J15]   A. Giua, C. Seatzu, F. Basile, “Observer based state-feedback control of timed Petri nets with deadlock recovery“, IEEE Transactions on Automatic Control, Vol. 49, No. 1, pp. 17-29, January 2004 (Regular Paper).

[J16]   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, 2004.

[J17]  A. Giua, J. Júlvez, C. Seatzu, “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, 2004.

[J18] D. Corona, A. Giua,  C. Seatzu, “Optimal control of hybrid automata: an application to the design of semiactive suspension“, Control Engineering Practice, Special Issue on Hybrid Dynamic Systems, Vol. 12, No. 2, pp. 1305-1318, October 2004.

[J19]   C. Seatzu, D. Corona, A. Giua,  “State estimation of lambda-free labeled Petri nets with contact-free nondeterministic transitions“, Journal of Discrete Event Dynamic Systems,  Vol. 15, No. 1, pp. 85-108, January 2005.

[J20] A. Giua, M.T. Pilloni, C. Seatzu, “Modelling and simulation of a bottling plant using hybrid Petri nets“, International Journal of Production Research, Vol. 43, No. 7, pp. 1375-1395, April 2005.

[J21]   C. Seatzu, “Discrete, Continuous, and Hybrid Petri Nets. R. David, H. Alla. Springer-Verlag Berlin Heidelberg 2005“, Book review, International Journal of Robust and Nonlinear Control , Vol. 15, No. 14, pp. 637-640, September 2005.

[J22]   C. Seatzu, D. Corona, A. Giua, A. Bemporad, “Optimal Control of Continuous-Time Switched Affine Systems“, IEEE Transactions on Automatic Control,  Vol. 51, No. 5, pp. 726-741, May 2006, (Regular Paper).

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

[J24]   C. Seatzu, D. Gromov, J. Raish, D. Corona, A. Giua, “Optimal control of discrete-time hybrid automata under safety and liveness constraints", Nonlinear Analysis, Elsevier Science, Vol. 65, No. 6, Hybrid Systems and Applications (5), pp. 1188-1210, September 2006.

[J25]   D. Corona, A. Giua, C. Seatzu, “Marking estimation of Petri nets with silent transitions”, IEEE Transactions on Automatic Control, Vol. 52, No. 9, pp. 1695-1699, September 2007 (Technical Note).

[J26]   M.P. Cabasino, A. Giua, C. Seatzu, “Identification of Petri nets from samples of  their languages”, Journal of Discrete Event Dynamic Systems, Vol. 17, No. 4, pp. 447-474, December 2007.

[J27]   C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, “DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems”, Journal of Discrete Event Dynamic Systems, Vol. 18, N. 2, pp. 161-162, June 2008.

[J28]   M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, “First-Order Hybrid Petri nets. An application to distributed manufacturing systems”, Nonlinear Analysis: Hybrid Systems, Elsevier, Vol. 2, Issue 2, pp. 408-430, June 2008.

[J29]  A. Giua, C. Seatzu, “Modeling and supervisory control of railway networks using Petri nets”, IEEE Transactions on Automation Science and Engineering, Vol. 5, Issue 3, pp. 431-445, July 2008 (Regular Paper).

[J30]   C.G. Cassandras, A. Giua, C. Seatzu, J. Zaytoon, “Editorial Special Issue on Analysis and Design of Hybrid Systems”, Nonlinear Analysis: Hybrid Systems, Vol. 2, Issue 3, pp. 695-696, August 2008.

[J31]   C.G. Cassandras, A.  Giua, C. Seatzu, J. Zaytoon, “Preface Special Section: IFAC Conference on Analysis and Design of Hybrid Systems”, Control Engineering Practice, Vol. 16, Issue 8, pp. 959-960, August 2008.

[J32]   C. Mahulea, A. Giua, L. Recalde, C. Seatzu, M. Silva, “Optimal model predictive control of timed Continuous Petri nets”, IEEE Transactions on Automatic Control, Vol. 53, Issue 7, August 2008 (Technical Note).

[J33]   A. Giua, T. Paschedag, C. Seatzu, “Constrained optimal control: an application to semiactive suspension”, International Journal of Systems Science, Vol. 41, Issue 7, pp. 797-811, July 2010.

[J34]   M. Franceschelli, A. Giua, C. Seatzu, “A gossip-based algorithm for discrete consensus over heterogeneous networks”, IEEE Transactions on Automatic Control, Vol. 55, No. 5, pp. 1244-1249, May 2010, (Technical Note).

[J35]  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  (Brief Paper).

[J36]  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 (Regular Paper)

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

[J38]    M. Franceschelli, A. Giua, C. Seatzu, “Quantized consensus in Hamiltonian graphs”, Automatica, Vol. 47, No. 11, pp. 2495-2503, November 2011 (Brief Paper).

[J39]       M.P. Cabasino, C. Mahulea, C. Seatzu, M. Silva, “Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets”, IEEE Trans. on Systems, Man and Cybernetics – Part A, Vol. 42, No. 4, pp. 970-984, July 2012 (Regular Paper).

[J40]     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, (Regular Paper).

[J41]        M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis using labeled Petri nets with silent or undistinguishable fault events”, IEEE Trans. on Systems, Man and Cybernetics – Systems, Vol. 43, No. 2, pp. 345-355, March 2013 (Regular Paper).

[J42]        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 (Brief Paper).

[J43]       Y. Wardi, A. Giua, C. Seatzu, “IPA for continuous stochastic marked graphs”, Automatica, Vol. 49, No. 5, pp. 1204-1215, May 2013 (Regular Paper).

[J44]       M.P. Cabasino, S. Lafortune, C. Seatzu, “Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets”, Automatica, Vol. 49, No. 8, pp. 2373-2383, August 2013 (Regular Paper).

[J45]     M. Franceschelli, D. Rosa, C. Seatzu, F. Bullo, “Gossip algorithms for heterogeneous multi-vehicle routing problems”, Nonlinear Analysis: Hybrid Systems, Vol. 10, No. 1, pp. 156-174, November 2013.

[J46]  D. Corona, A. Giua, C. Seatzu, “Stabilization of switched systems via optimal control”, Nonlinear Analysis: Hybrid Systems, Vol. 11, No. 1, pp. 1-10, January 2014.

[J47]  M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, “Decentralized diagnosis of discrete event systems using labeled Petri nets”, IEEE. Trans. on Systems, Man and Cybernetics – Systems (Technical Note, in press).

[J48] M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosability of discrete event systems using labeled Petri nets”, IEEE Trans. on Automation Science and Engineering, (Regular Paper, accepted).

 

Book Chapters

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

[BC2] R. Armosini, A. Giua, M.T. Pilloni, C. Seatzu, “Simulation and Control of a Bottling Plant using First-Order Hybrid Petri Nets, “ in Positive Systems, L. Benvenuti, A. De Santis, L. Farina, (Eds.), Lecture Notes in Control and Information Sciences, Springer-Verlag Berlin Heidelberg, pp. 79 - 86, 2003.

[BC3] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “Optimal control of timed cont-PN, “ in Positive Systems, C. Commault, N. Marchand (Eds.), Lecture Notes in Control and Information Sciences,  Springer-Verlag Berlin Heidelberg, Vol. 341, pp. 383 – 390, 2006.

[BC4] A. Giua, C. Seatzu, “A systems theory view of Petri nets“, Lecture Notes in Control and Information Sciences,  Vol. 353, C. Bonivento, A. Isidori, L. Marconi, C. Rossi (Eds.), 2007.

 

[BC5] M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, "Modelling Systems by hybrid Petri nets. An application to supply chains", Petri Net. Theory and Application, Advanced Robotic Systems Int., 2007.

 

[BC6] F. Sessego, A. Giua, C. Seatzu, "HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets", in Application and Theory of Petri nets, Kees M. van Hee, Rüdiger Valk (Eds), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 5062, pp. 419-428, June 2008.

 

[BC7] M.P. Cabasino, A. Giua, C. Seatzu, “Introduction to Petri nets”, in 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.

[BC8] M.P. Cabasino, A. Giua, C. Seatzu, “Structural analysis of Petri nets”, in 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.

[BC9] M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis of Petri nets”, in 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.

[BC10] B. Bérard, M.P. Cabasino, A. Di Febbraro, A. Giua, C. Seatzu, “Petri nets with time”, in 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.

[BC11] M.P. Cabasino, P. Darondeau, M.P. Fanti, C. Seatzu, “Model Identification and Synthesis of Discrete-Event Systems”, in Contemporary Issues in System Science and Engineering, IEEE/Wiley Press Book Series, (to appear in April 2014).

[BC12] M.P. Cabasino, M. Dotoli, C. Seatzu, “Modeling manufacturing systems with place/transition nets and timed Petri nets” in Formal Methods in Manufacturing, J. Campos, C. Seatzu, X. Xie (Eds.), CRC Press, Taylor and Francis (to appear in February 2014).

[BC13] M.P. Cabasino, A. Giua, C. Seatzu, “Modeling 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 and Francis (to appear in February 2014).

[BC14] C. Seatzu, X. Xie, “Supervisory control of manufacturing systems using Petri nets”, in Formal Methods in Manufacturing,J. Campos, C. Seatzu, X. Xie (Eds.), CRC Press, Taylor and Francis (to appear in February 2014).

 

Papers on International Conferences

[C1]   S. Sanna, C. Seatzu, E. Usai, “An effective procedure for growth models parameter estimation“, IMACS-IEEE Multiconference CESA’98: Computational Engineering in Systems Applications, ISBN 2-9512309-0-7, vol. 1, pp. 1146-1151, 1-4 April, 1998, Hammamet, Tunisia.

[C2]   C. Seatzu, A. Giua, “Observer-controller design for cranes via pole placement and gain-scheduling“, 6th IEEE Mediterranean Conference on Control and Automation, 9-11 June, 1998, Alghero, Italy; in Theory and Practice of Control and Systems, A. Tornambč, G. Conte and A. M. Perdon (Eds), World Scientific Publishing, pp. 233-238.

[C3]   A. Giua, C. Seatzu, “Manufacturing control with Petri net observers“, 6th IEEE Mediterranean Conference on Control and Automation, 9-11 June, 1998, Alghero, Italy; in Theory and Practice of Control and Systems, A. Tornambč, G. Conte and A. M. Perdon (Eds), World Scientific Publishing, pp. 759-764.

[C4]  A. Giua, A. Savastano, C. Seatzu, G. Usai, “Tandem active-passive suspension design with constraints on the forces“, International Conference on Advances in Vehicle Control and Safety, pp. 460-466, July, 1998, Amiens, France.

[C5]  A. Giua, A. Savastano, C. Seatzu, G. Usai, “Approximation of an optimal gain switching active law with a semiactive suspension“, 1998 IEEE Conference on Control Applications, pp. 248-252, 1-4 September, 1998, Trieste, Italy.

[C6]   C. Seatzu, A. Giua, G. Usai, “Decentralized volume control of open-channels using H2 norm minimization“, Interernational Conference on System, Man and Cybernetics, pp. 3891-3896, San Diego, October,1998.

[C7]  C. Seatzu, “A parameter estimation method for a special class of systems of ordinary differential equations“, 7th IEEE Mediterranean Conference on Control and Automation, pp. 205-210, June 28-30, 1999, Haifa, Israel.

[C8]  C. Seatzu, “A numerical algorithm for the design of a decentralized controller for open-channel networks“, 7th IEEE Mediterranean Conference on Control and Automation, pp. 580-592, June 28-30, 1999, Haifa, Israel.

[C9]  F. Balduzzi, G. Menga, A. Giua, C. Seatzu, “A linear state variable model for first-order hybrid Petri nets“, 14th World Congress of Int. Federation of Automatic Control, pp. 1645-1656, 5-9 July, 1999, Beijing, Cina.

[C10] C. Seatzu, “Robust PI decentralized control law for open-channel hydraulic systems“, European Control Conference ECC99, August 31-Sept. 3, 1999, Karlsruhe, Germany.

[C11]   C. Seatzu, “Design of decentralized output feedback control law by solving a linear least squares problem“, 1999 IEEE Conference on Control Applications, pp. 365-369, August 22-27, 1999, Island of Hawai’i, Hawai’i, USA.

[C12]   F. Balduzzi, A. Giua, C. Seatzu, “Modelling automated manufacturing systems with hybrid automata“, Workshop on Formal Methods and Manufacturing, pp. 33-48, September 6, 1999, Zaragoza, Spain.

[C13]   F. Balduzzi, A. Giua, C. Seatzu, “Hybrid Control of Production Systems with Local Optmization“, 7th IEEE Int. Conf. on Emerging  Technologies and Factory Automation, pp. 1531-1540, October 18-22, 1999, Barcelona, Catalonia, Spain.

[C14]   C. Seatzu, F. Balduzzi, A. Di Febbraro, A. Giua, “Decidability of single-rate hybrid Petri nets“, 38th IEEE Conference on Decision and Control, pp. 2234-2248, December 7-10, 1999, Phoenix, Arizona, USA.

[C15]   F. Balduzzi, A. Di Febbraro, A. Giua, C. Seatzu, “Unitary-rate hybrid Petri nets“, 3rd IMACS Symp. on Mathematical Modelling, pp. 461-465, February 2-4, 2000, Vienna, Austria.

[C16]   C. Seatzu, G. Usai, “A linear decoupled model of open-channels for the synthesis of a decentralized volume variation observer“, 3rd IMACS Symp. on Mathematical Modelling, pp. 179-182, February 2-4, 2000, Vienna, Austria.

[C17]   A. Giua, M. Sanna, C. Seatzu, “Modelling and control of 3D overhead cranes“, 3rd IMACS Symp. on Mathematical Modelling, pp. 839-843, February 2-4, 2000, Vienna, Austria.

[C18]   C. Seatzu, “Decentralized control of irrigation open-channels via eigenstructure assignment“, 3rd IMACS Symp. on Mathematical Modelling, pp. 183-186, February 2-4, 2000, Vienna, Austria.

[C19]   A. Giua, A. Piccaluga, C. Seatzu, “Incremental optimization of cyclic timed event graphs“, 2000 IEEE International Conference on Robotics and Automation, pp. 2211-2216, April 24-28, 2000, San Francisco, USA.

[C20]   A. Giua, A. Piccaluga, C. Seatzu, “Optimal token allocation in timed cyclic event graphs“, 5th Workshop on Discrete Event Systems, August 21-23, 2000, Ghent, Belgium; in Discrete Event Systems, Analysis and Control, R. Boel, G. Stremersch (Eds), Kluwer Academic Publishers, pp. 209-218.

[C21]   A. Giua, R. Furcas, A. Piccaluga, C. Seatzu, “Modeling and Control of Inventory Management Policies Using First--Order Hybrid Petri Nets “, 4th International Conference Automation of Mixed Processes: Hybrid Dynamical Systems, pp. 273-278, 18-19 Settembre, 2000, Dortmund, Germany.

[C22]   B. Cannas, A. Fanni, A. Giua, C. Seatzu, “Chaotic Behaviour in Hybrid Systems“, 4th International Conference Automation of Mixed Processes: Hybrid Dynamical Systems, pp. 209-215, 18-19 Settembre, 2000, Dortmund, Germany.

[C23]   A. Giua, C. Seatzu, “Observability Properties of Petri Nets“, 39th IEEE Conference on Decision and Control, pp. 2676-2681, December 12-15, 2000, Sydney, Australia.

[C24]   A. Giua, C. Seatzu, G. Usai, “Active Axletree Suspension for Road Vehicles with Gain-Switching“, 39th IEEE Conference on Decision and Control, pp. 438-443, December 12-15, 2000, Sydney, Australia.

[C25]   F. Diana, A. Giua, C. Seatzu, “Safeness-Enforcing Supervisory Control for Railway Networks“, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, pp. 99-104, July 8 -11, 2001, Como, Italy.

[C26]   A. Giua, C. Seatzu, “The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transition Nets“, European Control Conference ECC’01, pp. 1339-1344, September 4-7, 2001, Porto, Portugal.

[C27]   R. Furcas, A. Giua, A. Piccaluga, C. Seatzu, “Modeling Production Systems with Inventory Using Hybrid Petri Nets“, 2001 IEEE Conference on Control Applications, pp. 434-440, September 5-7, 2001, Mexico City, Mexico.

[C28]   A. Giua, C. Seatzu, C. Van Der Mee, “Optimal Control of Autonomous Linear Systems Switched with a Pre-assigned Finite Sequence“, 2001 Int. Symposium on Intelligent Control, pp. 144-149, September 5-7, 2001, Mexico City, Mexico.

[C29] F. Basile, P. Chiacchio, A. Giua, C. Seatzu, “Deadlock recovery of controlled Petri net models using observers“, 8th IEEE International Conference on Emerging Technologies and Factory Automation, pp. 441-449, 15-18 Ottobre, 2001, Antibes, France.

[C30] A. Giua, C. Seatzu, “Supervisory control of railway networks with Petri nets“, 40th IEEE Conference on Decision and Control, pp. 5004-5009, 3-7 Dicembre 2001, Orlando, Florida.

[C31] M. Ebau, A. Giua, C. Seatzu, G. Usai, “Semiactive suspension design taking into account the actuator delay“, 40th IEEE Conference on Decision and Control, pp. 93-98, 3-7 Dicembre 2001, Orlando, Florida.

[C32] A. Giua, C. Seatzu, C. Van Der Mee, “Optimal control of switched autonomous linear systems“, 40th IEEE Conference on Decision and Control, pp. 2472-2477, 3-7 Dicembre 2001, Orlando, Florida [NOTE: this paper is missing from the CD ROM but appeared in the hard-copy of the proceedings].

[C33] A. Bemporad, A. Giua, C. Seatzu, “An iterative algorithm for the optimal control of  continuous--time switched linear systems“, 6th Int. Workshop on Discrete Event Systems,  pp. 335 - 340, 2-4 October 2-4 2002, Zaragoza, Spain.

[C34] A. Giua, C. Seatzu, “Liveness enforcing supervisors for railway networks using ES2PR Petri nets“, 6th Int. Workshop on Discrete Event Systems, pp. 55 – 60, 2-4 October 2-4 2002, Zaragoza, Spain.

[C35] A. Giua, A. Meloni, M.T. Pilloni, C. Seatzu, “Modeling of a bottling plant using hybrid Petri nets“, 2002 IEEE Int. Conference on Systems, Man and Cybernetics, pp. 375 - 380, 6-9 October 2002, Hammamet, Tunisia.

[C36]   M. Balliccu, A. Giua, C. Seatzu, “Job-shop scheduling models with set-up times“, 2002 IEEE Int. Conference on Systems, Man and Cybernetics, pp. 95-100, 6-9 October 2002, Hammamet, Tunisia.

[C37]  A. Bemporad, A. Giua, C. Seatzu, “Synthesis of state-feedback optimal controllers for switched linear systems“, 41st IEEE Int. Conf. on Decision and Control, pp. 3182 – 3187, December 2002, Las Vegas, Nevada.

[C38] A. Bemporad, A. Giua, C. Seatzu, “A master-slave algorithm for the optimal control of continuous-time switched affine systems“, 41st IEEE Int. Conf. on Decision and Control, pp. 1976 – 1981, December 2002, Las Vegas, Nevada.

[C39] F. Basile, A. Giua, C. Seatzu, “Petri net control using event observers and timing information“, 41st IEEE Int. Conf. on Decision and Control, pp. 787 – 792, December 2002, Las Vegas, Nevada.

[C40] A. Giua, C. Seatzu, “Deadlock Characterization for Petri Nets  Controlled Using GMEC's and Observers“, 2003 American Control Conference, Denver, pp. 320 – 325, June 2003, Denver, Colorado.

[C41] A. Giua, J. Jůlvez, C. Seatzu, “Marking Estimation of Petri Nets based on Partial Observation“, 2003 American Control Conference, pp. 326 – 331, June 2003, Denver, Colorado.

[C42] A. Bemporad, D. Corona, A. Giua, C. Seatzu, “Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata“, IFAC Conference on Analysis and Design of Hybrid Systems, pp. 407 – 412, June 2003, Saint-Malo, France.

[C43] F. Basile, A. Giua, C. Seatzu, “Observer-based state-feedback control of timed Petri nets with deadlock recovery: Theory and Implementation“, Multiconference on Computational Engineering in Systems Applications, Lille, France, July 2003.

[C44] A. Giua, M. Melas, C. Seatzu, “Design of a control law for a magneto-rheological suspension“, European Control Conference ECC03, Cambridge, UK, September 2003.

[C45] D. Corona, A. Giua, J. Jůlvez, C. Seatzu, “Observers for nondeterministic lambda-free labeled Petri nets“, 9th IEEE International Conference on Emerging Technologies and Factory  Automation, pp. 307 - 314, Lisbon, Portugal, September  2003.

[C46] M. P. Fanti, A. Giua, C. Seatzu, “A deadlock prevention method for railway networks using monitors for colored Petri nets“, 2003 IEEE International Conference on Systems, Man and Cybernetics, pp. 1866 – 1873, Washington, D.C., USA, October  2003.

[C47] M. P. Fanti, A. Giua, C. Seatzu, “Generalized mutual exclusion constraints and monitors for colored Petri nets“, 2003 IEEE International Conference on Systems, Man and Cybernetics, pp. 1860 – 1865, Washington, D.C., USA,  October  2003.

[C48] A. Giua, M. Melas, C. Seatzu, “Design of a control law for a semiactive suspension system using a solenoid valve damper“, 2004 IEEE Conference on Control Applications, pp. 1467 – 1472, Taipei, Taiwan, September 2004.

[C49] D. Corona, A. Giua, C. Seatzu, “Optimal Feedback Switching Laws for Autonomous Hybrid Automata“, 2004 IEEE International Symposium  on Intelligent Control, pp. 31 – 36, Taipei, Taiwan, September 2004.

[C50] D. Corona, A. Giua, C. Seatzu, D. Gromov, E. Mayer, J. Raisch, “Optimal hybrid control for switched linear systems under safety and liveness constraints“, 2004 IEEE Conference on Computer Aided Control Systems Design, pp. 35 – 40, Taipei,Taiwan, September 2004.

[C51] A. Giua, C. Seatzu, “Monitor design for Colored Petri nets with uncontrollable and unobservable transitions“, 7th Int. Workshop on Discrete Event Systems, pp. 361-366, Reims, France, September 2004.

[C52] D. Corona, A. Giua, C. Seatzu, “State estimation and control of nondeterministic lambda-free labeled Petri nets“, 7th Int. Workshop on Discrete Event Systems, pp. 421-426, Reims, France, September 2004.

[C53] A. Giua, C. Seatzu, “A systems theory view of Petri nets“, 7th Int. Workshop on Discrete Event Systems, Reims, France, pp. 15-17, September 2004.

[C54] A. Giua, C. Seatzu, F. Basile, “Control and deadlock recovery of timed Petri nets using observers“, MOSIM'04: 5eme Conf. Francophone de Modélisation et Simulation, pp. 5-15, Nantes, France, September 2004.

[C55] D. Corona, A. Giua, C. Seatzu, "Marking estimation of Petri nets with silent transitions“, Proc. IEEE 43rd Int. Conf. on Decision and Control , pp. 966-971, Atlantis, Paradis Island, Bahamas, December 2004.

[C56] D. Corona, A. Giua, C. Seatzu, D. Gromov, E. Mayer, J. Raisch, “Optimal control of discrete-time hybrid automata under safety and liveness constraints“, 2005 IEEE International Symposium on Intelligent Control, Limassol, Cyprus, June 2005.

[C57] D. Corona, A. Giua, C. Seatzu, “Stabilization of switched systems via optimal control“, 16th IFAC World Congress, Prague, Czech Republic, July 2005.

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

[C59] 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, September 2005, Catania, Italy.

[C60] A. Giua, C. Seatzu, “Fault detection for discrete event systems using labeled Petri nets“, CDC-ECC'05: 44th Int. Conf. on Decision and Control and European Control Conference 2005, December 2005, Seville, Spain (to appear).

[C61] 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 2005, December 2005, Seville, Spain (to appear).

[C62] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics, “ 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, Alghero, Italy, June 2006.

[C63] T. Paschedag, A. Giua, C. Seatzu, “Constrained optimal control: an application to semiactive suspension systems, “ 14th IEEE Mediterranean Conference on Control Automation, Ancona, Italy, June 2006.

[C64] A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “Optimal control of continuous Petri nets via model predictive control, “ 8th Int. Workshop on Discrete Event Systems, Ann Arbor, Michigan, USA, July 2006.

[C65] M.P. Cabasino, A. Giua, C. Seatzu, “Identification of deterministic Petri nets, “ 8th Int. Workshop on Discrete Event Systems, Ann Arbor, Michigan, USA, July 2006.

[C66] 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, Septemer 2006. 

 

[C67] M.P. Cabasino, A. Giua, C. Seatzu, “Identification of unbounded Petri nets from their coverability graph, “ 45th IEEE Conf. on Decision and Control, San Diego, CA, USA, December 2006.

 

[C68] F. Basile, A. Giua, C. Seatzu, “Supervisory control of Petri nets with decentralized monitor places“, 2007 American Control Conference, New York, USA, July 2007.

 

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

 

[C70]  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, Arizona), September 2007.

 

[C71]  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, Arizona), September 2007.

 

[C72]  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), December 2007.

 

[C73]  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), December 2007.

 

[C74]  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), July 2008.

 

[C75]  A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, “Properties of continuous Petri nets controlled via model predictive control”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.

 

[C76]  M.P. Cabasino, A. Giua, C. N. Hadjicostis, C. Seatzu, “Fault Identification in Petri Nets”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.

 

[C77]  S. Lai, D. Nessi, M.P. Cabasino, A. Giua, C. Seatzu, “A comparison between two diagnostic tools based on automata and PNs”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.

 

[C78]   M.P. Fanti, C. Seatzu, “Fault diagnosis and identification of discrete event systems using Petri nets”, 19th Int. Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008.

 

[C79]    A. Giua, C. Seatzu, F. Sessego, “Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS”, 2008 IEEE Int. Conf. on Systems, Man and Cybernetics, (Singapore), October 2008.

 

[C80]    M.P. Cabasino, A. Giua, C. Seatzu, “Linear Programming Techniques for the Identification of Place/Transition Nets”, 47th IEEE Conference on Decision and Control (Cancun, Mexico), December 2008.

 

[C81]    M. Franceschelli, A. Giua, C. Seatzu, “Load balancing over heterogeneous networks with gossip-based algorithms”, 2009 American Control Conference, (St. Louis, Missouri, USA), June 2009.

 

[C82]    M.P. Cabasino, C. Mahuela, L. Recalde, C. Seatzu, M. Silva, “Observer Design for Untimed Continuous Petri Nets”, 2009 American Control Conference, (St. Louis, Missouri, USA), June 2009.

 

[C83]     M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis of discrete event systems using labeled Petri nets”, 2nd IFAC Conf. on Dependable Control of Discrete Systems  (Bari, Italy), June 2009.

 

[C84]    M. Franceschelli, A. Giua, C. Seatzu, “Hamiltonian Quantized Gossip”, Int. Symposium on Intelligent Control (Saint Petersburg, Russia), July 2009.

 

[C85]    M.P. Cabasino, C. Mahulea, C. Seatzu, M. Silva, “Fault diagnoser design for untimed continuous Petri nets”, Int. Symposium on Intelligent Control (Saint Petersburg, Russia), July 2009.

 

[C86]     M. Franceschelli, A. Giua, C. Seatzu, “Decentralized Fault Diagnosis for Sensor Networks”, 5th Annual IEEE Conference on Automation Science and Engineering,  (Bangalore, India), August 2009.

 

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

 

[C88]     M. Franceschelli, A. Giua, C. Seatzu, “Consensus on the Average on Arbitrary Strongly Connected Digraphs Based on Broadcast Gossip Algorithms”, 1st IFAC Workshop on Estimation and Control of Networked Control Systems,  (Venezia, Italy), September 2009.

 

[C89]     A. Giua, C. Seatzu, Y. Wardi, “Application of IPA to Fluid Petri Nets”, 3rd  IFAC Conf. on Analysis and Design of Hybrid Systems, Zaragoza, Spain, September 2009.

 

[C90]     M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosability of Bounded Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.

 

[C91]     M.P. Cabasino, C. Mahulea, C. Seatzu, M. Silva, “New Results for Fault Detection of untimed Continuous Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.

[C92]    M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu, “Diagnosability of Unbounded Petri nets”, 48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.

 

[C93]    M. Franceschelli, A. Gasparri, A. Giua, C. Seatzu, “Decentralized Laplacian Eigenvalues Estimation of the Network Topology of a Multi-Agent System”,  48th IEEE Conference on Decision and Control (Shanghai, China), December 2009.

 

[C94]    M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, “Decentralized diagnosis of Petri nets”, 2010 American Control Conference (Baltimore, USA), June 30 – July 2, 2010.

 

[C95]   M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis using labeled Petri nets: faults may either be silent or undistinguishable events”, 6th annual IEEE Conference on Automation Science and Engineering, (Toronto, Canada), August 2010.

 

[C96]   M. Cabasino, A. Giua, A. Paoli, C. Seatzu, “A new protocol for the decentralized diagnosis of labeled Petri nets”, 10th Int. Workshop on Discrete Event Systems, (Berlin, Germany), August 31-September 1, 2010.

 

[C97]    A. Giua, C. Seatzu, Y. Wardi, “IPA for continuous Petri nets”, 10th Int. Workshop on Discrete Event Systems, (Berlin, Germany), August 31-September 1, 2010.

 

[C98]   M.P. Cabasino, C. Mahuela, C. Seatzu, M. Silva, “Fault diagnosis of manufacturing systems using Continuous Petri nets”, 2010 IEEE Int. Conference on Systems, Man and Cybernetics, (Istanbul, Turkey), October 2010.

 

[C99]  A. Giua, C. Seatzu, Y. Wardi, “IPA for Continuous Petri nets”, 18th IFAC World Congress, (Milano, Italy), August 28-September 2, 2011.

 

[C100]  M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, “Decentralized diagnosability analysis of discrete event systems using Petri nets”, 18th IFAC World Congress, (Milano, Italy), August 28-September 2, 2011.

 

[C101]  M.P. Cabasino, A. Giua, A. Solinas, C. Seatzu, K. Zedda, “Fault diagnosis of an ABS system using Petri nets”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 24-27, 2011.

 

[C102]  M.P. Cabasino, A. Giua, C. Seatzu, A. Solinas, L. Contini, “A software platform for the integration of discrete event systems tools ”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 24-27, 2011.

 

[C103]  M.P. Cabasino, A. Giua, C. Mahulea, C. Seatzu, “On decentralized observability of discrete event systems”, 50th IEEE Int. Conf. on Decision and Control, (Orlando, Florida, USA), December 12-15, 2011.

 

[C104]  M. Franceschelli, D. Rosa, C. Seatzu, F. Bullo, “A gossip algorithm for heterogeneous multi-vehicle routing problems”,  4th IFAC Conf. on the Analysis and Design of Hybrid Systems, (Eindhoven, The Netherlands), June 6-8, 2012

 

[C105]  M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosability analysis of an ABS system modeled using Petri nets”, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, (Mexico City, Mexico), August 29-31, 2012.

 

[C106]  M.P. Cabasino, A. Giua, L. Marcias, C. Seatzu, “Comparison among tools for the diagnosability analysis of Petri nets”, 8th IEEE Int. Conference on Automation Science and Engineering, (Seoul, Korea), August 20-24, 2012.

 

[C107]  M.P. Cabasino, S. Lafortune, C. Seatzu, “Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets”, 11th Int. Workshop on Discrete Event Systems, (Guadalajara, Mexico), October 3-5, 2012.

 

[C108]  D. Rosa, M. Franceschelli, C. Seatzu, F. Bullo, “A gossip based heuristic algorithm for heterogeneous multi-vehicle routing problems”, 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, (Santa Barbara, California, USA), September 14-15, 2012.

 

[C109]  M.P. Cabasino, M. Dotoli, C. Seatzu, “Marking estimation of fuzzy Petri nets”, 17th IEEE Int. Conf. on Emerging Technologies and Factory Automation, (Kraków, Poland), September 17-21, 2012.

 

[C110]  M. Zareh, C. Seatzu, M. Franceschelli, “Consensus of second-order multi-agent systems with time delays and slow switching topology”, 2013 IEEE International Conference on Networking, Sensing and Control, (Paris, France), April 10-12, 2013.

 

[C111]  C. Seatzu, Y. Wardi, “On the Use of IPA in Performance Optimization of Continuous Marked Graphs: A Case Study”, 18th IEEE Conference on Emerging Technology and Factory Automation, (Cagliari, Italy), September 10-13, 2013.

 

[C112]  F. Basile, M.P. Cabasino, C. Seatzu, “State estimation of Time Petri nets with unobservable transitions”, 18th IEEE Conference on Emerging Technology and Factory Automation, (Cagliari, Italy), September 10-13, 2013.

 

[C113]  S. Riazi, O. Wigstrom, C. Seatzu, B. Lennartson, “Benders/Gossip Methods for Optimizing the Heterogeneous Multi-Vehicle Routing Problem”, 18th IEEE Conference on Emerging Technology and Factory Automation, (Cagliari, Italy), September 10-13, 2013.

 

[C114]  M. Noori Hosseini, B. Lennartson, M.P. Cabasino, C. Seatzu, “Efficient diagnosability test for automata and bounded Petri nets”, 18th IEEE Conference on Emerging Technology and Factory Automation, (Cagliari, Italy), September 10-13, 2013.

 

[C115]  M. Zareh, C. Seatzu, M. Franceschelli, “Consensus on the average in arbitrary directed network topologies with time-delays”, 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, (Koblenz, Germany), September 25-26, 2013.

 

[C116]  M.P. Cabasino, C. Hadjicostis, C. Seatzu,  “Marking observer of labeled Petri nets with uncertainty in the initial marking”, IEEE Int. Conf. on Systems, Man and Cybernetics, (Manchester, UK), October 13-16, 2013.   

 

[C117]  M.P. Cabasino, C. Hadjicostis, C. Seatzu,  “Probabilistic marking estimation in labeled Petri nets”, 52nd  IEEE Int. Conf. on Decision and Control, (Florence, Italy), December 10-13, 2013.   

 

 

                                                                                                        Last update: October 2013