Search results

Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity, Quentin Maillet, Huan Xu, Necmiye Ozay, Richard Murray, Conference on Decisions and Controls, IEEE, 10, December, 2013
Modeling Uncertainty for Middleware-based Streaming Power Grid Applications, Ilge Akkaya, Edward A. Lee, Yan Liu, Ian Gorton, MW4NG'13: 8th International Workshop on Middleware for Next Generation Internet Computing, 9, December, 2013
Approximate Inference in Continuous Determinantal Point Processes, Raja Hafiz Affandi, Emily B. Fox, Ben Taskar, NIPS 2013, Neural Information Processing Systems Foundation, 5, December, 2013
Respawn: A Distributed Multi-resolution Time-series Datastore, Maxim Buevich, Anthony Rowe, IEEE Real-Time Systems Symposium (RTSS), 3, December, 2013
The Value of Sleeping: A Rollout Algorithm for Sensor Scheduling in HMMs, David Jun, Douglas L. Jones, IEEE GlobalSIP, December, 2013
Power-aware communication for wireless sensor-actuator systems, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, 52nd IEEE Conference on Decision and Control, 2013, December, 2013
Cheap Noisy Sensors Can Improve Activity Monitoring Under Stringent Energy Constraints, David Jun, Long Le, Douglas L. Jones, IEEE Global Conference on Signal and Information Processing (GlobalSIP), December, 2013
Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Forrest Iandola, Maryam Kamgarpour, Alberto Sangiovanni-Vincentelli, Claire Tomlin, IEEE Conference on Decision and Control, December, 2013
Stabilizability over Deterministic Relay Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, IEEE Conference on Decision and Control 2013, December, 2013
Controlling Energy-Efficient Buildings in the Context of Smart Grid: A Cyber-Physical System Approach, Mehdi Maasoumy, University of California, Berkeley, December, 2013
Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control, Mehdi Maasoumy, Barzin Moridian, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Dynamic Systems and Control Conference (DSCC 2013), ASME, 21, November, 2013
Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli, International Conference on Computer-Aided Design, 18, November, 2013
Wearable Computers: O(1) Observation = Many Opportunities, Roozbeh Jafari, Mohammad-Mahdi Bidmeshki, 15, November, 2013
Control Improvisation with Application to Music, Alexandre Donze, Sophie Libkind, Sanjit Seshia, David Wessel, 6, November, 2013
Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013
Design and Analysis for Security, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 6, November, 2013
Aspect-Oriented Modeling, Patricia Derler, Ilge Akkaya, Edward A. Lee, 6, November, 2013
Collaborative System Identification via Parameter Consensus, Ivan Papusha, Eugene Lavretsky, Richard Murray, 5, November, 2013
Differential Privacy in Cloud-Based Control and Estimation, Fragkiskos Koufogiannis, Jerome Le Ny, George Pappas, 5, November, 2013
Thermoelectric Energy Harvesting for Wearable Computers, Thomas Broadfoot, Roozbeh Jafari, 5, November, 2013
Smart Grid as the Swarm, Alper Sinan Akyurek, Baris Aksanli, Tajana Simunic Rosing, 5, November, 2013
An Integrated Signal Processing Architecture for Human Activity Recognition, Jingxiang Tian, Carl Sechen, Roozbeh Jafari, 5, November, 2013
Self-Organizing Semantic Localization, Matt Weber, 5, November, 2013
Ultra low power VAD with noise tracking, Long Le, David Jun, Douglas L. Jones, 5, November, 2013
Monjolo: An Energy-Harvesting Energy Meter, Brad Campbell, Prabal Dutta, Meghan Clark, Sam DeBruin, 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
Opportunistic resource management in wireless networked control systems, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, 5, November, 2013
Information Theoretic Multi-Target Localization with Robot Swarms, Philip Dames, Vijay Kumar, 5, November, 2013
Prototyping and Composing Swarmlets Using Ptolemy II, Beth Osyk, 5, November, 2013
Theme 1: SmartCities, Tajana Simunic Rosing, John Wawrzynek, 5, November, 2013
Residential Energy Simulation & Context-Aware Automation, Baris Aksanli, Jagannathan Venkatesh, Tajana Simunic Rosing, 5, November, 2013
Efficient Information Acquisition with Mobile Sensors, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, 5, November, 2013
Robust Activity Detection using Wearable Computers, Yashaswini Raghuram Prathivadi Bhayankaram, Carl Sechen, Roozbeh Jafari, 5, November, 2013
Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli, 5, November, 2013
Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 5, November, 2013
Managing energy and data quality in large sensor swarms, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, 5, November, 2013
Modelling and Analysis Of IEEE 1588, Ankush Desai, Sanjit Seshia, David Broman, John Eidson, 5, November, 2013
Metronomy: A Function/Architecture Co-Simulation Framework, Liangpeng Guo, Alberto Sangiovanni-Vincentelli, 5, November, 2013
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013
Context-Aware Ubiquitous Environmental Sensing, Jagannathan Venkatesh, Jinseok Yang, Ralf Hermann, Hans-Werner Braun, Tajana Simunic Rosing, 5, November, 2013
Mechanisms for Fair Exchange and Micropayments in the Swarm, Nitesh Mor, John D. Kubiatowicz, 5, November, 2013
A Context Menu for the Real World: Controlling Physical Appliances Through Head-Worn Infrared Targeting, Yu-Hsiang Chen, Ben Zhang, Claire Tuna, Yang Li, Edward A. Lee, Bjoern Hartmann, 5, November, 2013
Ultra-Low Power Visual Monitoring System Using M3 Platform, Gyouho Kim, Zhiyoong Foo, Yoonmyung Lee, Yejoong Kim, Suyoung Bang, Inhee Lee, Pat Pannuto, Benjamin Kempke, Ye-Sheng Kuo, Prabal Dutta, Dennis Sylvester, David Blaauw, 5, November, 2013
Minimally Invasive Pressure Sensor System for Tumor Monitoring, Yejoong Kim, Gyouho Kim, Zhiyoong Foo, Yoonmyung Lee, Suyoung Bang, Inhee Lee, Pat Pannuto, Benjamin Kempke, Ye-Sheng Kuo, Dennis Sylvester, Prabal Dutta, David Blaauw, 5, November, 2013
Simple Transmit Path Modification for UWB Channel Impulse Response Characterization, Benjamin Kempke, Prabal Dutta, 5, November, 2013
A Platform for Investigating Resource-Aware Systems, Gage Eads, John D. Kubiatowicz, 5, November, 2013
Visual Light Landmarks for Mobile Devices, Niranjini Rajagopal, Patrick Lazik, Anthony Rowe, 5, November, 2013
3D RF Imaging for Human-Computer Interactions, Simon Scott, John Wawrzynek, 5, November, 2013
Approximate Representations for Multi-Robot Control Policies that Maximize Mutual Information, Benjamin Charrow, Vijay Kumar, Nathan Michael, 5, November, 2013
Green Scheduling: Peak Demand Reduction for Energy Efficient Buildings, Truong X. Nghiem, Madhur Behl, Rahul Mangharam, 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
AheM: Additively Homomorphic Encryption for the Moo, Michael Rushanan, Denis Foo Kune, Kevin Fu, 5, November, 2013
The Moo and Cement Shoes: Future Directions of A Practical Sense-Control-Actuate Application, Miran Alhaideri, Michael Rushanan, Denis Foo Kune, Kevin Fu, 5, November, 2013
MLE+: Matlab Toolbox for Integrated Modeling, Control and Optimization for Buildings, Truong X. Nghiem, Willy Bernal, Madhur Behl, Rahul Mangharam, 5, November, 2013
Tools for Investigating Trustworthy Medical Devices, Kevin Fu, 5, November, 2013
Continental-scale clock calibration, Ye-Sheng Kuo, Prabal Dutta, 5, November, 2013
Model Predictive Control Approach to Online Computation of Demand-Side Flexibility of Commercial Buildings HVAC Systems for Supply Following, Mehdi Maasoumy, Catherine Rosenberg, Alberto Sangiovanni-Vincentelli, Duncan Callaway, 5, November, 2013
Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj Bajaj, Alberto Sangiovanni-Vincentelli, 5, November, 2013
Aspect-Oriented Fault Modeling and Anomaly Detection, Ilge Akkaya, Patricia Derler, Edward A. Lee, 5, November, 2013
The TerraSwarm Research Center, Edward A. Lee, 5, November, 2013
Theme 1: Smart Cities: 90 Second PI summaries, Tajana Simunic Rosing, John Wawrzynek, 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
A Formalization and Evaluation of Timing Repeatability Using GameTime, Zach Wasson, Jonathan Kotker, Sanjit Seshia, 5, November, 2013
Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 5, November, 2013
Real-Time Control Improvisation For The SmartJukebox, Ilge Akkaya, Alexandre Donze, Sanjit Seshia, David Wessel, Edward A. Lee, 5, November, 2013
HOLMS: Hierarchical Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Claire Tomlin, 5, November, 2013
Towards Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, Vasu Raman, Hadas Kress-Gazit, International Conference on Intelligent Robots and Systems, IEEE/RSJ, 3, November, 2013
Demonstration Paper: A 16-channel Bluetooth Enabled Wearable EEG Platform with Dry-contact Electrodes for Brain Computer Interface, Viswam Nathan, Jian Wu, Chengzhi Zong, Yuan Zou, Omid Dehzangi, Mary Reagor, Roozbeh Jafari, Wireless Health 2013, 1, November, 2013
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems, Pierluigi Nuzzo, John B. Finn, Mohammad Mozumdar, Alberto Sangiovanni-Vincentelli, Green Energy and Systems Conference 2013, IEEE, November, 2013
Monjolo: An Energy-Harvesting Energy Meter Architecture, Samuel DeBruin, Brad Campbell, Prabal Dutta, Sensys'13: The ACM Conference on Embedded Networked Sensor Systems, November, 2013
Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, November, 2013
Control Improvisation with Application to Music, Alexandre Donze, Libkind Sophie, Sanjit Seshia, David Wessel, UC Berkeley, P068797, 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
A Context Menu for the Real World: Controlling Physical Appliances Through Head-Worn Infrared Targeting, Yu-Hsiang Chen, Ben Zhang, Claire Tuna, Yang Li, Edward A. Lee, Bjoern Hartmann, UC Berkeley, UCB/EECS-2013-182, November, 2013
Ghost Talk: Mitigating {EMI} Signal Injection Attacks against Analog Sensors, Denis Foo Kune, 21, October, 2013
ECO-DAC Energy Control over Divide and Control, Alper Sinan Akyurek, Bill Torre, Tajana Simunic Rosing, IEEE SmartGridComm 2013, Vancouver, 21, October, 2013
ECO-DAC Energy Control over Divide and Control, Alper Sinan Akyurek, Bill Torre, Tajana Simunic Rosing, IEEE SmartGridComm, Vancouver, 21, October, 2013
Online Simultaneous State Estimation and Parameter Adaptation for Building Predictive Control, Mehdi Maasoumy, Barzin Moridian, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Dynamic Systems and Control Conference (DSCC) 2013, Stanford, 21, October, 2013
Optimal Battery Configuration in a Residential Home with Time-of-Use Pricing, Baris Aksanli, Tajana Simunic Rosing, IEEE International Conference on Smart Grid Communications, Vancouver, 21, October, 2013
Differential Privacy in Cyber-Physical Systems, George Pappas, 17, October, 2013
Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013
The TerraSwarm Research Center: Read-Ahead Material for the Annual Review to be held in Berkeley, CA, Nov. 5 & 6, 2013, Edward A. Lee, Jan Rabaey, 15, October, 2013
Theme 2: Platform Architectures and Operating Systems, Prabal Dutta, John D. Kubiatowicz, 15, October, 2013
Theme 3: Services, Richard Murray, Ben Taskar, 15, October, 2013
Read-Ahead Material for the Introduction and All Themes for the TerraSwarm 2013 Annual Review, Edward A. Lee, Jan Rabaey, Tajana Simunic Rosing, John Wawrzynek, Prabal Dutta, John D. Kubiatowicz, Richard Murray, Ben Taskar, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 15, October, 2013
Theme 1, SmartCities: Read-ahead material, Tajana Simunic Rosing, John Wawrzynek, 15, October, 2013
Altocumulus: Harvesting Computational Resources from Devices at the Edge of the Cloud, YoungHoon Jung, Marcin Szczodrak, Richard Neill, Luca P. Carloni, 29, September, 2013
Platform Design for Swarm Wearable Computing, Thomas Broadfoot, Jingxiang Tian, HeeEun Choi, Mohammad-Mahdi Bidmeshki, Roozbeh Jafari, Carl Sechen, 29, September, 2013
Energy is Conservable: Temporal Modeling for Resource Allocation in Swarm Devices, David Jun, Long Le, Douglas L. Jones, 29, September, 2013
A Networked Robotic System and its Use in an Oil Spill Monitoring Exercise, Eloi Pereira, Pedro Marques da Silva, Clemens Krainer, Christoph M. Meyer, Jose Morgado, Raja Sengupta, 29, September, 2013
Design Flow for SwarmWear Platforms, Roozbeh Jafari, 29, September, 2013
Towards a Threat Model for Actors in the Swarm, Michael Rushanan, Denis Foo Kune, Kevin Fu, 29, September, 2013
GATD: A Robust, Extensible, Versatile Swarm Dataplane, Pat Pannuto, Brad Campbell, Prabal Dutta, 29, September, 2013
Networking the Cloud: Extending IPv6 to City-Wide Sensor Networks, Brad Campbell, Zakir Durumeric, Prabal Dutta, 29, September, 2013
Rethinking the Cloud, Marten Lohstroh, Chris Shaver, 29, September, 2013
Managing Energy and Data Quality in Large Sensor Swarms, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, 29, September, 2013
Just Another Service Composition Approach for Smart Home, Tsung-Chi Wu, Cheng-Liang Lin, Ping-Chung Po, Che-Wei Wu, Ting-Wei Hou, 29, September, 2013
Law-based Verification for Complex Swarm Systems, Rolf Dreschsler, Hoang M. Le, Mathias Soeken, Robert Wille, 29, September, 2013
A New Multilevel Framework for Cyber-Physical System Security, Tianbo Lu, 29, September, 2013
Scalability of Vehicle Networks through Vehicle Virtualization, Jiangchuan Huang, Christoph M. Kirsch, Raja Sengupta, 29, September, 2013
First International Workshop on 'The Swarm at the Edge of the Cloud', Jan Rabaey, Prabal Dutta, George Pappas, 29, September, 2013
Distributed Control-as-a-Service with Wireless Swarm Systems, Rahul Mangharam, 29, September, 2013
Control Improvisation with Applications to Music, Sophie Libkind, Alexandre Donze, Sanjit Seshia, David Wessel, 29, September, 2013
The Moo and Cement Shoes: Future Directions of A Practical Sense-Control-Actuate Application, Miran Alhaideri, Michael Rushanan, Denis Foo Kune, Kevin Fu, 29, September, 2013
Smart Grid as the Swarm, Alper Sinan Akyurek, Tajana Simunic Rosing, 29, September, 2013
Unobtrusively Capturing Face to Face Interactions, William Huang, Prabal Dutta, 29, September, 2013
Energy Management in Smart Houses with Batteries, Renewable Energy and Context Awareness, Baris Aksanli, Jagannathan Venkatesh, Tajana Simunic Rosing, 29, September, 2013
Swarming toward the Internet of Things, John D. Kubiatowicz, 29, September, 2013
Concepts for Swarm System Software, Daniel Graff, Jan Richling, Matthias Werner, 29, September, 2013
A Case for the Universal DataPlane, Palmer Dabbelt, John D. Kubiatowicz, 29, September, 2013
A Swarm of Wearable Sensors at the Edge of the Cloud for Robust Activity Recognition, Yashaswini Prathivadi, Carl Sechen, Roozbeh Jafari, 28, September, 2013
Architectural Challenges for MM-scale Sensor Nodes, Yoonmyung Lee, Ye-Sheng Kuo, Pat Pannuto, Ron Dreslinski, Prabal Dutta, David Blaauw, 23, September, 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
Low-Voltage Low-Overhead Asynchronous Logic, Akshay Sridharan, Carl Sechen, Roozbeh Jafari, Proceedings of International Symposium on Low Power Electronics and Design 2013, September, 2013
Nonmyopic View Planning for Active Object Detection, Nikolay A. Atanasov, Bharath Sankaran, Jerome Le Ny, George Pappas, Kostas Daniilidis, IEEE Transactions on Robotics (TRO), September, 2013
On the Verification of Timed Discrete-Event Models, Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), 29, August, 2013
Energy Management in Wireless Mobile Systems Using Dynamic Task Assignment, Priti Aghera, Jinseok Yang, Piero Zappi, Dilip Krishnaswamy, Ayse Coskun, Tajana Simunic Rosing, Journal of Low Power Electronics, 9, 2, 1-19, August, 2013
The Q2 2013 Terraswarm Quarterly Report, Edward A. Lee, UC Berkeley, 28, August, 2013
Managing Resources on A Multi-Modal Sensing Device For Energy-Aware State Estimation, David Cohen, University of Illinois, Urbana-Champaign, August, 2013
Modular, Hierarchical Models of Control Systems in SpaceEx, Alexandre Donze, Goran Frehse, Proceedings of European Control Conference 2013, July, 2013
Abstraction-Based Guided Search for Hybrid Systems, Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, Proceedings of International SPIN Symposium on Model Checking of Software 2013, July, 2013
Sequential Selection of Window Length for Improved SSVEP-Based BCI Classification, Erik C. Johnson, James J. S. Norton, David Jun, Timothy Bretl, Douglas L. Jones, Proceedings of International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) 2013, July, 2013
Residential Energy Simulation and Scheduling: A Case Study Approach, Jagannathan Venkatesh, Baris Aksanli, Tajana Simunic Rosing, Proceedings of ISCC 2013, July, 2013
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties, Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of CAV 2013, July, 2013
Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, UC Berkeley, UCB/EECS-2013-134, July, 2013
HomeSim: Comprehensive, Smart, Residential Electrical Energy Simulation and Scheduling, Jagannathan Venkatesh, Baris Aksanli, Jean-Claude Junqua, Philippe Morin, Tajana Simunic Rosing, IEEE IGCC 2013, 27, June, 2013
A Wavelet Based Low Power Architecture for Periodic Activity Monitoring, Mohammad-Mahdi Bidmeshki, Roozbeh Jafari, SRC Techcon, 2013, Austin, TX, 20, June, 2013
An Extended Kalman Filter to Estimate Human Gait Parameters and Walking Distance, Terrell Bennett, Roozbeh Jafari, Nicholas Gans, American Control Conference, 17, June, 2013
Cyber-Physical Systems:A Rehash or A New Intellectual Challenge?, Edward A. Lee, 4, June, 2013
MODEC: Multimodal Decomposable Models for Human Pose Estimation, Ben Sapp, Ben Taskar, CVPR Computer Vision Conference, June, 2013
Time-Delayed Feedback Channel Design: Discrete Time H-Infinity Approach, Marcella Gomez, Seungil You, Richard Murray, American Control Conference 2014, June, 2013
Energy-Efficient Detection System in Time-Varying Signal and Noise Power, Long Le, University of Illinois, Urbana-Champaign, June, 2013
Q1 TerraSwarm Overview, Edward A. Lee, 31, May, 2013
A medical device perspective on sensor security in safety-critical systems, Denis Foo Kune, Kevin Fu, 30, May, 2013
Energy-Efficient Detection System in Time-Varying Signal and Noise Power, Long Le, David Jun, Douglas L. Jones, International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 2013, 29, May, 2013
Agile Interface Development using OSC Expressions and Process Migration, Adrian Freed, John MacCallum, David Wessel, New Interfaces for Musical Expression (NIME), Daejeon + Seoul, Korea Republic, 27, May, 2013
Model-Based Evaluation of GPS Spoofing Attacks on Power Grid Sensors, Ilge Akkaya, Edward A. Lee, Patricia Derler, IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 20, 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
GraphLab(2): Machine Learning for Big Data in the Cloud, Carlos Guestrin, May, 2013
The Q1 2013 TerraSwarm Quarterly Report, 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, Carl Sechen, Sanjit Seshia, Ben Taskar, John Wawrzynek, David Wessel, The TerraSwarm Research Center, TSRC01, May, 2013
JFMI, Christopher Brooks, Edward A. Lee, David Broman, Thierry Stephane Nouidui, Stavros Tripakis, Michael Wetter, UC Berkeley, 29, April, 2013
Sensor Andrew Tutorial, Anthony Rowe, 24, April, 2013
Robustness of Attack-resilient State Estimators, Miroslav Pajic, James Weimer, Paulo Tabuada, Nicola Bezzo, Oleg Sokolsky, Insup Lee, George Pappas, International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS), ACM/ IEEE, 14, April, 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
Co-design of Control Algorithm and Embedded Platform for Building HVAC Systems, Mehdi Maasoumy, Qi Zhu, Cheng Li, Forest Meggers, Alberto Sangiovanni-Vincentelli, Proceedings of the 4th ACM/IEEE International Conference on Cyber-Physical Systems, 10, 8, April, 2013
How to create a director in Ptolemy II, Edward A. Lee, 4, April, 2013
Ptolemy Tutorial, Part 2, Edward A. Lee, 2, 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
Timing Analysis of Process Graphs with Finite Communication Buffers, Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh Thi Xuan Phan, Alberto Sangiovanni-Vincentelli, Prodeedings of IEEE Real-Time and Embedded Technology and Applications Symposium, 227-236, April, 2013
Nystrom Approximation for Large-Scale Determinantal Processes, Raja Hafiz Affandi, Alex Kulesza, Emily B. Fox, Ben Taskar, AISTATS 2013, April, 2013
Efficient Robust Monitoring for STL, Alexandre Donze, Thomas Ferrere, Oded Maler, Proceedings of CAV 2013, April, 2013
Ptolemy Tutorial, Part 1, Edward A. Lee, 27, March, 2013
It's About Time, Edward A. Lee, 13, March, 2013
An Overview of the TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 14, February, 2013
Model-Based Evaluation of GPS Spoofing Attacks, Ilge Akkaya, Edward A. Lee, Patricia Derler, 14, February, 2013
Differentially Private Filtering, Jerome Le Ny, George Pappas, IEEE Transactions on Automatic Control, 59, 2, 341 - 354, February, 2013
Machine Learning, BigData and Security Meet Together, Ling Huang, 31, January, 2013
TerraSwarm Introduction, Motivation, and Goals, Edward A. Lee, 29, January, 2013
What I Bring to the Table and What I Want to Accomplish, Edward A. Lee, 29, January, 2013
TerraSwarms Introductory Meeting What do I bring to the table?, John D. Kubiatowicz, 29, January, 2013
TerraSwarm: My Take, Douglas L. Jones, 29, January, 2013
Security and Privacy, Kevin Fu, 29, January, 2013
Sensors and Software for Smarter Buildings, Prabal Dutta, 29, January, 2013
TerraSwarm Kickoff Meeting: Table Discussion, David Blaauw, 29, January, 2013
Task D3.1: Data to Information, Ben Taskar, 29, January, 2013
Aerial Robot Cloud, Vijay Kumar, George Pappas, 29, January, 2013
TerraSwarm Contract Requirements, Edward A. Lee, 29, January, 2013
Machine Learning for Big Data in the Cloud, Carlos Guestrin, 29, January, 2013
Overview of the STARnet Program, Gil Vandentop, 29, January, 2013
Petros Maniatis: What he brings to the table, Petros Maniatis, 29, January, 2013
Theme 3: Services and Cloud Interaction, Richard Murray, Ben Taskar, Kevin Fu, Carlos Guestrin, Vijay Kumar, George Pappas, Anthony Rowe, 29, January, 2013
TerraSwarm: John Wawrzynek, John Wawrzynek, 29, January, 2013
Theme 1: Introduction/Discussion, Tajana Simunic Rosing, John Wawrzynek, 29, January, 2013
Temporally Aware End-to-End Applications, David Wessel, Adrian Freed, John MacCallum, 29, January, 2013
John Wawrzynek, John Wawrzynek, 29, January, 2013
Specification,Verification and Synthesis of Networked Control Systems, Richard Murray, 29, January, 2013
Sanjit A. Seshia, Sanjit Seshia, 29, January, 2013
What we bring to the table, and what we hope to accomplish, Roozbeh Jafari, Carl Sechen, 29, January, 2013
Theme 2: Platform Architectures and Operating Systems, John D. Kubiatowicz, Jan Rabaey, 29, January, 2013
Energy efficient computing from very low power sensors to very powerful servers, Tajana Simunic Rosing, 29, January, 2013
Sensor Andrew + Localization, Anthony Rowe, 29, January, 2013
Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, January, 2013
Differential Privacy in Cloud-Based Control and Estimation, George Pappas, January, 2013
Web Interfaces, Christopher Brooks, Edward A. Lee, Beth Osyk, Baobing Wang, Roxana Gheorghui, January, 2013
Quantifying Middleware Adaptation with Uncertainty Analysis for Streaming Power Grid Applications, Ilge Akkaya, Yan Liu, Ian Gorton, January, 2013
A Novel Protocol for Adaptive Broadcasting of Sensor Data in Urban Scenarios, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, IEEE GlobeCom 2013, 2013
Efficient Energy Management and Data Recovery in Sensor Networks using Latent Variables Based Tensor Factorization, Bojan Milosevic, Jinseok Yang, Sameer Tilak, Piero Zappi, Elisabetta Farella, Luca Benini, Tajana Simunic Rosing, ACM/IEEE International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems 2013, 2013
An Interactive Context-aware Power Management Technique for Optimizing Sensor Network Lifetime, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, 2013
Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid, Mehdi Maasoumy, Ortiz Jorge, David Culler, Alberto Sangiovanni-Vincentelli, IEEE Green Energy and Systems Conference (IGESC 2013), 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
Cooperative Visibility Maintenance for Leader-Follower Formations in Obstacle Environments, Dimitra Panagou, Vijay Kumar, IEEE Transactions on Robotics, 2013

Found 194 publications.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.