Search results

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
Controllability and Fraction of Leaders in Infinite Networks, C. Enyioha, M.A. Rahimian, G. Pappas, A. Jadbabaie, CDC 2014, IEEE, 15, December, 2014
Stability analysis of generalized epidemic models over directed networks, Cameron Nowzari, Preciado Victor M., George Pappas, 53rd Conference on Decision and Control, IEEE, 15, December, 2014
Robust Model Predictive Control with Anytime Estimation, Truong X. Nghiem, Yash V. Pant, Rahul Mangharam, 2014 Conference on Decisions and Control (CDC), IEEE, 15, December, 2014
Opportunistic Sensor Scheduling in Wireless Control Systems, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, 53rd IEEE Conference on Decision and Control, IEEE, 3777-3782, 15, December, 2014
Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments, Ioannis Filippidis, Richard Murray, 53rd IEEE Conference on Decision and Control, IEEE, 15, December, 2014
MBus: An Ultra-Low Power Interconnect Bus for Next Generation Nanopower Systems, Pat Pannuto, Ye-Sheng Kuo, Zhi Yoong Foo, Benjamin Kempke, Gyouho Kim, Ronald Dreslinski, David Blaauw, Prabal Dutta, IEEE/ACM International Symposium on Microarchitecture, 13, 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
Gemini: A Non-Invasive, Energy-Harvesting True Power Meter, Brad Campbell, Prabal Dutta, Real-Time Systems Symposium (RTSS'14), IEEE, 2, 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
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
Streaming Document Filtering using Distributed Non-Parametric Representations, The Twenty-Third Text REtrieval Conference (TREC 2014) Proceedings, NIST, December, 2014
Ontology-driven Context Engine for the Swarm, Christine Chan, Jagannathan Venkatesh, Tajana Simunic Rosing, 29, November, 2014
IoT Millimeter Design Challenges, David Blaauw, 14, November, 2014
Enabling the Swarm through the Global Data Plane, John D. Kubiatowicz, 13, November, 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
Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 1st ACM International Conference on Embedded Systems For Energy-Efficient Buildings (BuildSys), 5, November, 2014
Automated Synthesis of Multi-Robot Motion Plans from LTL Specifications, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, 4, 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
TESLA: Taylor Expanded Solar Analog Forecasting, Bengu Akyurek, Alper Sinan Akyurek, Jan Kleissl, Tajana Simunic Rosing, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm), 6, 3, November, 2014
Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, International Conference on Computer-Aided Design (ICCAD), IEEE/ACM, 2, November, 2014
Robust Activity Recognition using Wearable IMU Sensors, Yashaswini Prathivadi, Terrell R. Bennett, Roozbeh Jafari, Sensors 2014, IEEE, 2, November, 2014
Illiad: a Resource-Efficient Audio Sensing Service Based on the Guided Search Model, Long Le, David Jun, Douglas L. Jones, November, 2014
Q4 2014 TerraSwarm Quarterly Report Milestone #8, Edward A. Lee, TerraSwarm Research Center, November, 2014
Project PtOWSN: Modeling OpenWSN MAC Layer using Ptolemy II, Antonio Iannopollo, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Ben Zhang, 30, October, 2014
Approximate Motion Planning for Constrained Switched Systems, Ivan Papusha, Richard Murray, 30, October, 2014
Machine Learning and Optimization for Mobile Sensor Networks: A Swarmlet Approach, Ilge Akkaya, Shuhei Emoto, Edward A. Lee, 30, October, 2014
City-Scale Bayesian Spatial Modeling for House Pricing, Shirley Ren, Emily B. Fox, 30, October, 2014
Summarization of and Learning in TerraSwarm Big Data, Jeffrey A. Bilmes, 30, October, 2014
Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 30, October, 2014
Smart Phones Power Flying Robots, Giuseppe Loianno, Gareth Cross, Yash Mulgaonkar, Joel Hesch, George Pappas, Vijay Kumar, 30, October, 2014
Control Improvisation: Theory and Application to Residential Lighting, Ilge Akkaya, Alexandre Donze, Rafael Valle, Daniel J. Fremont, David Wessel, Sanjit Seshia, 30, October, 2014
Semantic Mapping and Localization, Sean Bowman, Nikolay A. Atanasov, Kostas Daniilidis, George Pappas, 30, October, 2014
Active Information-Based Localization and Mapping, Philip Dames, Benjamin Charrow, Sikang Liu, Nathan Michael, Vijay Kumar, 30, October, 2014
Streaming Document Filtering using Distributed Non-Parametric Representations, Ignacio Cano, Sameer Singh, Carlos Guestrin, 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
Reactive synthesis from Promela, Ioannis Filippidis, Richard Murray, Gerard Holzmann, 29, October, 2014
Data-driven resource allocation for controlling spreading processes, Cameron Nowzari, George Pappas, Shuo Han, 29, October, 2014
A Vision of Swarmlets, Beth Osyk, Edward A. Lee, Marten Lohstroh, Armin Wasicek, Chris Shaver, Matt Weber, 29, October, 2014
Model Counting, Uniform Generation, and Quantitative Information Flow, Supratik Chakraborty, Daniel J. Fremont, Kuldeep Meel, Sanjit Seshia, Moshe Vardi, 29, October, 2014
Receding Horizon Control Synthesis for Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Richard Murray, Sanjit Seshia, 29, October, 2014
Pulse Harmonia: An Inexpensive Real-Time Decimeter-Scale Location System, Benjamin Kempke, Pat Pannuto, Prabal Dutta, 29, October, 2014
Online Activity Inference with GMTK, Jeffrey A. Bilmes, Richard Rogers, 29, October, 2014
Zero-effort Calibration for Wearable Sensor Placement using External Vision Sensors: A Wahba's Problem Perspective, Jian Wu, Roozbeh Jafari, 29, October, 2014
Context-Aware Systems Using Heterogeneous Sensors Modalities, Terrell R. Bennett, Christine Chan, Rajesh Kuni, Long Le, Patrick Lazik, Hunter Massey, Viswam Nathan, Yashaswini Raghuram Prathivadi Bhayankaram, Jagannathan Venkatesh, Jian Wu, Edward A. Lee, Douglas L. Jones, Tajana Simunic Rosing, Anthony Rowe, Roozbeh Jafari, 29, October, 2014
A Data-driven Synchronization Technique for Cyber-Physical Systems, Terrell R. Bennett, Nicholas Gans, Roozbeh Jafari, 29, October, 2014
Zero-Effort Camera-Assisted Calibration Techniques for Wearable Motion Sensors, Jian Wu, Roozbeh Jafari, International Conference on Wireless Health, ACM, 29, October, 2014
The fabryq Swarm Prototyping Platform, William McGrath, Bjoern Hartmann, 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
The Merge of OpenWSN, GDP, and Gateway, Lawrence Supian, Mark Oehlberg, Eric Allman, John D. Kubiatowicz, 29, October, 2014
The Internet of Thingimajigs: Scalability Challenges of Terraswarm Naming, Adrian Freed, David DeFilippo, Bjoern Hartmann, David Wessel, 29, October, 2014
Composable Audio Services for the TerraSwarm, Ilya Y. Rostovtsev, David Wessel, Adrian Freed, Bjoern Hartmann, 29, October, 2014
Far-field radio & dataplane integration for M3 mm-scale sensor node, Yoonmyung Lee, Gyouho Kim, Prabal Dutta, David Blaauw, Pat Pannuto, Benjamin Kempke, Hyeongseok Kim, Zhiyoong Foo, Dennis Sylvester, David Wentzloff, 29, October, 2014
Theme 1: Smart Cities, Tajana Simunic Rosing, John Wawrzynek, 29, October, 2014
Theme 3: Services and Cloud Interactions, Richard Murray, Anthony Rowe, 29, October, 2014
Theme 2: Platform Architectures and Operating Systems, Prabal Dutta, John D. Kubiatowicz, 29, October, 2014
2014 TerraSwarm Research Center Introduction, Edward A. Lee, Jan Rabaey, 29, October, 2014
Theme 4: Methodologies, Models, and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 29, October, 2014
Simulation-Based Design Space Exploration of Swarm Cyber-Physical Systems Using Contracts, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 29, October, 2014
HOBS: Head Orientation-Based Selection in Physical Spaces, Ben Zhang, Chen Yu-Hsiang, Tuna Claire, Dave Achal, Li Yang, Lee Edward, Hartmann Bjoern, 29, October, 2014
Semantics of The Swarm, Chris Shaver, Marten Lohstroh, Matt Weber, 29, October, 2014
Software/Hardware Platform Modeling Using Swarmlets For Connected Vehicles, Hokeun Kim, Akihito Iwai, Armin Wasicek, Edward A. Lee, 29, October, 2014
Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Richard Murray, Truong X. Nghiem, George Pappas, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 29, October, 2014
Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Alberto Sangiovanni-Vincentelli, 29, October, 2014
xLAB: Experience Design & Technology Lab, Kuk Jang, Matthew O'Kelly, Orkan Telhan, Rahul Mangharam, 29, October, 2014
Interactive Matrix Factorization, Sameer Singh, Carlos Guestrin, 28, October, 2014
StreamLab: Large-Scale Machine Learning on Streams, Sameer Singh, Ignacio Cano, Tianqi Chen, Marco Ribeiro, Carlos Guestrin, 28, October, 2014
Programming and Managing Mobile Swarms, Daniel Graff, Daniel Roehrig, Adam M Wolisz, Jan Rabaey, 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
Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 19, October, 2014
Bayesian Dynamic Modeling, Emily B. Fox, 16, October, 2014
Controlling Energy-Efficient Buildings in the Context of the Smart Grid: A Cyber-Physical System Approach, Mehdi Maasoumy, 15, October, 2014
Metronomy: A Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems, Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee, International Conference on Hardware/Software Codesign and System Synthesis, 12, October, 2014
Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Proceedings of the International Conference on Embedded Software (EMSOFT), 12, 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
Opportunistic Resource Management for Cyber-Physical Systems, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, October, 2014
Generic Access Point: Bridging the GAP between the Swarm and the Cloud, Brad Campbell, Neal Jackson, Prabal Dutta, October, 2014
Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014
HOBS: Head Orientation Based Selection in Physical Spaces, Ben Zhang, Yu-Hsiang Chen, Claire Tuna, Achal Dave, Yang Li, Edward A. Lee, Bjoern Hartmann, ACM Symposium on Spatial User Interaction (SUI), October, 2014
Low Power Modes for Analog Front-end in the Swarm, Qingxue Zhang, Roozbeh Jafari, October, 2014
Privacy in User Data Aggregation in Sensor-Rich Urban Infrastructures, Shuo Han, Fragkiskos Koufogiannis, Ufuk Topcu, George Pappas, October, 2014
Robust State Estimation in the Presence of Sensor/Actuator Attacks, Miroslav Pajic, George Pappas, October, 2014
Active Information Acquisition with Multiple Mobile Sensors, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, October, 2014
Managing energy & data quality in swarms, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, October, 2014
CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory, Garvit Juniwal, Alexandre Donze, Jeff C. Jensen, Sanjit Seshia, EMSOFT14, October, 2014
Divide-and-Conquer Learning by Anchoring a Conical Hull, Tianyi Zhou, Jeffrey A. Bilmes, Carlos Guestrin, October, 2014
Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto Sangiovanni-Vincentelli, 2014 TerraSwarm Annual Meeting, October, 2014
Assumption Mining: Algorithms and Applications, Wenchao Li, 26, September, 2014
Endlessly Circulating Messages in IEEE 1588-2008 Systems, David Broman, Patricia Derler, Ankush Desai, John Eidson, Sanjit Seshia, 2014 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, 23, September, 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
Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 2014
Sharing or Surveillance? ---On Volition, Control, and Accountability, Marten Lohstroh, Edward A. Lee, 16, September, 2014
Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 16, September, 2014
DRAM Power and Thermal Modeling for Embedded System Security Against DRAM Side-Channel Attacks, Hokeun Kim, Armin Wasicek, Edward A. Lee, 16, September, 2014
Taint Analysis for Swarmlets, Armin Wasicek, M. A. Saleh Elmohamed, Yi-Chin Wu, Edward A. Lee, 16, September, 2014
Computation of privacy-preserving prices in smart grids, Fragkiskos Koufogiannis, Shuo Han, George Pappas, 16, September, 2014
Privacy Preserving Average Consensus, Richard Murray, Yilin Mo, 16, September, 2014
Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties, Stephane Lafortune, Yi-Chin Wu, 16, September, 2014
Differential Privacy in Estimation and Control, George Pappas, 16, September, 2014
Overview of Security & Privacy Research, Sanjit Seshia, 16, September, 2014
An Overview of Our Group's Work on Security for Networked Embedded Systems, C.-W. Lin, A. Sangiovanni-Vincentelli, Q. Zhu, 16, September, 2014
Optimal Synthesis of Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, 16, September, 2014
Machine Learning and Optimization Toolkit in Ptolemy II, Edward A. Lee, 15, September, 2014
Machine Learning Hands-On Workshop, Edward A. Lee, 15, September, 2014
MBus: A 17.5 pJ/bit/chip Portable Interconnect Bus for Millimeter-Scale Sensor Systems with 8 nW Standby Power, Ye-Sheng Kuo, Pat Pannuto, Gyouho Kim, zhiyoong foo, Inhee Lee, Benjamin Kempke, Prabal Dutta, David Blaauw, Yoonmyung Lee, Custom Integrated Circuits Conference, IEEE, 14, 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
Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, International Conference on Intelligent Robots and Systems, IEEE/RSJ, 14, September, 2014
New Tools for Aspect-Oriented Programming in Music and Media Programming Environments, John MacCallum, Adrian Freed, David Wessel, ICMC-SMC|2014, 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
Approximate Synchrony: An Abstraction for Distributed Time-Synchronized Systems, Ankush Desai, 11, September, 2014
Campus-Wide Integrated Building Energy Simulation, Willy Bernal, Madhur Behl, Truong X. Nghiem, Rahul Mangharam, ASHRAE--IBPSA-USA Building Simulation Conference, ASHRAE IBPSA USA, 11, September, 2014
Integrated Functional and Formal Modeling for Closed-loop Evaluation of Medical Device Software, Zhihao Jiang, Rahul Mangharam, TECHCON 2014, 8, September, 2014
Energy Management and Cost Analysis in Residential Houses using Batteries, Baris Aksanli, Tajana Simunic Rosing, SRC TECHCON 2014, 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
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
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
Robust State Estimation in the Presence of Sensor and Actuator Attacks, Miroslav Pajic, George Pappas, September, 2014
Privacy and Truthfulness in Electric Vehicle Charging Protocols, Shuo Han, Ufuk Topcu, George Pappas, September, 2014
Model Counting and Quantitative Information Flow, Daniel J. Fremont, 29, August, 2014
Robust Subspace System Identification via Weighted Nuclear Norm Optimization, Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit Seshia, 19th World Congress of the International Federation of Automatic Control (IFAC), 24, August, 2014
TapDance: End-to-Middle Anticensorship without Flow Blocking, Eric Wustrow, Colleen Swanson, Alex Halderman, Usenix Security 2014, 20, August, 2014
GameTime: Toolkit for the Timing Analysis of Software, Sanjit Seshia, Jonathan Kotker, UC Berkeley, 20, August, 2014
Green Lights Forever: Analyzing the Security of Traffic Infrastructure, Branden Ghena, William Beyer, Allen Hillaker, Jonathan Pevarnek, Alex Halderman, USENIX Workshop on Offensive Technologies (WOOT '14), 19, August, 2014
MotionSynthesis Toolset (MoST): A Toolset for Human Motion Data Synthesis and Validation, Terrell R. Bennett, Claudio Savaglio, David Lu, Hunter Massey, trung pham, Xianan Wang, Jian Wu, Roozbeh Jafari, MobileHealth 2014, August 11-14, 2014, 11, 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
IMpACT: Inverse Model Accuracy and Control Performance Toolbox for Buildings, Madhur Behl, Truong X. Nghiem, Rahul Mangharam, International Conference on Automation Science and Engineering, IEEE, August, 2014
Q3 2014 TerraSwarm Quarterly Report Milestone #7, Edward A. Lee, TerraSwarm Research Center, August, 2014
Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties, Alberto Puggelli, University of California, Berkeley, 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
O-dot Extension Language, Adrian Freed, John MacCallum, UC Berkeley, 20, July, 2014
Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Internal Conference on Computer-Aided Verification (CAV) 2014, 18, July, 2014
Speeding Up SMT-Based Quantitative Program Analysis, Daniel J. Fremont, Sanjit Seshia, 12th International Workshop on Satisfiability Modulo Theories, 3-13, 17, July, 2014
Semantic Localization Via the Matrix Permanent, Nikolay A. Atanasov, Menglong Zhu, Kostas Daniilidis, George Pappas, Robotics: Science and Systems (RSS), July, 2014
Handling model uncertainty in model predictive control for energy efficient buildings, Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, Energy and Buildings, 77, 377-392, 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
Motion Based Acceleration Correction for Improved Sensor Orientation Estimates, Terrell R. Bennett, Roozbeh Jafari, Nicholas Gans, The 2014 International Conference on Wearable and Implantable Body Sensor Networks (BSN2014), 16, June, 2014
Deltaflow: Submetering by Synthesizing Uncalibrated Pulse Sensor Streams, Meghan Clark, Brad Campbell, Prabal Dutta, ACM e-Energy'14: The 5th International Conference on Future Energy Systems, ACM, 11, June, 2014
Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts, Yash V. Pant, Truong X. Nghiem, Rahul Mangharam, 2014 American Control Conference (ACC), American Automatic Control Council, 4, June, 2014
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, IEEE American Control Conference, 4, June, 2014
Model Predictive Control of Regulation Services from Commercial Buildings to the Smart Grid, Mehdi Maasoumy, Borhan Sanandaji, Alberto Sangiovanni-Vincentelli, IEEE American Control Conference, 4, June, 2014
Selecting Building Predictive Control Based on Model Uncertainty, Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto Sangiovanni-Vincentelli, IEEE American Control Conference, 4, June, 2014
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays, Marcella Gomez, Wubing B. Qin, Gabor Orosz, Richard Murray, American Control Conference 2014, June, 2014
Optimal Power Management in Wireless Control Systems, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, IEEE Transactions on Automatic Control, 1495-1510, June, 2014
The Swarm at the Edge of the Cloud, Edward A. Lee, Jan Rabaey, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Bjoern Hartmann, Roozbeh Jafari, Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Rahul Mangharam, Brian T. Murray, George Pappas, Kris Pister, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Ben Taskar, John Wawrzynek, David Wessel, IEEE Design and Test of Computers on Cloud Computing for Embedded Systems, 31, 3, 8-20, June, 2014
Synthesis for Multi-Robot Controllers with Interleaved Motion, Vasu Raman, Hadas Kress-Gazit, 2014 IEEE International Conference on Robotics and Automation (ICRA 2014), 31, May, 2014
Decentralized Goal Assignment and Trajectory Generation in Multi-Robot Networks: A Multiple Lyapunov Functions Approach, Dimitra Panagou, Matthew Turpin, Vijay Kumar, Proceedings of the 2014 IEEE International Conference on Robotics and Automation (ICRA 2014), IEEE, 31, May, 2014
Information Acquisition with Sensing Robots: Algorithms and Error Bounds, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, Proc. of the IEEE International Conference on Robotics and Automation (ICRA), 31, May, 2014
TerraSwarm Analytical Framework, Edward A. Lee, 19, May, 2014
Self-Organized Semantic Localization, Matt Weber, Edward A. Lee, 16, May, 2014
Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties, Alberto Puggelli, 15, May, 2014
Opportunistic Localization, Discovery & Computation in the Swarm, Marten Lohstroh, Edward A. Lee, Ben Zhang, Joseph Kee-Yin NG, 15, May, 2014
Automatic Removal of EEG Artifacts using Electrode-Scalp Impedance, Yuan Zou, Omid Dehzangi, Roozbeh Jafari, International Conference on Acoustics, Speech and Signal Processing, 4, May, 2014
TerraSwarm Center Highlights and Metrics for Milestone #6 Feb. 1, 2014- Apr. 30, 2014, Edward A. Lee, UC Berkeley, May, 2014
MLS25im, Truong X. Nghiem, Rahul Mangharam, University of Pennsylvania, 29, April, 2014
Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, 21, April, 2014
Leveraging application context for efficient sensing, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, IEEE ISSNIP 2014, 21, April, 2014
BioWatch: A Wrist Watch Based Physiological Signal Acquisition System, Simi Susan Thomas, Nathan Viswam, Chengzhi Zong, Antoine L. Praveen Aroul, Karthikeyan Soundarapandian, Lijoy Philipose, Xiangrong Shi, Roozbeh Jafari, IPSN, 17, April, 2014
Demonstration Abstract: Upper Body Motion Capture System Using Inertial Sensors, Jian Wu, Zhanyu Wang, Suraj Raghuraman, Balakrishnan Prabhakaran, Roozbeh Jafari, IPSN, 16, April, 2014
A System for Fine-Grained Remote Monitoring, Control and Pre-Paid Electrical Service in Rural Microgrids, Maxim Buevich, Dan Schnitzer, Tristan Escalada, Arthur Jacuiau-Chamski, Anthony Rowe, The 13th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), ACM/IEEE, 15, April, 2014
Zero-Effort Camera-Assisted Calibration Techniques for Wearable Motion Sensors, Jian Wu, Roozbeh Jafari, International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS), 14, April, 2014
Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings, Madhur Behl, Truong X. Nghiem, Rahul Mangharam, 5th International Conference on Cyber-Physical Systems., ACM/IEEE, 14, April, 2014
Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, Cyber-Physical Systems (ICCPS) 2014, ACM/IEEE, 48-59, 14, April, 2014
Computationally Less Intensive Alternative to Model Predictive Control for Energy Efficient Building HVAC System, Mehdi Maasoumy, Alberto Sangiovanni-Vincentelli, ACM Symposium on Simulation for Architecture and Urban Design (SimAUD), 13, April, 2014
A Vision of the TerraPlane, Edward A. Lee, 11, April, 2014
Let's get physical: computer science meets systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, From Programs to Systems - The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), 6, April, 2014
Synthesis for Human-in-the-Loop Control Systems, Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5, April, 2014
Visual Light Landmarks for Mobile Devices, Niranjini Rajagopal, Patrick Lazik, Anthony Rowe, The 13th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), April, 2014
Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe (DATE), 24, March, 2014
BCIBench: A Benchmarking Suite for EEG-Based Brain Computer Interface, Roozbeh Jafari, Omid Dehzanghi, Design, Automation and Test in Europe, 24, March, 2014
Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe, 24, March, 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
Providing Regulation Services and Managing Data Center Peak Power Budgets, Baris Aksanli, Tajana Simunic Rosing, Design, Automation and Test in Europe (DATE), 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
A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014
Grid Watch: Mapping Blackouts with Smart Phones, Noah Klugman, Javier Rosa, Pat Pannuto, Matthew Podolsky, William Huang, Prabal Dutta, HotMobile'14: The 15th International Workshop on Mobile Computing Systems and Applications, 26, February, 2014
Gaining Control of Cellular Traffic Accounting by Spurious TCP Retransmission, Younghwan Go, Jongil Won, Denis Foo Kune, EunYoung Jeong, Yongdae Kim, KyoungSoo Park, Network and Distributed System Security Symposium (NDSS), 23, February, 2014
o.io, John MacCallum, Adrian Freed, David DeFilippo, Rama Gottfried, UC Berkeley, 20, February, 2014
The TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 14, February, 2014
Sensor Andrew Applied to Retrofit Building Energy Systems, Anthony Rowe, 14, February, 2014
The Universal Information Identifier, Marten Lohstroh, Chris Shaver, 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 Dataplane or the Internet for the Internet of Things, John D. Kubiatowicz, 13, February, 2014
Aspect-Oriented Modeling for Anomaly Detection and State Estimation, Ilge Akkaya, Edward A. Lee, 13, February, 2014
Optimal Architecture Synthesis for Aircraft Electrical Power Systems(EPS), Nikunj Bajaj, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 13, February, 2014
Energy efficient way to provide information to the users, Jinseok Yang, Sameer Tilak, Tajana Simunic Rosing, 3, 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
Optimal Load Management System for Aircraft Electric Power Distribution, Pierluigi Nuzzo, February, 2014
Security-Aware Mapping for TDMA-Based Real-Time Distributed Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, February, 2014
TerraSwarm 2013 Annual Report, Edward A. Lee, January, 2014
Collaborative System Identification via Parameter Consensus, Ivan Papusha, Eugene Lavretsky, Richard Murray, American Control Conference 2014, 2014
Model Predictive Control with Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014
Differentially private convex optimization with piecewise affine objectives, Shuo Han, Ufuk Topcu, George Pappas, IEEE Conference on Decision and Control, 2014
Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress), Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14), 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
Distribution-Aware Sampling and Weighted Model Counting for SAT, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, Proc. of AAAI, 1722-1730, 2014
Context-Aware Data Processing to Enhance Quality of Measurements in Wireless Health Systems: An Application to MET Calculation of Exergaming Actions, Bobak Mortazavi, Mohammad Pourhomayoun, Hassan Ghasemzadeh, Roozbeh Jafari, Roberts Christian K., Majid Sarrafzadeh, IEEE Internet of Things Journal, 2014
Synthesis of Optimal Insertion Functions for Opacity Enforcement, Yi-Chin Wu, Stephane Lafortune, IEEE Transactions on Automatic Control, 2014
Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks, Nikolay A. Atanasov, Jerome Le Ny, George Pappas, ASME Journal of Dynamic Systems, Measurement, and Control (JDSMC), 2014
Machine Improvisation with Formal Specifications, Rafael Valle, Alexandre Donze, Ilge Akkaya, Sophie Libkind, Sanjit Seshia, David Wessel, ICMCSMC14, 2014
Minimal Actuator Placement with Bounds on Control Effort, Vasileios Tzoumas, Mohammad Amin Rahimian, George Pappas, Ali Jadbabaie, submitted to IEEE Transactions on Control of Network Systems (TCNS), 2014
From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014
SoK: Security and Privacy in Implantable Medical Devices and Body Area Networks, Michael Rushanan, Aviel D. Rubin, Colleen Swanson, Denis Foo Kune, IEEE Security and Privacy, 2014
System Design, Modeling, and Simulation, Claudius Ptolemaeus, Claudius Ptolemaeus, Ptolemy.org, 1.0, 2014
Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs, Colleen Swanson, Douglas Stinson, The Electronic Journal of Combinatorics, 2014
Opportunistic control over shared wireless channels, Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George Pappas, IEEE Transactions on Automatic Control, 2014

Found 213 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.