Author of the publication

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.

 

Other publications of authors with the same name

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