Biblio
Filters: First Letter Of Last Name is A [Clear All Filters]
.
2017. Sequential design for functional calibration of computer models. Technometrics. accepted
.
2017. Reducing Circumduction and Hip Hiking During Hemiparetic Walking Through Targeted Assistance of the Paretic Limb Using a Soft Robotic Exosuit}. Am J Phys Med Rehabil. 96:S157-S164.
.
2017. A soft robotic exosuit improves walking in patients after stroke. Science Translational Medicine. 9
.
2017. Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control Systems Letters. 1:316–321.
.
2016. Viable set approximation for linear-Gaussian systems with unknown, bounded variance. {IEEE} Conference on Decision and Control. :7049–7055.
.
2016. Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
.
2017. Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms. Hybrid Systems: Computation and Control. :35–44.
\textbf{Best Student Paper Award}
.
2017. Dynamic Risk Tolerance: Motion Planning by Balancing Short-Term and Long-Term Stochastic Dynamic Predictions. International Conference on Robotics and Automation. :3762–3769.
to appear
.
2017. Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. American Control Conference. :4404–4411.
.
2017. Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods. {IEEE} Conference on Decision and Control.
to appear
.
2017. Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.
to appear
.
Submitted. Coordinated threat intercept via forward stochastic reachability. American Control Conference} year = {2018.
under review
.
2017. Optimized event notification in CAN through in-frame replies and Bloom filters. 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS). :1-10.
.
2017. Supporting security protocols on CAN-based networks. 2017 IEEE International Conference on Industrial Technology (ICIT). :1334-1339.
.
2014. Before/After Study on the Effects of Signage and Striping on the Safety of a Modern Two-Lane Roundabout. Transportation Research Board 93rd Annual Meeting.
.
2004. METHODOLOGY FOR SELECTING MICROSCOPIC SIMULATORS. At the Crossroads: Integrating Mobility Safety and Security. ITS America 2004, 14th Annual Meeting and Exposition.
.
2017. When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
.
2016. Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. Signal Processing Systems. 85:23–43.
.
2016. Constrained Synthesis from Component Libraries. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :92–110.
.
2016. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science. 9995