Author of the publication

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

, , , , , , , , , and . CDC, page 816-823. IEEE, (2014)

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

Torque Saturation in Bipedal Robotic Walking Through Control Lyapunov Function-Based Quadratic Programs., , , and . IEEE Access, (2015)Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems., and . IEEE Trans. Automat. Contr., 56 (6): 1322-1336 (2011)Speed regulation in 3D robotic walking through motion transitions between Human-Inspired partial hybrid zero dynamics., , and . ICRA, page 4803-4810. IEEE, (2013)Motion primitives for human-inspired bipedal robotic locomotion: walking and stair climbing., , and . ICRA, page 543-549. IEEE, (2012)Quadratic programming and impedance control for transfemoral prosthesis., , and . ICRA, page 1341-1347. IEEE, (2014)Preliminary results on correct-by-construction control software synthesis for adaptive cruise control., , , , , , , , , and . CDC, page 816-823. IEEE, (2014)Safe, Remote-Access Swarm Robotics Research on the Robotarium., , , , , , , and . CoRR, (2016)Tractable terrain-aware motion planning on granular media: An impulsive jumping study., , , and . IROS, page 3887-3892. IEEE, (2016)Efficient HZD gait generation for three-dimensional underactuated humanoid running., , , and . IROS, page 5819-5825. IEEE, (2016)Bio-Inspired Feedback Control of Three-Dimensional Humanlike Bipedal Robots., and . JRM, 24 (4): 595-601 (2012)