Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Detectability in Petri Nets Using Verifier Nets., , , und . CoRR, (2019)Verification of C-detectability Using Petri Nets., , , und . CoRR, (2019)Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection., , und . IEEE Trans. Automat. Contr., 64 (7): 2997-3004 (2019)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 164-183. Springer, (2018)Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning., , , und . CDC, Seite 356-361. IEEE, (2015)Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking., , und . SMC, Seite 2348-2353. IEEE, (2013)Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs., , und . IEEE Trans. Automat. Contr., 64 (10): 4353-4360 (2019)A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals., , , , und . IEEE Trans. Syst. Man Cybern. Syst., 47 (3): 487-501 (2017)Verification of State-Based Opacity Using Petri Nets., , , und . IEEE Trans. Autom. Control., 62 (6): 2823-2837 (2017)Verification of K-step and infinite-step opacity of bounded labeled Petri nets., , und . Autom., (2022)