Biblio
Filters: First Letter Of Last Name is D [Clear All Filters]
Corrections to #x201C;On Decentralized Estimation With Active Queries #x201D; [May 15 2610-2622]. IEEE Transactions on Signal Processing. 65:4971-4972.
.
2017.
A Zero-crossing Detection Algorithm for Robust Simulation of Hybrid Systems Jumping on Surfaces. Simulation Modelling Practice and Theory. 68:1-17.
.
2016.
Distributed optimization decomposition for joint economic dispatch and frequency regulation. IEEE Trans. on Power Systems (published online).
.
2017. Early Access DOI: 10.1109/TPWRS.2017.2682235
A Reputation-Based Contract for Repeated Crowdsensing with Costly Verification'. American Control Conference (ACC).
.
2017.
An aerial phytobiopsy system: Design, evaluation, and lessons learned. 2017 International Conference on Unmanned Aircraft Systems (ICUAS). :188-195.
.
2017.
The Robotarium: A Remotely Accessible Swarm Robotics Research Testbed. {IEEE} International Conference on Robotics and Automation.
.
2017.
A Hybrid Control Strategy for Waypoint Transitioning and Loitering of Unmanned Aerial Vehicles. Nonlinear Analysis: Hybrid Systems. 26:115–136.
.
2017.
Autonomous Waypoint Transitioning and Loitering for Unmanned Aerial Vehicles via Hybrid Control. Proceedings of AIAA Guidance, Navigation and Control Conference.
.
2016.
Using model-based simulation for augmenting Incident Command System for disaster response. 2016 Winter Simulation Conference (WSC). :3017-3027.
.
2016.
A Carpooling Recommendation System for Taxicab Services. IEEE Transactions on Emerging Topics in Computing. 2:254-266.
.
2014.
pCruise: Reducing Cruising Miles for Taxicab Networks. 2012 IEEE 33rd Real-Time Systems Symposium. :85-94.
.
2012.
Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network. 2014 IEEE International Congress on Big Data. :152-159.
.
2014.
CallCab: A unified recommendation system for carpooling and regular taxicab services. 2013 IEEE International Conference on Big Data. :439-447.
.
2013.
Online Cruising Mile Reduction in Large-Scale Taxicab Networks. IEEE Transactions on Parallel and Distributed Systems. 26:3122-3135.
.
2015.
Formal design of robot integrated task and motion planning. Decision and Control (CDC), 2016 IEEE 55th Conference on. :6589–6594.
.
2016.
.
2017.
Smart secure homes: A survey of smart home technologies that sense, assess, and respond to security threats. Journal of Reliable Intelligent Environments.
.
2016.
Automatic synthesis of cooperative multi-agent systems. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6173–6178.
.
2014.
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. Control and Automation (MED), 2016 24th Mediterranean Conference on. :1008–1013.
.
2016.
A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants. Control Theory and Technology. 12:218–233.
.
2014.
Learning-based design of fault-tolerant cooperative multi-agent systems. American Control Conference (ACC), 2015. :1929–1934.
.
2015.
Achieving fault-tolerance and safety of discrete-event systems through learning. American Control Conference (ACC), 2016. :4835–4840.
.
2016.
Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach. Control & Automation (ICCA), 11th IEEE International Conference on. :186–191.
.
2014.
Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. arXiv preprint arXiv:1707.05428.
.
2017.
Synthesis of safety controllers robust to unmodeled intermittent disturbances. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7425–7430.
.
2016.