Biblio
Filters: Keyword is 1552668 [Clear All Filters]
Human-inspired walking via unified pd and impedance control. Robotics and Automation (ICRA), 2014 IEEE International Conference on. :5088–5094.
.
2014.
Human-inspired multi-contact locomotion with AMBER2. ICCPS'14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014). :199–210.
.
2014.
Highly robust running of articulated bipeds in unobserved terrain. Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. :2558–2565.
.
2014.
Incremental synthesis of switching protocols via abstraction refinement. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6246–6253.
.
2014.
Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control. Proceedings of the 17th international conference on Hybrid systems: computation and control. :263–272.
.
2014.
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.
.
2014.
Abstracting and refining robustness for cyber-physical systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. :223–232.
.
2014.
Control barrier function based quadratic programs with application to adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6271–6278.
.
2014.
First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
.
2015.
Robust spring mass model running for a physical bipedal robot. Robotics and Automation (ICRA), 2015 IEEE International Conference on. :6307–6312.
.
2015.
Model predictive control of underactuated bipedal robotic walking. Robotics and Automation (ICRA), 2015 IEEE International Conference on. :5121–5126.
.
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.
.
2015.
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.