Biblio
Filters: Keyword is 1552668 [Clear All Filters]
.
2016. Synthesis of safety controllers robust to unmodeled intermittent disturbances. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7425–7430.
.
2015. A framework for the event-triggered stabilization of nonlinear systems. IEEE Transactions on Automatic Control. 60:982–996.
.
2016. A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.
.
2017. Obstacle Avoidance for Low-Speed Autonomous Vehicles With Barrier Function. IEEE Transactions on Control Systems Technology.
.
2017. Computing robust controlled invariant sets of linear systems. IEEE Transactions on Automatic Control.
.
2015. MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS. arXiv preprint arXiv:1504.07702.
.
2016. Mechanics-based design of underactuated robotic walking gaits: Initial experimental realization. Humanoid Robots (Humanoids), 2016 IEEE-RAS 16th International Conference on. :981–986.
.
2016. Online optimal gait generation for bipedal walking robots using legendre pseudospectral optimization. Decision and Control (CDC), 2016 IEEE 55th Conference on. :6173–6179.
.
2016. Efficient HZD gait generation for three-dimensional underactuated humanoid running. Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. :5819–5825.
.
2016. Mechanics-based control of underactuated 3D robotic walking: Dynamic gait generation under torque constraints. Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. :555–560.
.
2016. Realizing dynamic and efficient bipedal locomotion on the humanoid robot DURUS. Robotics and Automation (ICRA), 2016 IEEE International Conference on. :1794–1801.
.
2016. 3D dynamic walking with underactuated humanoid robots: A direct collocation framework for optimizing hybrid zero dynamics. Robotics and Automation (ICRA), 2016 IEEE International Conference on. :1447–1454.
.
2016. Work those arms: Toward dynamic and stable humanoid walking that optimizes full-body motion. Robotics and Automation (ICRA), 2016 IEEE International Conference on. :1552–1559.
.
2016. Establishing trust in remotely reprogrammable systems. Proceedings of the International Conference on Human-Computer Interaction in Aerospace. :19.
.
2016. Towards real-time parameter optimization for feasible nonlinear control with applications to robot locomotion. American Control Conference (ACC), 2016. :3922–3927.
.
2016. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. arXiv preprint arXiv:1609.06807.
.
2016. Parameter to state stability of control Lyapunov functions for hybrid system models of robots. Nonlinear Analysis: Hybrid Systems.
.
2016. Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Transactions on Automatic Control.
.
2017. First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.
.
2017. Safety Barrier Certificates for Collisions-Free Multirobot Systems. IEEE Transactions on Robotics.
.
2016. Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2016. Tractable terrain-aware motion planning on granular media: An impulsive jumping study. Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. :3887–3892.
.
2016. Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. American Control Conference.
.
2016. Multi-objective Compositions for Collision-Free Connectivity Maintenance in Teams of Mobile Robots. {IEEE} Conference on Decision and Control.
.
2017. Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness. {IEEE} International Conference on Robotics and Automation.