Biblio
.
2015. Control Barrier Function based Quadratic Programs with Application to bipedal robotic walking. American Control Conference (ACC), 2015. :4542–4548.
.
2015. Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. American Control Conference (ACC), 2015. :1411–1418.
.
2015. Controller synthesis for mode-target games. IFAC-PapersOnLine. 48:343–350.
.
2015. Robustness of Control Barrier Functions for Safety Critical Control. IFAC-PapersOnLine. 48:54–61.
.
2015. Passivity degradation in discrete control implementations: An approximate bisimulation approach. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :6817–6822.
.
2015. On compositional symbolic controller synthesis inspired by small-gain theorems. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :6133–6138.
.
2015. Continuity and smoothness properties of nonlinear optimization-based feedback controllers. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :151–158.
.
2015. Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
.
2015. A Notion of Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control. PP:1-1.
.
2016. Control sharing barrier functions with application to constrained control. Decision and Control (CDC), 2016 IEEE 55th Conference on. :4880–4885.
.
2016. Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5700–5707.
.
2016. Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. :205–214.
.
2016. Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
.
2016. Decomposing controller synthesis for safety specifications. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5720–5725.
.
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.