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
Verification of current-state opacity using Petri nets.

, , , and . ACC, page 1935-1940. IEEE, (2015)

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

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , and . SMC, page 2348-2353. IEEE, (2013)On the use of IPA in performance optimization of continuous marked graphs: A case study., and . ETFA, page 1-8. IEEE, (2013)Linear programming techniques for the identification of place/transition nets., , and . CDC, page 514-520. IEEE, (2008)Diagnosability of bounded Petri nets., , and . CDC, page 1254-1260. IEEE, (2009)New results for fault detection of untimed continuous Petri nets., , , and . CDC, page 6952-6957. IEEE, (2009)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , and . CDC, page 356-361. IEEE, (2015)State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*., , and . Discrete Event Dynamic Systems, 15 (1): 85-108 (2005)Fault model identification and synthesis in Petri nets., , , and . Discrete Event Dynamic Systems, 25 (3): 419-440 (2015)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)