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

Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context., , , und . ISPA/IUCC/BDCloud/SocialCom/SustainCom, Seite 147-154. IEEE, (2018)A distributed verification approach for modular Petri nets., und . SCSC, Seite 681-690. Simulation Councils, Inc., (2007)Synthesis of controllers for symmetric systems., und . Int. J. Control, 83 (11): 2354-2367 (2010)A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems., , , und . SCSS, Volume 45 von EPiC Series in Computing, Seite 107-119. EasyChair, (2017)Optimal Supervisory Control of Opacity for Modular Systems., , , und . ISPA/BDCloud/SocialCom/SustainCom, Seite 854-861. IEEE, (2022)At Design-Time Approach for Supervisory Control of Opacity., , , und . CoopIS, Volume 13591 von Lecture Notes in Computer Science, Seite 37-54. Springer, (2022)Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control., , , und . CoDIT, Seite 1397-1402. IEEE, (2022)Decentralised Active Controller., und . ICINCO (2), Seite 252-259. INSTICC Press, (2010)An Active Controller Based on Parikh Vectors., , und . WODES, Seite 93-98. International Federation of Automatic Control, (2014)Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control., , , und . CoDIT, Seite 1990-1995. IEEE, (2023)