Publications of Maria Paola Cabasino

My publications (with links to downloadable files).


Thesis

[05Master] M. P. Cabasino, Diagnosis of discrete event systems using automata and Petri nets , Master Thesis, Electric and Electronic Dept., University of Cagliari (Italy), November 2005. (In italian)

[05PhD] M. P. Cabasino, Diagnosis and Identification of Discrete Event Systems using Petri nets, PhD defence in Electronic and Computer Science Engineering, Electric and Electronic Dept., University of Cagliari (Italy), March 2009.

Journal and Review Papers

[J01] M.P. Cabasino, A. Giua, C. Seatzu, "Identification of Petri nets from knowledge of their language," Discrete Event Dynamic Systems, Vol. 17, No. 4, pp. 447-474, Dec 2007, (Regular Paper). The original publication is available at www.springerlink.com.

[J02] 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, Sep 2010, DOI: 10.1016/j.automatica.2010.06.013, (Short Paper).

[J03] 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, Sep. 2011, DOI: 10.1016/j.conengprac.2010.12.010, (Regular Paper).

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

[J05] M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu, “A New Approach for Diagnosability Analysis of Petri Nets using Verifiers Nets”, IEEE Trans. on Automatic Control, Vol. 57, No. 12, pp. 3104 - 3117, Dec 2012, DOI: 10.1109/TAC.2012.2200372. (Regular Paper)

[J06] M.P. Cabasino, A. Giua, C. Seatzu, "Fault diagnosis using labeled Petri nets where faults may either be silent or undistinguishable events", IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems, Vol. 43, No. 2, pp. 345-355, March 2013, DOI: 10.1109/TSMCA.2012.2199307, (Regular Paper).

[J07] Y. Ru, M.P. Cabasino, A. Giua, C.H. Hadjicostis, "Supervisor Synthesis for Discrete Event Systems with Partial Observation and Arbitrary Forbidden State Specifications," Discrete Event Dynamic Systems, published online October 2012, 10.1007/s10626-012-0152-0, (Regular Paper).

[J08] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosis of discrete event systems using labeled Petri nets," IEEE Transactions on Systems, Man, and Cybernetics: Systems Vol. PP, No. 99, pp. 1-9, March 2013, DOI: 10.1109/TSMC.2013.2244208, (Correspondence).

[J09] M.P. Cabasino, S. Lafortune, C. Seatzu, "Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets", accepted as Regular Paper in Automatica.

[J10] M.P. Cabasino, A. Giua, C. Mahulea, C. Seatzu, "Decentralized Observability of Discrete Event Systems", (submitted).

[J11] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosability of discrete event systems using labeled Petri nets", (submitted).

[J12] M.P. Cabasino, A. Giua, C.H. Hadjicostis, C. Seatzu "Fault Model Identification and Synthesis in Petri Nets", (submitted).

[J13] M.P. Cabasino, C.N. Hadjicostis, C. Seatzu, "Probabilistic Current and Initial Marking Estimation in Labeled Petri Nets", (submitted).

[J14] M.P. Cabasino, A. Giua, C. Seatzu, "Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets", (submitted).


Book chapters

[B01] M.P. Cabasino, P. Darondeau, M.P. Fanti, C. Seatzu, "Model Identification and Synthesis of Discrete-Event Systems", Contemporary Issues in Systems Science and Engineering, IEEE/Wiley Press Book Series, 2013 (In press).

[B02] M.P. Cabasino, A. Giua, C. Seatzu, "Introduction to Petri Nets”, Book title: "Control of Discrete-Event Systems. Automata and Petri net perspectives", 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.

[B03] M.P. Cabasino, A. Giua, C. Seatzu, "Structural Analysis of Petri Nets", Book title: "Control of Discrete-Event Systems. Automata and Petri net perspectives", 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.

[B04] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosis of Petri Nets", Book title: "Control of Discrete-Event Systems. Automata and Petri net perspectives", 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.

[B05] B. Bérard, M.P. Cabasino, A. Giua, C. Seatzu, "Petri Nets with Time", Book title: "Control of Discrete-Event Systems. Automata and Petri net perspectives", 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.

[B06] 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 2013).

[B07] M.P. Cabasino, M. Dotoli, 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 2013).

International conference with acceptance based on full paper

[C01] 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), Jul 2006.

[C02] 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), Dec 2006.

[C03] 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, Jun 2007.

[C04] 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), Sep 2007.

[C05] 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), Dec 2007.

[C06] M.P. Cabasino, A. Giua, C. N. Hadjicostis and C. Seatzu "Fault Model Identification with Petri Nets," WODES'08: 9th Int. Workshop on Discrete Event Systems (Göteborg, Sweden), May 2008.

