Search results

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
Dynamic State Estimation in the Presence of Compromised Sensory Data, Yorie Nakahira, Yilin Mo, Conference on Decision and Control 2015, 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
Control with Random Access Wireless Sensors, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, 54th Conference on Decision and Control, IEEE, 15, December, 2015
Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada, Conference on Decision and Control (CDC 2015), IEEE, 15, December, 2015
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
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
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
Minimal Reachability Problems, Vasileios Tzoumas, Ali Jadbabaie, George Pappas, 54th IEEE Conference on Decision and Control (CDC 2015), 4220-4225, 15, December, 2015
S2Sim: Smart Grid Swarm Simulator, Alper Sinan Akyurek, Baris Aksanli, Tajana Simunic Rosing, International Green & Sustainable Computing Conference 2015, 14, 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, IEEE Real-Time Systems Symposium (RTSS), 1, December, 2015
Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, Proc. FSTTCS, December, 2015
Campus-Wide Integrated Building Energy Simulation, Bernal Willy, Madhur Behl, Truong X. Nghiem, Rahul Mangharam, IBPSA Building Simulation Conference, International Building Performance Simulation, December, 2015
XGBoost: A Scalable Tree Boosting System, Tianqi Chen, Carlos Guestrin, LearningSys, December, 2015
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Proceedings of the IEEE, 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
A Contract-Based Framework for Integrated Demand-Response Management in Smart Grids, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, International Conference on Embedded Systems For Energy-Efficient Built Environments (BuildSys 2015), ACM, 4, November, 2015
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, IEEE/ACM International Conference On Computer Aided Design, 2, November, 2015
The Haunted House: Networking Smart Homes to Enable Casual Long-Distance Social Interactions, Meghan Clark, Prabal Dutta, The 2015 International Workshop on Internet of Things towards Applications (IoT-App'15), 1, November, 2015
PowerBlade: A Low Profile True Power Plug Load Meter, Samuel DeBruin, Branden Ghena, Ye-Sheng Kuo, Prabal Dutta, SenSys'15, ACM, 1, November, 2015
Combining Induction, Deduction, and Structure for Verification and Synthesis, Sanjit Seshia, Proceedings of the IEEE, 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
Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, 23, October, 2015
HCI Perspectives on Information Overload, Bjoern Hartmann, 15, October, 2015
A Short History of Human Augmentation, Bjoern Hartmann, 15, October, 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 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 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
TerraSwarm 2015 Annual Meeting: Theme 3: Services and Cloud Interactions, Jeffrey A. Bilmes, Anthony Rowe, 14, October, 2015
Context Detection and Office/Urban Heartbeat, Syed Ali Hasnain, Roozbeh Jafari, 14, October, 2015
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Edward A. Lee, 14, October, 2015
3D Microwave Imaging of Human Biosigns and Hand Gestures using Antenna Arrays, Simon Scott, John Wawrzynek, 14, October, 2015
Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, 14, October, 2015
Prototyping xG: A 60 GHz Directional Wireless Mesh Network, Christopher Yarp, John Wawrzynek, 14, October, 2015
A Contract-Based Framework for Integrated Demand-Response Management, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, 14, October, 2015
TerraSwarm 2015 Annual Meeting: Theme 1: Proactive Worlds: Poster Overviews, Theme 1 Researchers, 14, October, 2015
TerraSwarm 2015 Annual Meeting: Theme 3: Services and Cloud Interactions: Poster Overviews, Theme 3 Researchers, 14, October, 2015
TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools: Poster Overviews, Theme 2 Researchers, 14, October, 2015
An Interface Theory for the Internet of Things, Marten Lohstroh, Edward A. Lee, 14, October, 2015
Managing Complexity in Streaming Swarm Applications Using Aspects, Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, 14, October, 2015
Data Driven Synchronization for Internet of Things Systems, Terrell R. Bennett, Gans Nicholas, Roozbeh Jafari, 14, October, 2015
A Computational Modeling Approach of User Behavior for Swarm Control Applications, Baris Aksanli, Tajana Simunic Rosing, 14, October, 2015
Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, 14, October, 2015
Dynamic Noise Level as Urban Heart Beat, Duc Phan, Douglas L. Jones, 14, October, 2015
Sensor Fusion and Resource Management for Physiological Monitoring in the Swarm, Viswam Nathan, Ilge Akkaya, Roozbeh Jafari, 14, October, 2015
Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray, INCOSE International Symposium (IS2015), 235-249, 13, October, 2015
Global Data Plane Routing Protocol on Click, Nikhil Goyal, John Wawrzynek, John D. Kubiatowicz, Nitesh Mor, Eric Allman, 13, October, 2015
Localize the World: A Location Accessor Architecture for the Swarm, Matt Weber, Edward A. Lee, 13, October, 2015
Scalable Bayes for Large and Streaming Sequential Data, Nick Foti, Emily B. Fox, 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
Compositional Design of Cyber-Physical Systems Using Contracts, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, October, 2015
City-Scale Bayesian Spatial Modeling for House Pricing, Shirley Ren, Emily B. Fox, October, 2015
Data-Driven Robust Taxi Dispatch Approaches, Fei Miao, Shuo Han, Shan Lin, George Pappas, October, 2015
Security and Privacy Breakout Session, Yi-Chin Wu, George Pappas, Stephane Lafortune, Sanjit Seshia, Alberto Sangiovanni-Vincentelli, Armin Wasicek, Alex Halderman, John D. Kubiatowicz, Antonio Iannopollo, Adrian Freed, October, 2015
Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, October, 2015
A scalable framework for rapid development of multimedia swarm-apps, Long Le, Douglas L. Jones, October, 2015
TerraSwarm 2015 Annual Meeting: Theme 1: Proactive Worlds, Richard Murray, Prabal Dutta, October, 2015
Active Information Acquisition with Mobile Robots, Nikolay A. Atanasov, Jerome Le Ny, Kostas Daniilidis, George Pappas, October, 2015
Semantic Localization, Mapping & Navigation, Nikolay A. Atanasov, Sean Bowman, Kostas Daniilidis, George Pappas, October, 2015
Obfuscator Synthesis for Opacity, Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune, 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
Dynamic Message-Oriented Middleware with Open Sound Control and Odot, John MacCallum, Rama Gottfried, Ilya Y. Rostovtsev, Jean Bresson, Adrian Freed, Proceedings of the International Computer Music Conference, 25, September, 2015
Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukhh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, Runtime Verification '15, Vienna, 22, 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
Design Technology for the Trillion-Device Future, Alberto Sangiovanni-Vincentelli, 10, September, 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
Multi-Sensor Data-Driven Synchronization Using Wearable Sensors, Terrell R. Bennett, Nicholas Gans, Roozbeh Jafari, ISWC 2015, ACM, 113-116, 9, September, 2015
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 1, September, 2015
Overview of S&P workshop and research updates, Yi-Chin Wu, 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
Security-Aware Design Methodology and Optimization for Automotive Systems, Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto Sangiovanni-Vincentelli, ACM Transactions on Design Automation of Electronic Systems, 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
An Interface Theory for the Internet of Things, Marten Lohstroh, Edward A. Lee, Software Engineering and Formal Methods, 20-34, 21, August, 2015
Summarizing Large Data Sets, Jeffrey A. Bilmes, 20, August, 2015
Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach, Chen Lv, Junzhi Zhang, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yutong Li, Yuan Ye, International Conference on Mechatronics and Automation, IEEE, 2, August, 2015
Drill Sergeant: Supporting Physical Construction Projects through an Ecosystem of Augmented Tools, Bjoern Hartmann, Daniel Lim, Michelle Nguyen, Eldon Schoop, Valkyrie Savage, Sean Follmer, CHI conference, August, 2015
Systematic Testing of Asynchronous Reactive Systems, Ankush Desai, Shaz Qadeer, Sanjit Seshia, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2015, August, 2015
Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems, Chung-Wei Lin, University of California, Berkeley, August, 2015
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, Eidson John, 27th International Conference on Computer Aided Verification, 429-448, 18, July, 2015
The Cloud is Not Enough: Saving IoT from the Cloud, Ben Zhang, Nitesh Mor, Jack Kolb, Douglas Chan, Nikhil Goyal, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John D. Kubiatowicz, HotCloud15, 6, July, 2015
Minimal Actuator Placement with Optimal Control Constraints, Vasileios Tzoumas, Mohammad Amin Rahimian, George Pappas, Ali Jadbabaie, 2015 American Control Conference (ACC), IEEE, 2081-2086, 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
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
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
Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, American Control Conference (ACC), 3818-3823, 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
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
Exploration of Interactions Detectable by Wearable IMU sensors, Rajesh Kuni, Yashaswini Raghuram Prathivadi Bhayankaram, Jian Wu, Terrell R. Bennett, Roozbeh Jafari, Wearable and Implantable Body Sensor Networks (BSN), 2015 IEEE 12th International Conference on, 1-6, 9, June, 2015
Programming The Swarm using Accessors, Marten Lohstroh, 5, June, 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
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems, Chung-Wei Lin, Lei Rao, Paolo Giusto, D'Ambrosio Joseph, Alberto Sangiovanni-Vincentelli, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 1730-1741, June, 2015
Energy and Cost Efficient Data Centers, Baris Aksanli, University of California San Diego, 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
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
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
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
Submodular Point Processes with Applications to Machine Learning, Rishabh Iyer, Jeffrey A. Bilmes, International Conference on Artificial Intelligence and Statistics, 9, May, 2015
Model Counting and Uniform Random Sampling: Theory, Algorithms and Applications, Daniel J. Fremont, 30, April, 2015
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 27, April, 2015
Scarab Platforms, Philip Dames, Vijay Kumar, 27, April, 2015
A conceptual model of Systems of Systems, Werner Damm, 13, April, 2015
Semantic Swarm, Laisa Costa, 13, April, 2015
Control as a Service (CaaS) : Cloud-based Software Architecture for Automotive Control Applications, Hasan Esen, 13, April, 2015
A Data-driven Synchronization Technique for Cyber-Physical Systems, Terrell R. Bennett, Nicholas Gans, Roozbeh Jafari, Second International Workshop on the Swarm at the Edge of the Cloud (SWEC), in conjunction with CPSWeek, Seattle., 13, April, 2015
Panel: Enabling the Swarm: What are the obstacles in the way?, Armin Wasicek, 13, April, 2015
A Runtime System for Logical-Space Programming, Eloi Pereira, 13, April, 2015
Interfacing the Internet of a Trillion Things, Brad Campbell, 13, April, 2015
Operating System Support for Mobile Robot Swarms, Daniel Graff, 13, April, 2015
A Data-driven Synchronization Technique for Cyber-Physical Systems, Terrell Bennet, 13, April, 2015
NextGen Intelligent Transporta2on: Measuring People, Controlling Things, Raja Sengupta, 13, April, 2015
Ultrasonic Time Synchronization and Ranging on Smartphones, Patrick Lazik, Niranjini Rajagopal, Anthony Rowe, Bruno Sinopoli, Real-Time and Embedded Technology and Applications Symposium, IEEE, 108-118, 13, April, 2015
Teens' and parents' perspectives on home-entry surveillance, Jaeyeon Jung, 13, April, 2015
Smart Building: A Private Cyber-Physical System Approach, Sérgio Pequito, 13, April, 2015
Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Tajana Simunic Rosing, 1, April, 2015
Occupancy Estimation using Ultrasonic Chirps, Anthony Rowe, Oliver Shih, ICCPS: ACM/IEEE International Conference on Cyber-Physical Systems, ACM/IEEE, April, 2015
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015), April, 2015
On Parallel Scalable Uniform SAT Witness Generation, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Christel Baier, Cesare Tinelli, TACAS, 302-319, April, 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
Accessing the Swarm, Brad Campbell, 19, March, 2015
Architectural Support for Cyber-Physical Systems, Edward A. Lee, 14, March, 2015
Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures, Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto Sangiovanni-Vincentelli, DATE '15 Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium San Jose, CA, 561-566, 9, 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
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, IEEE Embedded Systems Letters, 7, 1, 11-14, March, 2015
A Vision of Swarmlets, Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matt Weber, IEEE Internet Computing, Special Issue on Building Internet of Things Software, 19, 2, 20-29, March, 2015
Hot-swapping robot task goals in reactive formal synthesis, Scott Livingston, 18, February, 2015
Securing Connections in Internet of Things using an Open and Free Certificate Authority, Hokeun Kim, Armin Wasicek, Edward A. Lee, 12, February, 2015
Security-Aware Design Methodology and Optimization for Cyber-Physical Systems, Chung-Wei Lin, Qi Zhu, Alberto Sangiovanni-Vincentelli, 12, February, 2015
The TerraSwarm Research Center, Christopher Brooks, Edward A. Lee, 12, February, 2015
The Internet of Things Has a Gateway Problem, Thomas Zachariah, Noah Klugman, Brad Campbell, Josh Adkins, Neal Jackson, Prabal Dutta, HotMobile '15 Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, ACM, 27-32, 12, February, 2015
GMTK: The Graphical Models Toolkit, Jeffrey A. Bilmes, Richard Rogers, University of Washington, 10, 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
The Global Data Plane Prototype, Eric Allman, Ken Lutz, Nitesh Mor, February, 2015
Secure & Privacy-Preserving Monitoring & Control of Swarms, Miroslav Pajic, George Pappas, February, 2015
The Global Data Plane: Looking Forward, Eric Allman, Nikhil Goyal, Jack Kolb, John D. Kubiatowicz, Ken Lutz, Nitesh Mor, John Wawrzynek, Ben Zhang, 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
Creating Interactive and Visual Educational Resources for AI, Sameer Singh, Sebastian Riedel, AAAI 2016 Symposium on Educational Advances in Artificial Intelligence (EAAI), February, 2015
Milestone #9 Annual (11/1/13-10/31/14) Executive Summary of Accomplishments, Edward A. Lee, 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
The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models, Edward A. Lee, Sensors, 2015, 15, 4837-4869, February, 2015
PtPlot-5.10, Christopher Brooks, Edward A. Lee, University of California, Berkeley, 26, January, 2015
Low Cost Building Model Capture for Energy-Efficient Model Based Control, Madhur Behl, 21, January, 2015
An Accessible Platform for Exploring Haptic Interactions with Co-located Capacitive and Piezoresistive Sensors, Adrian Freed, David Wessel, TEI 2015, ACM, January, 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 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
Robust Model Predictive Control for Signal Temporal Logic Synthesis, Samira Farahani, Vasu Raman, Richard Murray, IFAC Conference on Analysis and Design of Hybrid Systems, 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
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
Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper], Vasu Raman, Eric Wolff, AAAI-15 Workshop on Planning, Search, and Optimization, 2015
Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization., Tyler Johnson, Carlos Guestrin, International Conference on Machine Learning (ICML), 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
Reactive Synthesis from Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia, Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 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
APEX: Autonomous Vehicle Plan Verification and Execution, Houssam Abbas, Matthew O'Kelly, Sicun Gao, Shin'ichi Shiraishi, Shinpei Kato, Rahul Mangharam, submitted to the Society of Automotive Engineers, 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
Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Springer, 2015
Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, 2015

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