Biblio
Filters: First Letter Of Last Name is K [Clear All Filters]
Forecasting Gathering Events through Continuous Destination Prediction on Big Trajectory Data. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL 2017). :1–10.
.
2017.
DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. IEEE International Conference on Automation Science and Engineering.
.
2015.
Extended LTLvis Motion Planning Interface. IEEE International Conference on Systems, Man, and Cybernetics.
.
2016.
Deep value of information estimators for collaborative human-machine information gathering. Cyber-Physical Systems (ICCPS), 2016 ACM/IEEE 7th International Conference on. :1–10.
.
2016.
Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach. Autonomous Robots. 39:503-517.
.
2015.
Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems. IEEE Transactions on Automation Science and Engineering. 13:479–490.
.
2016.
Wireless Monitoring and Spectral Analysis of a 3 kW Wind Turbine for Condition Monitoring. Structural Health Monitoring 2015.
.
2015.
Long-Term Modal Analysis of Wireless Structural Monitoring Data from a Suspension Bridge under Varying Environmental and Operational Conditions: System Design and Automated Modal Analysis. Journal of Engineering Mechanics. 143:04016124.
.
2016.
Bad data detection in PMU measurements using principal component analysis. 2016 North American Power Symposium (NAPS). :1-6.
.
2016.
A Geometric Approach to Aggregate Flexibility Modeling of Thermostatically Controlled Loads. to appear in IEEE Transactions on Power Systems.
.
2017.
Guided undersampling using ensemble filtering and normalized cuts for imbalanced data classification. Journal of Machine Learning Research. submitted
.
2017.
A small, portable, battery-powered brain-computer interface system for motor rehabilitation. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :2776–2779.
.
2016.
Feasibility of an ultra-low power digital signal processor platform as a basis for a fully implantable brain-computer interface system. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :4491–4494.
.
2016.
A Low-Cost, Fully Programmable, Battery Powered Direct Cortical Electrical Stimulator. Journal of Medical Devices. 10:030901.
.
2016.
Performance Assessment of a Custom, Portable and Low-Cost Brain-Computer Interface Platform. IEEE Transactions on Biomedical Engineering.
.
2017.
CMOS Ultralow Power Brain Signal Acquisition Front-Ends: Design and Human Testing. IEEE Transactions on Biomedical Circuits and Systems.
.
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.
A soft exosuit for patients with stroke: Feasibility study with a mobile off-board actuation unit. 2015 IEEE International Conference on Rehabilitation Robotics (ICORR). :131-138.
.
2015.
Reachability for partially observable discrete time stochastic hybrid systems. Automatica. 50:1989–1998.
.
2014.
Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. {IEEE Transactions on Automatic Control}. 62:81–96.
.
2017.
Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. {IEEE Transactions on Robotics}.
.
2017. To appear
Towards a Cognitively-based Analytic Model of Human Control of Swarms. Proceedings of the {AAAI} Spring Symposium. :68–73.
.
2014. Technical Report SS-14-02, ``Formal Verification and Modeling in Human-Machine Systems''
Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
.
2014.
Finite State Approximation for Verification of Partially Observable Stochastic Hybrid Systems. Hybrid Systems: Computation and Control. :159–168.
.
2015.