default search action

combined dblp search
author search
venue search
publication search

ask others

Maria Paola Cabasino

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/BasileCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/BasileCS17
Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62(3): 1384-1396 (2017)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CabasinoHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CabasinoHS17
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Marking Observer in Labeled Petri Nets With Application to Supervisory Control. IEEE Trans. Autom. Control. 62(4): 1813-1824 (2017)
2015
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/CabasinoGHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/CabasinoGHS15
Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu:
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25(3): 419-440 (2015)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CabasinoHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CabasinoHS15
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Probabilistic Marking Estimation in Labeled Petri Nets. IEEE Trans. Autom. Control. 60(2): 528-533 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/BasileCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/BasileCS15
Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. IEEE Trans. Autom. Control. 60(4): 997-1009 (2015)
2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/RuCGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/RuCGH14
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis:
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discret. Event Dyn. Syst. 24(3): 275-307 (2014)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/CabasinoGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/CabasinoGS14
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 144-153 (2014)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/CabasinoGPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/CabasinoGPS14
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A Remark on the Decentralized Diagnosis of Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44(11): 1549 (2014)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoHS14
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Initial marking estimation in labeled Petri nets in a probabilistic setting. CDC 2014: 6725-6730
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CabasinoHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CabasinoHS14
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
State feedback control of labeled Petri nets with uncertainty in the initial marking. ETFA 2014: 1-7
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/BasileCS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/BasileCS14
Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
K-Diagnosability of Time Labeled Petri Nets. WODES 2014: 135-141
2013
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CabasinoLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CabasinoLS13
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Autom. 49(8): 2373-2383 (2013)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/CabasinoGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/CabasinoGS13
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 345-355 (2013)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/CabasinoGPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/CabasinoGPS13
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43(6): 1477-1485 (2013)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoHS13
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Probabilistic marking estimation in labeled Petri nets. CDC 2013: 6304-6310
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BasileCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BasileCS13
Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Marking estimation of Time Petri nets with unobservable transitions. ETFA 2013: 1-7
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/HosseiniLCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/HosseiniLCS13
Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu:
A survey on efficient diagnosability tests for automata and bounded Petri nets. ETFA 2013: 1-6
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CabasinoSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CabasinoSH13
Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis:
Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. SMC 2013: 2348-2353
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/13/CabasinoGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/13/CabasinoGS13
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Introduction to Petri Nets. Control of Discrete-Event Systems 2013: 191-211
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/13/CabasinoGS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/13/CabasinoGS13a
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Structural Analysis of Petri Nets. Control of Discrete-Event Systems 2013: 213-233
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/13/CabasinoGS13b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/13/CabasinoGS13b
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis of Petri Nets. Control of Discrete-Event Systems 2013: 279-300
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/13/BerardCFGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/13/BerardCFGS13
Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu:
Petri Nets with Time. Control of Discrete-Event Systems 2013: 319-341
2012
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CabasinoGLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CabasinoGLS12
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Autom. Control. 57(12): 3104-3117 (2012)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/MahuleaSCS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/MahuleaSCS12
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez:
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42(4): 970-984 (2012)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/case/CabasinoGMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/CabasinoGMS12
Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu:
A comparison among tools for the diagnosability of discrete event systems. CASE 2012: 218-223
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CabasinoDS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CabasinoDS12
Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu:
Marking estimation of fuzzy Petri nets. ETFA 2012: 1-4
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/CabasinoLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/CabasinoLS12
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES 2012: 208-213
2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/case/CabasinoCGSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/CabasinoCGSS11
Maria Paola Cabasino, Luca Contini, Alessandro Giua, Carla Seatzu, Antonio Solinas:
A software platform for the integration of discrete event systems tools. CASE 2011: 45-51
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/case/CabasinoGSSZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/CabasinoGSSZ11
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda:
Fault diagnosis of an ABS system using Petri nets. CASE 2011: 594-599
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoGMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoGMS11
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu:
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CabasinoGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CabasinoGS10
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Fault detection for discrete event systems using Petri nets with unobservable transitions. Autom. 46(9): 1531-1539 (2010)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CabasinoGPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CabasinoGPS10
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized diagnosis of Petri nets. ACC 2010: 3371-3377
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/case/CabasinoGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/CabasinoGS10
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. CASE 2010: 485-490
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CabasinoSMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CabasinoSMS10
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez:
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/CabasinoGPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/CabasinoGPS10
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A new protocol for the decentralized diagnosis of labeled Petri nets. WODES 2010: 123-128

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/SeatzuMCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/SeatzuMCS09
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez:
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC 2009: 1598-1604
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/MahuleaSCRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/MahuleaSCRS09
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva:
Observer design for untimed continuous Petri nets. ACC 2009: 4765-4770
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoGS09
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosability of bounded Petri nets. CDC 2009: 1254-1260
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoGLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoGLS09
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SeatzuCMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SeatzuCMS09
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez:
New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icinco/CabasinoGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/CabasinoGS09
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Discrete Event Diagnosis using Petri Nets. ICINCO-ICSO 2009: 15-29
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoGS08
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Linear programming techniques for the identification of place/transition nets. CDC 2008: 514-520
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/RuCGH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/RuCGH08
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis:
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. CDC 2008: 1048-1053
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/CabasinoGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/CabasinoGS07
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of Petri Nets from Knowledge of Their Language. Discret. Event Dyn. Syst. 17(4): 447-474 (2007)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/case/CabasinoGMRSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/CabasinoGMRSS07
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. CASE 2007: 194-199
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/MahuleaCGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/MahuleaCGS07
Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
A state estimation problem for timed continuous Petri nets. CDC 2007: 1770-1775
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CabasinoGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CabasinoGS06
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of unbounded Petri nets from their coverability graph. CDC 2006: 434-440

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.