Biblio
Filters: First Letter Of Last Name is T [Clear All Filters]
.
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.
.
2015. First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
.
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. On compositional symbolic controller synthesis inspired by small-gain theorems. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :6133–6138.
.
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. 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. 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. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. arXiv preprint arXiv:1609.06807.
.
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.
.
2016. Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2017. On building a cloud-based mobile testing infrastructure service system. Journal of Systems and Software. 124:39–55.
.
2016. Building a Model-Based GUI Test Automation System for Mobile Applications. International Journal of Software Engineering and Knowledge Engineering. 26:1605–1615.
.
2015. Detection and Segmentation of 2D Curved Reflection Symmetric Structures. IEEE International Conference of Computer Vision.
.
2015. Contour Detection and Characterization for Asynchronous Event Sensors. IEEE International Conference of Computer Vision.
.
2017. Wavelet Based Damage Assessment and Localization for Bridge Structures. ASNT 26th Research Symposium Proceeding.
.
2017. Drive-by bridge frequency-based monitoring utilizing wavelet transform.. Journal of Civil Structural Health Monitoring.
.
2017. Optimizing Curbside Parking Resources Subject to Congestion Constraints. Proceedings of the IEEE Conference on Decision and Control.
.
2016. Quantification and Synthesis of Emergent Behaviors of Locally Interacting Entities. International Workshop on Bioinformatics and Systems Biology.