Search results

• Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber‐Physical Systems, Hugo Andrade, Patricia Derler, John Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin Stanton, Marc Weiss, 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 7, December, 2015
• Protyping the Next Generation EnergyPlus Simulation Engine, to appear in the Proceedings of the 14th International Conference of the International Building Performance Simulation Association (BS2015), December, 2015
• Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, TBD, 12, November, 2015
• Better Engineering through Better Models, Edward A. Lee, 11, November, 2015
• Hardware Security: An Emerging Threat Landscape and Possible Solutions, Siddharth Garg, 10, November, 2015
• From Streaming Data to Streaming Systems: Aspect-Oriented Data-Driven System Design, Ilge Akkaya, Edward A. Lee, 9, November, 2015
• Better Engineering through Better Models, Edward A. Lee, 9, November, 2015
• Programming Languages for High-Assurance Air Vehicles, Lee Pike, 2, November, 2015
• Information Seeking and Model Predictive Control of a Cooperative Robot Swarm*, Shuhei Emoto, Ilge Akkaya, Edward A. Lee, SWARM 15: The First International Symposium on Swarm Behavior and Bio-Inspired Robotics, 28, October, 2015
• Functional Reactive Programming for Real-Time and Cyber-Physical Systems, Albert Cheng, 23, October, 2015
• Analysis and software synthesis of KPN applications, Jeronimo Castrillon, 22, October, 2015
• Adding time-step time management to a distributed Ptolemy-HLA framework, Yanxuan Li, Janette Cardoso, Pierre Siron, 16, October, 2015
• Scalable and reusable models for HLA-Ptolemy cosimulation framework, David Come, Janette Cardoso, 16, October, 2015
• A Distributed Data-Parallel Execution Framework in the Kepler Scientific Workflow System, Ilkay Altintas, Daniel Crawl, Jianwu Wang, 16, October, 2015
• Composing Learning Internet-of-Things Applications with Accessors, Armin Wasicek, 16, October, 2015
• Building compositional learning and optimization applications for mobile sensor networks with PILOT, Ilge Akkaya, 16, October, 2015
• Machine Learning Module for Big Data Analysis in Kepler, Mai Nguyen, Daniel Crawl, Jianwu Wang, Ilkay Altintas, 16, October, 2015
• Ptolemy Miniconferences, Edward A. Lee, 16, October, 2015
• Representing Swarm Behaviors, Chris Shaver, Marjan Sirjani, 16, October, 2015
• Poster Summaries, Poster Presenters, 16, October, 2015
• bioKepler: A Comprehensive Bioinformatics Scientific Workflow Module for Distributed Analysis of Large-Scale Biological Data, Ilkay Altintas, Daniel Crawl, 16, October, 2015
• Modeling and Analyzing Air Traffic Control Systems using Ptolemy, Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee, 16, October, 2015
• FIDE - An FMI Integrated Design Environment, Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee, 16, October, 2015
• Code Generation for Quantized-State System (QSS) Simulation, Mehrdad Niknami, 16, October, 2015
• Localize The World, Matt Weber, 16, October, 2015
• The Ptolemy Project: Closing Remarks, Edward A. Lee, 16, October, 2015
• Integration of Robotic Systems into an IoT Framework via Access\ ors, Marcus Pan, Amanda Prorok, Philip Dames, Mark Oehlberg, Edward A. Lee, 16, October, 2015
• Challenges of Implementing Timed Models on Timed Platforms, Patricia Derler, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Ankita Prasad, Trung N. Tran, Kaushik Ravindran, 16, October, 2015
• Hybrid Cosimulation for Production Systems, Giacomo Barbieri, 16, October, 2015
• CyPhySim - A Cyber-Physical Systems Simulator, Christopher Brooks, Fabio Cremona, Edward A. Lee, David Lorenzetti, Thierry Nouidui, Michael Wetter, 16, October, 2015
• Automatic generation of master algorithms for FMI 2.0 Co-Simulation, Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee, 16, October, 2015
• A Theory of Privacy for Cyber-Physical Systems with Applications in Energy Systems, Shuo Han, 13, October, 2015
• Timing in cyber-physical systems: The last inch problem, John Eidson, IEEE Proceedings of International Symposium on Precision Clock Synchronization for Measurement, Control, and Communications (ISPCS), IEEE, 19-24, 11, October, 2015
• Timing in cyber-physical systems: The last inch problem, John Eidson, Kevin Stanton, Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS), IEEE, 19-24, 11, October, 2015
• Modeling and Simulating Cyber-Physical Systems using CyPhySim, Edward A. Lee, 6, October, 2015
• Bridging the Gap between Research and Practice: Formal Methods in the Automotive Domain, Jyotirmoy Deshmukh, 5, October, 2015
• Modeling and Simulating Cyber-Physical Systems using CyPhySim*, Edward A. Lee, Mehrdad Niknami, Thierry Nouidui, Michael Wetter, EMSOFT, 4, October, 2015
• Interactive Information Flow Analysis of Android Apps, Osbert Bastani, October, 2015
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Edward A. Lee, October, 2015
• Fast Simulation Techniques for HP Multi Jet Fusion(TM) 3D Printing Technology using Ptolemy II, Hokeun Kim, Yan Zhao, October, 2015
• Formal Methods for Dynamical Systems, Calin Belta, 28, September, 2015
• A Temporal Logic Approach to Information-Flow Control, Rabe Markus, 22, September, 2015
• The Internet of Important Things, Edward A. Lee, 11, September, 2015
• Robust Navigation and Tracking in Dynamic Environments, Oh Songhwai, 8, September, 2015
• An Interface Theory for the Internet of Things, Marten Lohstroh, Edward A. Lee, Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, September, 2015
• Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications, Ilge Akkaya, Yan Liu, Edward A. Lee, IEEE Transactions on Services Computing, X, September, 2015
• The Cloud is Not Enough: Saving IoT from the Cloud, Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Nikhil Goyal, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz, Proceedings of the 7th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), 6, July, 2015
• Ramifications of software implementation and deployment: A case study on yaw moment controller design, IEEE American Control Conference (ACC), July, 2015
• Controlling Timing vs. Measuring Timing, Edward A. Lee, 7, June, 2015
• System simulation from operational data, Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya, Proceedings of the Design Automation Conference (DAC), June, 2015
• Code Generation for SDF and FSM Models in Ptolemy II for Embedded Devices, Kevin Albers, Robert Bui, Jose Oyola, EECS 249B Final Report, May, 2015
• Safety and Stability of Cyberphysical Systems, Mahesh Viswanathan, 28, April, 2015
• The Internet of Important Things, Edward A. Lee, 28, April, 2015
• Requirements for Hybrid Cosimulation Standards, HSCC '15 Proceedings, ACM Press, April, 2015
• PILOT: An Actor-oriented Learning and Optimization Toolkit for Robotic Swarm Applications, Ilge Akkaya, Shuhei Emoto, Edward A. Lee, Second International Workshop on Robotic Sensor Networks (RSN'15), Cyber-Physical Systems Week 2015, 13, April, 2015
• Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Alexandre Donze, Rafael Valle, Edward A. Lee, Sanjit Seshia, 13, April, 2015
• Poster Abstract: A Model For Semantic Localization, Matt Weber, Edward A. Lee, April, 2015
• A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems, Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh, Proceedings of the 21st IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Seattle, WA, USA, April, 2015
• Recognizing Manipulated Electronic Control Units, Armin Wasicek, Weimerskirch Andre, SAE 2015 World Congress & Exhibition, April, 2015
• The fixed-point theory of strictly causal functions, Eleftherios Matsikoudis, Edward A. Lee, Theoretical Computer Science, 574, 39-77, April, 2015
• Swarm Technology, Edward A. Lee, Jan Rabaey, Proceedings of GOMATech, 23, March, 2015
• Architectural Support for Cyber-Physical Systems, Edward A. Lee, 14, March, 2015
• Architectural Support for Cyber-Physical Systems, Edward A. Lee, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ACM, 1, March, 2015
• Connecting the Cloud to Things, Edward A. Lee, 27, February, 2015
• PILOT: An Actor-Oriented Learning and Optimization Toolkit for the Swarm, Ilge Akkaya, 12, February, 2015
• Approximate Nonlinear Model Predictive Control For Gasoline Engines, Raechel Tan, Chung-Yen Lin, Masayoshi Tomizuka, 12, February, 2015
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 12, February, 2015
• An Overview of the CHESS Center, Christopher Brooks, Edward A. Lee, 12, February, 2015
• Compilation of Parametric Dataflow Applications for Software-Defined-Radio-Dedicated MPSoCs, Dardaillon Mickael, 3, February, 2015
• Time-Aware Applications, Computers, and Communication Systems (TAACCS), Marc Weiss, John Eidson, Charles Barry, David Broman, Leon Goldin, Bob Ianucci, Edward A. Lee, Kevin Stanton, National Institute of Standards and Technology, 1867, February, 2015
• 5G, the Next Major Wireless Standard, Klaus Doppler, January, 2015
• Modeling and Simulation of Network Aspects for Distributed Cyber-Physical Energy Systems, Ilge Akkaya, Yan Liu, Edward A. Lee, Cyber Physical Systems Approach to Smart Electric Power Grid, 1-23, January, 2015
• Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Edward A. Lee, Sanjit Seshia, Lee and Seshia, 2, 2015, 978-1-312-42740-2