[C07] S. Lai, D. Nessi, M.P. Cabasino, A. Giua and C. Seatzu "A Comparison Between Two Diagnostic Tools Based on Automata and Petri Nets," WODES'08: 9th Int. Workshop on Discrete Event Systems (Göteborg, Sweden), May 2008.

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

[C09] Yu Ru, M.P. Cabasino, A. Giua and C. N. Hadjicostis "Supervisor Synthesis for Discrete Event Systems with Arbitrary Forbidden State Specifications," 47th IEEE Conf. on Decision and Control (Cancun, Mexico), Dec 2008.

[C10] M.P. Cabasino, A. Giua and C. Seatzu "Diagnosis of Discrete Event Systems using Labeled Petri Nets," 2nd IFAC Workshop on Dependable Control of Discrete Systems (Bari, Italy), Jun 2009.

[C11] C. Mahulea, M.P. Cabasino, L. Recalde, C. Seatzu and M. Silva "Observer Design for Untimed Continuous Petri Nets," 2009 American Control Conference (St. Louis, Missouri, USA), Jun 2009.

[C12] C. Mahulea, C. Seatzu, M.P. Cabasino, and M. Silva "Fault diagnoser design for untimed continuous Petri nets," 3rd IEEE Multi-conference on Systems and Control (Saint Petersburg, Russia), Jul 2009.

[C13] M.P. Cabasino, A. Giua and C. Seatzu "Diagnosability of bounded Petri nets," 48th IEEE Conf. on Decision and Control (Shanghai, China), Dec 2009.

[C14] M.P. Cabasino, A. Giua, S. Lafortune and C. Seatzu "Diagnosability Analysis of Unbounded Petri Nets," 48th IEEE Conf. on Decision and Control (Shanghai, China), Dec 2009.

[C15] C. Seatzu, M.P. Cabasino, C. Mahulea, M. Silva "New results for fault detection of untimed continuous Petri nets," 48th IEEE Conf. on Decision and Control (Shanghai, China), Dec 2009.

[C16] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosis using Petri nets" ACC10: 2010 American Control Conference (Baltimore, Maryland, USA), Jun 2010.

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

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

[C19] M.P. Cabasino, C. Seatzu, C. Mahulea, M. Silva"Fault diagnosis of manufacturing systems using continuous Petri nets" SMC10: 2010 IEEE Conference on Systems, Man and Cybernetics (Istanbul, Turkey), Oct 2010.

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

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

[C22] M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosability analysis of discrete event systems using Petri nets" IFAC11: 18th World Congress of the International Federation of Automatic Control (Milan, Italy), Aug-Sep 2011.

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

[C24] M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosability analysis of an ABS system modeled using Petri nets" SAFEPROCESS12: 8th International Federation of Automatic Control (Mexico City, Mexico), Aug 2012.

[C25] 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), Aug 2012.

[C26] M.P. Cabasino, M. Dotoli, C. Seatzu, "Marking estimation of fuzzy Petri nets" ETFA12: 17th IEEE Conference on Emergencies Technologies & Factory Automation (Krakňw, Poland), Sep 2012.

[C27] M.P. Cabasino, S. Lafortune, C. Seatzu, "Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets" WODES'12: 11th Int. Workshop on Discrete Event Systems (Guadalajara, Mexico), Oct 2012.

[C28] F. Basile, M.P. Cabasino, C. Seatzu, " Marking estimation of Time Petri nets with unobservable transitions" ETFA13: 18th IEEE Conference on Emergencies Technologies & Factory Automation (Cagliari, Italy), Sep 2013.

[C29] M.P. Cabasino, C.N. Hadjicostis, C. Seatzu, "Marking observer of labeled Petri nets with uncertainty in the initial marking" SMC13: 2013 IEEE Conference on Systems, Man and Cybernetics (Manchester, UK), Oct 2013.

[C30] M.P. Cabasino, C.N. Hadjicostis, C. Seatzu, "Probabilistic Marking Estimation in Labeled Petri Nets" CDC13: 52th IEEE Conf. on Decision and Control (Florence, Italy), Dec 2013.

International conference with acceptance based on full paper

[A01] 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), Sep 2006.

[A02] M.P. Cabasino, A. Giua, C. Seatzu, "Discrete event diagnosis using labeled Petri nets," ICINCO09: 6th International Conference on Informatics in Control, Automation and Robotics (Milano, Italy), Jul 2009.


Maria Paola Cabasino (cabasino@diee.unica.it) / August 2013.