( en | de | ru )

 

Disambiguation of "Giua, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.

, , and . CDC, page 1675-1681. 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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Zivelonghi

Alessandro Nova

Alessandro Topa

Alessandro Mirizzi

 

Other publications of authors with the same name

Neural Networks for Multiple Fault Diagnosis in Analog Circuits., , and . DFT, page 303-310. IEEE Computer Society, (1993)Decentralized supervisory control of Petri nets with monitor places., , and . ETFA, IEEE, (2005)Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events., , and . CASE, page 485-490. IEEE, (2010)Decentralized Supervisory Control of Petri Nets with Monitor Places., , and . CASE, page 7-13. IEEE, (2007)Current-state opacity enforcement in discrete event systems under incomparable observations., , , and . Discret. Event Dyn. Syst., 28 (2): 161-182 (2018)Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection., , , and . Discret. Event Dyn. Syst., 32 (1): 65-88 (2022)Leader-follower formation via complex Laplacian., , , , and . Autom., 49 (6): 1900-1906 (2013)Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions"., , , , and . IEEE Trans. Autom. Control., 64 (12): 5253-5259 (2019)Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach., , , and . CoRR, (2020)Petri nets for the control of discrete event systems., and . Softw. Syst. Model., 14 (2): 693-701 (2015)