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

An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , und . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)State Estimation of Petri Nets by Transformation., , , , , und . CASE, Seite 194-199. IEEE, (2007)A probabilistic abstraction approach for planning and controlling mobile robots., , und . ETFA, Seite 1-8. IEEE, (2011)New results for fault detection of untimed continuous Petri nets., , , und . CDC, Seite 6952-6957. IEEE, (2009)An Automated Framework for Formal Verification of Timed Continuous Petri Nets., , , und . IEEE Trans. Industrial Informatics, 6 (3): 460-471 (2010)Collision avoidance of mobile robots by using initial time delays., , , und . CDC, Seite 324-329. IEEE, (2015)Path-planning in Discretized Environments with Optimized Waypoints Computation., , und . ETFA, Seite 729-735. IEEE, (2018)Accomplish multi-robot tasks via Petri net models., und . CASE, Seite 304-309. IEEE, (2015)Modular Petri net modeling of the Spanish health system., , und . ETFA, Seite 1-8. IEEE, (2012)Optimal Model Predictive Control of Timed Continuous Petri Nets., , , , und . IEEE Trans. Automat. Contr., 53 (7): 1731-1735 (2008)