Search results

• Cooperative Multi-Robot Information Acquisition based on Distributed Robust Model Predictive Control, Shuhei Emoto, Ilge Akkaya, Edward A. Lee, (to appear in) Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, IEEE, 16, December, 2016
• Safety Verification of Deep Neural Networks, Marta Kwiatkowska, 8, November, 2016
• Fundamental Limits of Cyber-Physical Systems Modeling, Edward A. Lee, ACM Transactions on Cyber-Physical Systems, 1, 1, November, 2016
• Resurrecting Laplace's Demon: The Case for Deterministic Models, Edward A. Lee, 4, October, 2016
• Information Seeking and Model Predictive Control of A Cooperative Multi-Robot System, Shuhei Emoto, Ilge Akkaya, Edward A. Lee, Artificial Life and Robotics, 21, 4, 393-398, October, 2016
• Time in cyber-physical systems, In Proceedings of IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES '16), October, 2016
• Coordinated Actors for Reliable Self-Adaptive Systems, Springer, October, 2016
• Data-Driven Cyber-Physical Systems via Real-Time Stream Analytics and Machine Learning, Ilge Akkaya, EEECS Dept., University of California, Berkeley, October, 2016
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee, The 4th IEEE International Conference on Future Internet of Things and Cloud, August, 2016
• Introducing Triquetrum, A Possible Future for Kepler and Ptolemy II, Christopher Brooks, Jay Jay Billings, 3rd Workshop on Advances in the Kepler Scientific Workflow System and Its Applications, ICCS, 9, June, 2016
• Information Seeking of a Robot Swarm based on Robust Model Predictive Control, Shuhei Emoto, Ilge Akkaya, Edward A. Lee, The Robotics and Mechatronics Conference 2016 in Yokohama, Robotics and Mechatronics Division, The Japan Society of Mechanical Engineers, 8, June, 2016
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee, 5, June, 2016
• Toward a Global Data Infrastructure, Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz, IEEE Internet Computing, 20, 3, 54-62, May, 2016
• Process-Level Modeling and Simulation for HP's Multi Jet Fusion 3D Printing Technology, Hokeun Kim, Yan Zhao, Lihua Zhao, the 1st International Workshop on Cyber-Physical Production Systems (CPPS), 12, April, 2016
• FIDE - An FMI Integrated Development Environment, Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee, Symposium on Applied Computing, 4, April, 2016
• Systems Engineering for Industrial Cyber-Physical Systems using Aspects, Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, IEEE Proceedings, Vol. 104, Issue 5, 997-1012, 4, April, 2016
• Triquetrum: Models of Computation for Workflows, Christopher Brooks, erwin de ley, 8, March, 2016
• The Center for Hybrid and Embedded Software Systems (CHESS), Christopher Brooks, 11, February, 2016
• Ptolemy II: An open-source platform for experimenting with actor-oriented design, Christopher Brooks, 11, February, 2016
• Automotive Intrusion Detection, Armin Wasicek, 11, February, 2016
• Turbocharged Engine Model Reduction For Discretization, Raechel Tan, Masayoshi Tomizuka, 11, February, 2016
• Stratification, target set reachability and incremental enlargement principle, Lotfi Zadeh, 8, February, 2016
• Probabilistic Inference by Hashing and Optimization, Stefano Ermon, 25, January, 2016
• Dependable Cyber-Physical Systems, Edward A. Lee, to appear in Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA), Beijing, China Nov. 9-11, 2016
• Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, John Eidson, 429-448, 9207, Springer, 2016
• MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages, ACM, 2016

Found 26 publications.