Author of the publication

Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications.

, , and . Int. J. Robotics Res., 19 (1): 59-76 (2000)

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

Reactive collision avoidance for navigation with dynamic constraints., , and . IROS, page 588-594. IEEE, (2002)Environment Understanding: Robust Feature Extraction from Range Sensor Data., and . IROS, page 3337-3343. IEEE, (2006)The ego-kinodynamic space: collision avoidance for any shape mobile robots with kinematic and dynamic constraints., and . IROS, page 637-643. IEEE, (2003)Motion planning in dynamic environments using the velocity space., and . IROS, page 2833-2838. IEEE, (2005)Abstracting any Vehicle Shape and the Kinematics and Dynamic Constraints from Reactive Collision Avoidance Methods., and . EMCR, (2007)An optimized model for estimation of muscle contribution and human joint torques from sEMG information., and . EMBC, page 3364-3367. IEEE, (2012)Robot Teams for Intervention in Confined and Structured Environments., , , , , and . J. Field Robotics, 33 (6): 765-801 (2016)Seamless Indoor-Outdoor Robust Localization for Robots., , , and . ROBOT (2), volume 253 of Advances in Intelligent Systems and Computing, page 275-287. Springer, (2013)A "Divide and Conquer" Strategy based on Situations to Achieve Reactive Collision Avoidance in Troublesome Scenarios., , and . ICRA, page 3855-3862. IEEE, (2004)Goal Directed Reactive Robot Navigation with Relocation Using Laser and Vision., , and . ICRA, page 2905-2910. IEEE Robotics and Automation Society, (1999)