Biblio
Filters: First Letter Of Last Name is R [Clear All Filters]
.
2013. On Event Detection and Localization in Acyclic Flow Networks. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43:708-723.
.
2014. Mobile Sensor Networks for Leak and Backflow Detection in Water Distribution Systems. 2014 IEEE 28th International Conference on Advanced Information Networking and Applications. :673-680.
.
2014. A cyber-physical system for continuous monitoring of Water Distribution Systems. 2014 IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). :570-577.
.
2015. Toward Optimal Monitoring of Flow-Based Systems Using Mobile Wireless Sensor Networks. ACM Trans. Sen. Netw.. 11:48:1–48:37.
.
2016. Mobile sensor networks for optimal leak and backflow detection and localization in municipal water networks. Environmental Modelling & Software. 80:306-321.
.
2006. Efficient In-Network Processing Through Local Ad-Hoc Information Coalescence. Distributed Computing in Sensor Systems, Second {IEEE} International Conference, {DCOSS} 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings. 4026:252–265.
.
2007. Distributed Tracking in Multihop Sensor Networks With Communication Delays. {IEEE} Trans. Signal Processing. 55:4656–4668.
.
2010. Probabilistic Belief Revision with Structural Constraints. Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, Vancouver, British Columbia, Canada.. :1036–1044.
.
2010. A new algorithm for outlier rejection in particle filters. 13th Conference on Information Fusion, {FUSION} 2010, Edinburgh, UK, July 26-29, 2010. :1–7.
.
2012. Exploratory search of long surveillance videos. Proceedings of the 20th {ACM} Multimedia Conference, {MM} '12, Nara, Japan, October 29 - November 02, 2012. :309–318.
.
2013. Introduction to the issue on anomalous pattern discovery for spatial, temporal, networked, and high-dimensional signals. J. Sel. Topics Signal Processing. 7:1–3.
.
2015. Efficient Learning by Directed Acyclic Graph For Resource Constrained Prediction. Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada. :2152–2160.
.
2016. Man is to Computer Programmer as Woman is to Homemaker? Debiasing Word Embeddings Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain. :4349–4357.
.
2017. Multiple traveling salesmen and related problems: A maximum-entropy principle based approach. American Control Conference (ACC), 2017. :3944–3949.
.
2017. A Simplex Architecture for Hybrid Systems using Barrier Certificates. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). :117–131.
.
2017. Lagrangian Reachability. International Conference on Computer Aided Verification (CAV 2017). :379–400.
.
2016. A Testbed for Closed Loop Cyber-Physical-SocialSystem Simulation and Security Analysis. Cyber-Physical-Social Systems and Constructs in Electric Power Engineering.
.
2015. Automated detection of activity transitions for prompting. IEEE Transactions on Human-Machine Systems.
.
Submitted. Spoof Resilient Coordination of Distributed Multi-Robot Teams. International Symposium on Multi-Robot and Multi-Agent Systems.
.
2016. Towards trustworthy automation: User interfaces that convey internal and external awareness. 19th {IEEE} International Conference on Intelligent Transportation Systems (ITSC). :682–688.
.
2017. Optimizing the Information-Performance Tradeoff between Humans and Autonomy via Information Constraints on Design. 20th {IEEE} International Conference on Intelligent Transportation Systems (ITSC).
.
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.
.
2015. First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
.
2016. A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.