Search results

• TerraSwarm Final Report (January 1, 2013 - December 31, 2017) Milestone #24, Edward A. Lee, 2018
• Why the Equifax Breach Should Not Have Mattered, Marten Lohstroh, 12, December, 2017
• Slocalization: Accurate Asset Tracking with Ultra Wideband Backscatter, Benjamin Kempke, Pat Pannuto, Prabal Dutta, 15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017), ACM, 5, November, 2017
• Yr 5 Quarterly Report #4 (August 1, 2017 - October 31, 2017) Milestone 23, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, November, 2017
• Contextual Callbacks for Resource Discovery and Trust Negotiation on the Internet of Things, Marten Lohstroh, Hokeun Kim, Edward A. Lee, 17, October, 2017
• Smartphone-aided Indoor Mapping of Beacons and Sensors, Niranjini Rajagopal, Patrick Lazik, Anthony Rowe, Bruno Sinopoli, 11, October, 2017
• Demonstration of Location Privacy Enforcement using Obfuscation, Romulo Meira Goes, Sanjit Seshia, Stephane Lafortune, Gregory Willett, Nicholas Recker, Blake Rawlings, Christoforos Keroglou, 11, October, 2017
• Location Accessors & Discovery, Matt Weber, 15, August, 2017
• Yr 5 Quarterly Report #3 (May 1, 2017 - July 31, 2017) Milestone 22, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, August, 2017
• Indoor Localization: Where are we? Where are we going?, Anthony Rowe, 8, May, 2017
• Active Information Acquisition using Multiple Robots, Nikolay A. Atanasov, George Pappas, 2, April, 2017
• Yr 5 Quarterly Report #2 (Feb 1, 2017 - Apr 30, 2017) Milestone 21, Jeffrey A. Bilmes, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, April, 2017
• Three ACID Challenge Problems, Rahul Mangharam, 29, March, 2017
• TerraSwarm Quarterly Report: Milestone #20 Yr 5 Qtr 1, Christopher Brooks, March, 2017
• 2015-2016 TerraSwarm Annual Report Milestone #19, Edward A. Lee, 2017
• Recent Progress on Privacy Enforcement through Obfuscation, Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman, 29, October, 2016
• Plenary Session #1: Scalable deployments, Prabal Dutta, 27, October, 2016
• Plenary Session #2, Jeffrey A. Bilmes, 27, October, 2016
• MARCO Perspective for TerraSwarm Annual Review, Gil Vandentop, 26, October, 2016
• Efficient Data Retrieval from a Secure, Durable, Append-Only Log, Paul Bramsen, Sam Kumar, Andrew Chen, John D. Kubiatowicz, 26, October, 2016
• Introduction to Demonstrations, John Wawrzynek, Ken Lutz, John MacCallum, Nitesh Mor, 26, October, 2016
• TerraSwarm: State of the Center, Edward A. Lee, Jan Rabaey, 26, October, 2016
• SST: Secure Swarm Toolkit - Authorization, Authentication, Security for the IoT, Hokeun Kim, Edward A. Lee, 26, October, 2016
• TerraSwarm 2016 Annual Meeting: Theme 1: Proactive Worlds, Prabal Dutta, Richard Murray, 26, October, 2016
• Optimal Packet Aggregation in Wireless Networks, Alper Sinan Akyurek, Tajana Simunic Rosing, 26, October, 2016
• SurePoint: UWB Flooding and Diversity for Robust, High-Fidelity Localization, Benjamin Kempke, Pat Pannuto, Prabal Dutta, 26, October, 2016
• Fusion and Signal Quality Assessment for Sensors in the Swarm, Viswam Nathan, Roozbeh Jafari, 26, October, 2016
• Theme 3 Services Poster Tweets, TerraSwarm Team, 26, October, 2016
• Theme 2 Services and Cloud Interactions, TerraSwarm Team, 26, October, 2016
• Sensing and Actuation Design for Large-Scale Complex Systems, Vasileios Tzoumas, Nikolay A. Atanasov, Sergio Pequito, Ali Jadbabaie, George Pappas, October, 2016
• Beacon Placement for Range-Based Indoor Localization, Niranjini Rajagopal, Anthony Rowe, Bruno Sinopoli, The 7th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2016), October, 2016
• Multi-agent and location-dependent privacy, Fragkiskos Koufogiannis, George Pappas, October, 2016
• SMC: Satisfiability Modulo Convex Optimization, Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas, October, 2016
• Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016
• Scheduling of Automated Vehicles for Ridesharing Services, Shuo Han, Fei Miao, Ufuk Topcu, George Pappas, October, 2016
• TerraSwarm Accomplisments, Edward A. Lee, September, 2016
• TerraSwarm Quarterly Report: Milestone #17 Yr 4 Qtr 3, Edward A. Lee, August, 2016
• Obfuscator Synthesis for Privacy and Utility, Yi-Chin Wu, Vasu Raman, Stephane Lafortune, Sanjit Seshia, 8th NASA Formal Methods Symposium, June, 2016
• Fast Redistribution of a Swarm of Heterogeneous Robots, Amanda Prorok, M. Ani Hsieh, Vijay Kumar, Proceedings of 9th EAI International Conference on Bio-inspired Information and Communications Technologies, 24, May, 2016
• Formalizing the Impact of Diversity on Performance in a Heterogeneous Swarm of Robots, Amanda Prorok, M. Ani Hsieh, Vijay Kumar, IEEE International Conference on Robotics and Automation, 16, May, 2016
• Optimal Temporal Logic Planning in Probabilistic Semantic Maps, Jie Fu, Nikolay A. Atanasov, Ufuk Topcu, George Pappas, IEEE International Conference on Robotics and Automation, 16, May, 2016
• XGBoost: A Scalable Tree Boosting System, Tianqi Chen, 13, May, 2016
• Particle Filters for Robust Estimation from Physiological Sensors in the Swarm, Viswam Nathan, 12, May, 2016
• Accessors and the RoboCafé: Interoperability in the Internet of Things, Pat Pannuto, 10, May, 2016
• Efficient Data Retrieval from a Secure, Durable, Append-Only Log, Paul Bramsen, Sam Kumar, Andrew Chen, John D. Kubiatowicz, May, 2016
• TerraSwarm Quarterly Report: Milestone #16 Yr 4 Qtr 2, Jan Rabaey, May, 2016
• Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay A. Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas, Insup Lee, ACM/IEEE International Conference on Cyber-Physical Systems, 11, April, 2016
• Control-aware Random Access Communication, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, International Conference on Cyber-Physical Systems, Austria, ACM/IEEE, 11, April, 2016
• An Overview of the TerraSwarm Research Center, Christopher Brooks, 11, February, 2016
• TerraSwarm Quarterly Report: Milestone #15 Yr 4 Qtr 1, Jan Rabaey, February, 2016
• Uncertainty Analysis of Middleware Architectures for Streaming Smart Grid Applications, Ilge Akkaya, Yan Liu, Edward A. Lee, IEEE Transactions on Services Computing, January, 2016
• TerraSwarm Quarterly Report: Milestone #18 Yr 4 Qtr 4, Edward A. Lee, 2016
• A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems, Shuo Han, Topcu Ufuk, George Pappas, Conference on Decision and Control, IEEE, 15, December, 2015
• Control with Random Access Wireless Sensors, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, 54th Conference on Decision and Control, IEEE, 15, December, 2015
• Security in Cyber-Physical Systems: Controller Design Against Known-Plaintext Attack, Ye Yuan, Yilin Mo, Conference on Decision and Control 2015, IEEE, 15, December, 2015
• Dynamic State Estimation in the Presence of Compromised Sensory Data, Yorie Nakahira, Yilin Mo, Conference on Decision and Control 2015, IEEE, 15, December, 2015
• Minimum Number of Probes for Brain Dynamics Observability, Sergio Pequito, Paul Bogdan, George Pappas, 54th IEEE Conference on Decision and Control, 306-311, 15, December, 2015
• Synthesis of Opacity-Enforcing Insertion Functions that can be Publicly Known, Yi-Chin Wu, Stephane Lafortune, 54th Conference on Decision and Control, IEEE, 15, December, 2015
• Robust Taxi Dispatch under Model Uncertainties, Fei Miao, Shuo Han, Shan Lin, George Pappas, 54th Conference on Decision and Control (CDC), Osaka, IEEE, 15, December, 2015
• A Complete Recipe for Stochastic Gradient MCMC, Yian Ma, Tianqi Chen, Emily B. Fox, Neural Information Processing Systems, 7, December, 2015
• Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam, 2015 IEEE Real-Time Systems Symposium (RTSS), December, 2015
• QuadCloud: A Rapid Response Force with Quadrotor Teams, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam, Springer Tracts in Advanced Robotics Special Issue on ISER 2014, 13, November, 2015
• Power-efficient algorithms for autonomous navigation, Y. V. Pant, H. Abbas, K.N. Nischal, P. Kelkar, D. Kumar, J. Devietti, R. Mangharam, IEEE, 9, November, 2015
• Active Magnetic Anomaly Detection Using Multiple Micro Aerial Vehicles, Philip Dames, Mac Schwager, Daniela Rus, Vijay Kumar, submitted to the IEEE Robotics and Automation Letters (R-AL), November, 2015
• Security-Aware Design Methodology and Optimization for Automotive Systems, Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto Sangiovanni-Vincentelli, submitted to ACM Transactions on Design Automation of Electronic Systems (TODAES), November, 2015
• Information Overload, Jeffrey A. Bilmes, 15, October, 2015
• Differential Privacy in Terraswarms, Shuo Han, George Pappas, 15, October, 2015
• TerraSwarm 2015 Annual Meeting: Theme 3: Services and Cloud Interactions, Jeffrey A. Bilmes, Anthony Rowe, 14, October, 2015
• TerraSwarm 2015 Annual Meeting: Theme 3: Services and Cloud Interactions: Poster Overviews, Theme 3 Researchers, 14, October, 2015
• Controlling Diversity to Maximize Performance in a Heterogeneous Swarm of Robots, Amanda Prorok, M. Ani Hsieh, Vijay Kumar, 14, October, 2015
• Privacy of User Data in Networked Urban Infrastructures, Fragkiskos Koufogiannis, Shuo Han, George Pappas, 14, October, 2015
• Sensor Fusion and Resource Management for Physiological Monitoring in the Swarm, Viswam Nathan, Ilge Akkaya, Roozbeh Jafari, 14, October, 2015
• Localize the World: A Location Accessor Architecture for the Swarm, Matt Weber, Edward A. Lee, 13, October, 2015
• Semantic Localization, Mapping & Navigation, Nikolay A. Atanasov, Sean Bowman, Kostas Daniilidis, George Pappas, October, 2015
• Active Information Acquisition with Mobile Robots, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, October, 2015
• Scalable Bayes for Large and Streaming Sequential Data, Nick Foti, Emily B. Fox, October, 2015
• City-Scale Bayesian Spatial Modeling for House Pricing, Shirley Ren, Emily B. Fox, October, 2015
• Obfuscator Synthesis for Opacity, Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune, October, 2015
• Minimum Actuation and Leader-Selection for Large-Scale Complex Systems: Performance and Minimum Cost Guarantees, George Pappas, Sergio Pequito, Vasileios Tzoumas, Vijay Kumar, Ali Jadbabaie, Victor Preciado, James Svacha, October, 2015
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems, Xiang Yin, Stephane Lafortune, IEEE Transactions on Automatic Control, 99, October, 2015
• Decentralized Channel Access for Wireless Control Systems, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 10, September, 2015
• Sparsest Minimum Multiple-Cost Structural Leader Selection, Sergio Pequito, George Pappas, Vijay Kumar, James Svacha, 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 6, 10, September, 2015
• Smartphones Power Flying Robots, Giuseppe Loianno, Yash Mulgaonkar, Chris Brunner, Dheeraj Ahuja, Arvind Ramanandan, Murali Chari, Serafin Diaz, Vijay Kumar, Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, September, 2015
• A Particle Filter Framework for the Estimation of Heart Rate from ECG Signals Corrupted by Motion Artifacts, Viswam Nathan, Ilge Akkaya, Roozbeh Jafari, EMBC 2015, 25, August, 2015
• Summarizing Large Data Sets, Jeffrey A. Bilmes, 20, August, 2015
• An Approximately Truthful Mechanism for Electric Vehicle Charging via Joint Differential Privacy, Shuo Han, Ufuk Topcu, George Pappas, American Control Conference 2015, 1, July, 2015
• A New Approach for Synthesizing Opacity-Enforcing Supervisors for Partially-Observed Discrete-Event Systems, Xiang Yin, Stephane Lafortune, 2015 American Control Conference (ACC), 1, July, 2015
• Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach, Sergio Pequito, Soummya Kar, George Pappas, American Control Conference 2015, 4099-4105, 1, July, 2015
• Optimal resource allocation for competing epidemics over arbitrary networks, Nicholas J. Watkins, Cameron Nowzari, Victor Preciado, George Pappas, American Control Conference (ACC), IEEE, 1381-1386, 1, July, 2015
• Autonomous Localization of an Unknown Number of Targets Without Data Association Using Teams of Mobile Sensors, Philip Dames, Vijay Kumar, IEEE Transactions on Automation Science and Engineering, 12, 3, July, 2015
• AbSynth 2015: Workshop on Abstraction and Synthesis of Correct-by-Construction Robotics Software: Reuniting Formal Methods with Model-Driven Software Engineering, Vasu Raman, Ben Johnson, Jie Fu, Shashank Pathak, Armando Tacchella, Lorenzo Natale, Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus, July, 2015
• Flying Smartphones: Automated Flight Enabled by Consumer Electronics, Giuseppe Loianno, Gareth Cross, Chao Qu, Yash Mulgaonkar, Joel A. Hesch, Vijay Kumar, IEEE Robotics & Automation Magazine, 22, 2, 24-32, June, 2015
• Injecting Logical Background Knowledge into Embeddings for Relation Extraction, Tim Rocktaschel, Sameer Singh, Sebastian Riedel, North American Association of Computational Linguistics (NAACL), 31, May, 2015
• Information-Theoretic Mapping Using Cauchy-Schwarz Quadratic Mutual Information, Benjamin Charrow, Sikang Liu, Vijay Kumar, Nathan Michael, International Conference on Robotics and Automation (ICRA), 26, May, 2015
• Decentralized Active Information Acquisition: Theory and Application to Multi-Robot SLAM, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, IEEE International Conference on Robotics and Automation (ICRA), 26, May, 2015
• Submodular Point Processes with Applications to Machine Learning, Rishabh Iyer, Jeffrey A. Bilmes, International Conference on Artificial Intelligence and Statistics, 9, May, 2015
• Streaming Variational Inference for Bayesian Nonparametric Mixture Models, Alex Tank, Nick Foti, Emily B. Fox, International Conference on Artificial Intelligence and Statistics (AISTATS), 9, May, 2015
• Static Output Feedback: On Essential Feasible Information Patterns, George Pappas, Sergio Pequito, Soummya Kar, A. Pedro Aguiar, Joao Carvalho, 54th IEEE Conference on Decision and Control, 8, 24, March, 2015
• Towards Extracting Faithful and Descriptive Representations of Latent Variable Models, Ivan Sanchez, Tim Rocktaschel, Sebastian Riedel, Sameer Singh, AAAI Spring Syposium on Knowledge Representation and Reasoning (KRR): Integrating Symbolic and Neural Approaches, March, 2015
• Hot-swapping robot task goals in reactive formal synthesis, Scott Livingston, 18, February, 2015
• The TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 12, February, 2015
• Bloom Cookies: Web Search Personalization without User Tracking, Nitesh Mor, Oriana Riva, Suman Nath, John D. Kubiatowicz, NDSS 2015, Internet Society, 8, February, 2015
• Secure & Privacy-Preserving Monitoring & Control of Swarms, Miroslav Pajic, George Pappas, February, 2015
• Milestone #9 Annual (11/1/13-10/31/14) Executive Summary of Accomplishments, Edward A. Lee, TerraSwarm Research Center, February, 2015
• Creating Interactive and Visual Educational Resources for AI, Sameer Singh, Sebastian Riedel, AAAI 2016 Symposium on Educational Advances in Artificial Intelligence (EAAI), February, 2015
• Q1 2015 TerraSwarm Quarterly Report Milestone #10, Edward A. Lee, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, Anthony Rowe, Richard Murray, Jeffrey A. Bilmes, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Jan Rabaey, Douglas L. Jones, Stephane Lafortune, Alex Halderman, David Blaauw, Roozbeh Jafari, Carlos Guestrin, Emily B. Fox, Rahul Mangharam, George Pappas, Vijay Kumar, Bjoern Hartmann, John D. Kubiatowicz, TerraSwarm Research Center, February, 2015
• Extended Results on Privacy Against Coalitions of Users in User-Private Information Retrieval Protocols, Colleen Swanson, Cryptography and Communications, 7, 4, 415-437, February, 2015
• Optimal Resource Allocation for Containing Epidemics on Time-Varying Networks, Cameron Nowzari, Ogura Masaki, Victor M. Preciado, George Pappas, the proceedings of the 2015 Asilomar Conference on Signals, Systems, and Computers, 2015
• Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay A. Atanasov, Miroslav Pajic, George Pappas, Insup Lee, Allerton Conference on Communication, Control, and Computing, 2015
• Online Horizon Selection in Receding Horizon Temporal Logic Planning, Vasu Raman, Mattias Falt, Tichakorn Wongpiromsarn, Richard Murray, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
• Active Object Recognition via Monte Carlo Tree Search, Mikko Lauri, Nikolay A. Atanasov, George Pappas, Risto Ritala, Workshop on Beyond Geometric Constraints at the International Conference on Robotics and Automation (ICRA), 2015
• Robust Localization Using Context-Aware Filtering, Radoslav Ivanov, Nikolay A. Atanasov, Miroslav Pajic, Insup Lee, George Pappas, Workshop on Multi-view Geometry in Robotics at the Robotics: Science and Systems (RSS) Conference, 2015
• Efficient Second-Order Gradient Boosting for Conditional Random Fields, Tianqi Chen, Sameer Singh, Ben Taskar, Carlos Guestrin, International Conference on Artificial Intelligence and Statistics (AISTATS), 2015
• Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization., Tyler Johnson, Carlos Guestrin, International Conference on Machine Learning (ICML), 2015
• Optimal Resource Allocation for Control of Networked Epidemic Models, Cameron Nowzari, Victor M. Preciado, George Pappas, IEEE Transactions on Control of Network Systems, 2015
• Localization from Semantic Observations via the Matrix Permanent, Nikolay A. Atanasov, Menglong Zhu, Kostas Daniilidis, George Pappas, The International Journal of Robotics Research, 2015
• Ptolemy II 10.0, Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver, Charles Shelton, Ishwinder Singh, Halvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, Edward A. Lee, University of California, Berkeley, 18, December, 2014
• Stochastic Variational Inference for Hidden Markov Models, Nick Foti, Jason Xu, Dillon Laird, Emily B. Fox, Neural Information Processing Systems (NIPS), 8, December, 2014
• Joint Estimation and Localization in Sensor Networks, Nikolay A. Atanasov, Roberto Tron, Victor Preciado, George Pappas, 2014 IEEE Conference on Decision and Control (CDC), December, 2014
• Divide-and-Conquer Learning by Anchoring a Conical Hull, Tianyi Zhou, Jeffrey A. Bilmes, Carlos Guestrin, Neural Information Processing Systems Conference (NIPS), December, 2014
• Energy-Harvesting Thermoelectric Sensing for Unobtrusive Water and Appliance Metering, Brad Campbell, Branden Ghena, Prabal Dutta, ENSsys'14: 2nd International Workshop on Energy Neutral Sensing Systems, 6, November, 2014
• Opo: A Wearable Sensor for Capturing High-Fidelity Face-to-Face Interactions, Ling Huang, Ye-Sheng Kuo, Pat Pannuto, Prabal Dutta, enSys'14: Conference on Embedded Networked Sensor Systems, ACM, 3, November, 2014
• Q4 2014 TerraSwarm Quarterly Report Milestone #8, Edward A. Lee, TerraSwarm Research Center, November, 2014
• Approximate Motion Planning for Constrained Switched Systems, Ivan Papusha, Richard Murray, 30, October, 2014
• City-Scale Bayesian Spatial Modeling for House Pricing, Shirley Ren, Emily B. Fox, 30, October, 2014
• Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 30, October, 2014
• Active Information-Based Localization and Mapping, Philip Dames, Benjamin Charrow, Sikang Liu, Nathan Michael, Vijay Kumar, 30, October, 2014
• Semantic Mapping and Localization, Sean Bowman, Nikolay A. Atanasov, Kostas Daniilidis, George Pappas, 30, October, 2014
• Summarization of and Learning in TerraSwarm Big Data, Jeffrey A. Bilmes, 30, October, 2014
• Machine Learning and Optimization for Mobile Sensor Networks: A Swarmlet Approach, Ilge Akkaya, Shuhei Emoto, Edward A. Lee, 30, October, 2014
• TerraSwarm Annual Meeting 2014, Edward A. Lee, John Wawrzynek, Tajana Simunic Rosing, John D. Kubiatowicz, Prabal Dutta, Richard Murray, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014
• The Global Data Plane: Looking Forward, Eric Allman, Alec Dara-Abrams, Nikhil Goyal, Jack Kolb, John D. Kubiatowicz, John Wawrzynek, Nitesh Mor, Ben Zhang, Ken Lutz, 29, October, 2014
• Data-driven resource allocation for controlling spreading processes, Cameron Nowzari, George Pappas, Shuo Han, 29, October, 2014
• 2014 TerraSwarm Research Center Introduction, Edward A. Lee, Jan Rabaey, 29, October, 2014
• Theme 3: Services and Cloud Interactions, Richard Murray, Anthony Rowe, 29, October, 2014
• The Internet of Thingimajigs: Scalability Challenges of Terraswarm Naming, Adrian Freed, David DeFilippo, Bjoern Hartmann, David Wessel, 29, October, 2014
• Interactive Matrix Factorization, Sameer Singh, Carlos Guestrin, 28, October, 2014
• Lean Control: Peak Power Minimization in Hybrid Electric Vehicles with Limited Load Forecasts, Yash Vardhan Pant, Truong X. Nghiem, Rahul Mangharam, 27, October, 2014
• Scalable Bayes for Large and Streaming Sequential Data, Nick Foti, Emily B. Fox, 27, October, 2014
• Actuation and Sensing Design for Large-Scale Complex Systems Performance and Minimum Cost Guarantees, George Pappas, Sergio Pequito, Vasileios Tzoumas, 24, October, 2014
• Bayesian Dynamic Modeling, Emily B. Fox, 16, October, 2014
• Differentially Private Distributed Protocol for Electric Vehicle Charging, Shuo Han, Ufuk Topcu, George Pappas, 52nd Annual Allerton Conference on Communication, Control, and Computing, 1, October, 2014
• Divide-and-Conquer Learning by Anchoring a Conical Hull, Tianyi Zhou, Jeffrey A. Bilmes, Carlos Guestrin, October, 2014
• Robust State Estimation in the Presence of Sensor/Actuator Attacks, Miroslav Pajic, George Pappas, October, 2014
• Opportunistic Resource Management for Cyber-Physical Systems, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, October, 2014
• Privacy in User Data Aggregation in Sensor-Rich Urban Infrastructures, Shuo Han, Fragkiskos Koufogiannis, Ufuk Topcu, George Pappas, October, 2014
• Active Information Acquisition with Multiple Mobile Sensors, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, October, 2014
• Lean Control: Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts, Yash Vardhan Pant, Truong X. Nghiem, Rahul Mangharam, 19, September, 2014
• Sharing or Surveillance? ---On Volition, Control, and Accountability, Marten Lohstroh, Edward A. Lee, 16, September, 2014
• Computation of privacy-preserving prices in smart grids, Fragkiskos Koufogiannis, Shuo Han, George Pappas, 16, September, 2014
• Reactive Switching Protocols for Multi-Robot High-Level Tasks, Vasu Raman, IEEE/RSJ International Conference on Intelligent Robots and Systems, 14, September, 2014
• Harmonia: Wideband Spreading for Accurate Indoor RF Localization, Benjamin Kempke, Pat Pannuto, Prabal Dutta, Workshop on Hot Topics in Wireless, ACM, 11, September, 2014
• Indoor Positioning with Mobile Phones and Visible Light, Ye-Sheng Kuo, Pat Pannuto, Ko-Jen Hsiao, Prabal Dutta, ACM MobiCom: The 20th Annual International Conference on Mobile Computing and Networking, ACM, 7, September, 2014
• System Architecture Directions for a Software-Defined Lighting Infrastructure, Ye-Sheng Kuo, Pat Pannuto, Prabal Dutta, Workshop on Visible Light Communication Systems, ACM, 7, September, 2014
• Hybrid Visible Light Communication for Cameras and Low-Power Embedded Devices, Niranjini Rajagopal, Patrick Lazik, Anthony Rowe, ACM Workshop on Visible Light Communication Systems in Conjunction with MobiCom, 7, September, 2014
• Active Deformable Part Models Inference, Menglong Zhu, Nikolay A. Atanasov, George Pappas, Kostas Daniilidis, European Conference on Computer Vision (ECCV), Vol. 8695, p.281-296, 6, September, 2014
• Privacy and Truthfulness in Electric Vehicle Charging Protocols, Shuo Han, Ufuk Topcu, George Pappas, September, 2014
• Robust State Estimation in the Presence of Sensor and Actuator Attacks, Miroslav Pajic, George Pappas, September, 2014
• TapDance: End-to-Middle Anticensorship without Flow Blocking, Eric Wustrow, Colleen Swanson, Alex Halderman, Usenix Security 2014, 20, August, 2014
• Active control strategies for discovering and localizing devices with range-only sensors, Benjamin Charrow, Nathan Michael, Vijay Kumar, Workshop on the Algorithmic Foundation of Robotics, 3, August, 2014
• Q3 2014 TerraSwarm Quarterly Report Milestone #7, Edward A. Lee, TerraSwarm Research Center, August, 2014
• WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming, Sebastian Riedel, Sameer Singh, Vivek Srikumar, Tim Rocktaschel, Larysa Visengeriyeva, Jan Noessner, International Workshop on Statistical Relational AI (StarAI), 27, July, 2014
• Semantic Localization Via the Matrix Permanent, Nikolay A. Atanasov, Menglong Zhu, Kostas Daniilidis, George Pappas, Robotics: Science and Systems (RSS), July, 2014
• o.io: a Unified Communications Framework for Music, Intermedia and Cloud Interaction, Adrian Freed, Rama Gottfried, John MacCallum, Jeff Lubow, Derek Razo, David Wessel, Conference on New Interfaces for Musical Expression (NIME), 31, June, 2014
• Optimal Simultaneous Detection and Signal and Noise Power Estimation, Long Le, Douglas L. Jones, International Symposium on Information Theory, IEEE, 29, June, 2014
• Low-Dimensional Embeddings of Logic, Tim Rocktaschel, Matko Bosnjak, Sameer Singh, Sabastian Riedel, 2014 Workshop on Semantic Parsing (SP14), ACL, 26, June, 2014
• Stochastic Gradient Hamiltonian Monte Carlo, Tianqi Chen, Emily B. Fox, Carlos Guestrin, International Conference on Machine Learning, 21, June, 2014
• TerraSwarm Analytical Framework, Edward A. Lee, 19, May, 2014
• Self-Organized Semantic Localization, Matt Weber, Edward A. Lee, 16, May, 2014
• Opportunistic Localization, Discovery & Computation in the Swarm, Marten Lohstroh, Edward A. Lee, Ben Zhang, Joseph Kee-Yin NG, 15, May, 2014
• TerraSwarm Center Highlights and Metrics for Milestone #6 Feb. 1, 2014- Apr. 30, 2014, Edward A. Lee, UC Berkeley, May, 2014
• Leveraging application context for efficient sensing, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, IEEE ISSNIP 2014, 21, April, 2014
• Modeling Deterministic Distributed Systems, Patricia Derler, 20, March, 2014
• Computation of privacy-preserving prices in smart grids, Fragkiskos Koufogiannis, Shuo Han, George Pappas, Conference on Decision and Control (CDC), 6, 20, March, 2014
• Q1 2014 TerraSwarm Quarterly Report Milestone #5, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Edward A. Lee, Richard Murray, George Pappas, Jan Rabaey, Tajana Simunic Rosing, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, John Wawrzynek, David Wessel, TerraSwarm Research Center, March, 2014
• o.io, John MacCallum, Adrian Freed, David DeFilippo, Rama Gottfried, UC Berkeley, 20, February, 2014
• Sensor Andrew Applied to Retrofit Building Energy Systems, Anthony Rowe, 14, February, 2014
• The Universal Dataplane or the Internet for the Internet of Things, John D. Kubiatowicz, 13, February, 2014
• A Time-Predictable DRAM Controller for Mixed Time-Criticality Systems, Hokeun Kim, Daniel Oh, Edward A. Lee, 13, February, 2014
• WCET-Aware Dynamic Scratchpad Memory Management, Yooseong Kim, David Broman, Aviral Shrivastava, Edward A. Lee, 13, February, 2014
• The Universal Information Identifier, Marten Lohstroh, Chris Shaver, 13, February, 2014
• MLE+ Toolbox for Modeling and Control of Energy-efficient Building Systems, Rahul Mangharam, Truong X. Nghiem, Madhur Behl, University of Pennsylvania, 1, February, 2014
• TerraSwarm 2013 Annual Report, Edward A. Lee, January, 2014
• An Energy-Harvesting Sensor Architecture and Toolkit for Building Monitoring and Event Detection, Brad Campbell, Prabal Dutta, International Conference on Embedded Systems For Energy-Efficient Buildings, ACM, 2014
• Synthesis of Optimal Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, IEEE Transactions on Automatic Control, 2014
• Opportunistic control over shared wireless channels, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, IEEE Transactions on Automatic Control, 2014
• A Platform for Investigating Resource-Aware Systems, Gage Eads, John D. Kubiatowicz, 5, November, 2013
• An Extended Kalman Filter to Estimate Human Gait Parameters and Walking Distance, Terrell R. Bennett, Roozbeh Jafari, Nicholas Gans, 5, November, 2013
• Prototyping and Composing Swarmlets Using Ptolemy II, Beth Osyk, 5, November, 2013
• AheM: Additively Homomorphic Encryption for the Moo, Michael Rushanan, Denis Foo Kune, Kevin Fu, 5, November, 2013
• Residential Energy Simulation & Context-Aware Automation, Baris Aksanli, Jagannathan Venkatesh, Tajana Simunic Rosing, 5, November, 2013
• Mechanisms for Fair Exchange and Micropayments in the Swarm, Nitesh Mor, John D. Kubiatowicz, 5, November, 2013
• An Integrated Signal Processing Architecture for Human Activity Recognition, Jingxiang Tian, Carl Sechen, Roozbeh Jafari, 5, November, 2013
• Ultra low power VAD with noise tracking, Long Le, David Jun, Douglas L. Jones, 5, November, 2013
• The M3 Platform: A Modular mm-Scale Platform for Ultra-Low Power Computer, Pat Pannuto, Yoonmyung Lee, Zhiyoong Foo, Gyouho Kim, Yejoong Kim, Ye-Sheng Kuo, Benjamin Kempke, Suyoung Bang, Inhee Lee, Dennis Sylvester, Prabal Dutta, David Blaauw, 5, November, 2013
• The TerraSwarm Research Center - Annual Review Introduction, Edward A. Lee, Jan Rabaey, 5, November, 2013
• Theme 3: Services, Ben Taskar, Richard Murray, 5, November, 2013
• Theme 2: Platform Architecturesand Operating Systems, Prabal Dutta, John D. Kubiatowicz, 5, November, 2013
• Simple Transmit Path Modification for UWB Channel Impulse Response Characterization, Benjamin Kempke, Prabal Dutta, 5, November, 2013
• 2013 Q3 TerraSwarm Summary and Metrics, Edward A. Lee, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, John Wawrzynek, Vijay Kumar, Alberto Sangiovanni-Vincentelli, Carl Sechen, Sanjit Seshia, Jan Rabaey, Tajana Simunic Rosing, George Pappas, Richard Murray, David Wessel, TerraSwarm Research Center, November, 2013
• 65nW CMOS Temperature Sensor for Ultra-Low Power Microsystems, Seokhyeon Jeong, Jae-yoon Sim, David Blaauw, Dennis Sylvester, IEEE Custom Integrated Circuits Conference, 22, September, 2013
• A medical device perspective on sensor security in safety-critical systems, Denis Foo Kune, Kevin Fu, 30, May, 2013
• A Direct Algorithm for Joint Optimal Sensor Scheduling and MAP State Estimation for Hidden Markov Models, David Jun, David Cohen, Douglas L. Jones, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May, 2013
• Low Power Programmable Architecture for Periodic Activity Monitoring, Mohammad-Mahdi Bidmeshki, Roozbeh Jafari, ACM/IEEE 4th International Conference on Cyber-Physical System, 8, April, 2013
• 45pW ESD Clamp Circuit for Ultra-Low Power Applications, Yen-Po Chen, Yoonmyung Lee, Jae-yoon Sim, Alioto Massimo, David Blaauw, Dennis Sylvester, IEEE Custom Integrated Circuits Conference, April, 2013
• An Overview of the TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 14, February, 2013
• Achieving Ultralow Standby Power With an Efficient SCCMOS Bias Generator, Yoonmyung Lee, Mingoo Seok, Scott Hanson, Dennis Sylvester, David Blaauw, IEEE Transactions on Circuits and Systems II, 2013
• Circuits for a Cubic-Millimeter Energy-Autonomous Wireless Intraocular Pressure Monitor, Mohammad Ghaed, Gregory Chen, Razi-ul Haque, Michael Wieckowski, Yejoong Kim, Gyouho Kim, Yoonmyung Lee, Inhee Lee, David Fick, Daeyeon Kim, Mingoo Seok, Kensall Wise, Dennis Sylvester, David Blaauw, IEEE Transactions on Circuits and Systems I (TCAS-I), 2013

Found 208 publications.