PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Seatzu, Carla"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosability of bounded Petri nets.

, , and . CDC, page 1254-1260. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carla Maria Scagnetti Goyarzu University of Stuttgart

 

Other publications of authors with the same name

Initial marking estimation in labeled Petri nets in a probabilistic setting., , and . CDC, page 6725-6730. IEEE, (2014)Fault diagnosis of an ABS system using Petri nets., , , , and . CASE, page 594-599. IEEE, (2011)State Estimation of Petri Nets by Transformation., , , , , and . CASE, page 194-199. IEEE, (2007)Verification of Detectability in Petri Nets Using Verifier Nets., , , and . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , and . CoRR, (2019)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 164-183. Springer, (2018)Fault Diagnosis of Discrete Event Systems Using Petri Nets.. VECoS, volume 1256 of CEUR Workshop Proceedings, page 12-15. CEUR-WS.org, (2014)Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection., , and . IEEE Trans. Automat. Contr., 64 (7): 2997-3004 (2019)Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange., , , , and . CoRR, (2014)State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*., , and . Discrete Event Dynamic Systems, 15 (1): 85-108 (2005)