2012 Ptolemy Project Presentations

NOTE: Presentations are provided in both PDF and Powerpoint formats for convenience. Providing Powerpoint files makes it very easy and tempting to "borrow" the material. However, these presentations are owned by the author. Please do not use this material without permission from the author.

Ptolemy presentations may be found on the CHESS Presentations page

Time for High-Confidence Distributed Embedded Systems
Edward A. Lee, Invited keynote talk, IEEE Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico, Dec. 4-7, 2012.
Verifying Real-Time Software is Not Reasonable (Today)
Edward A. Lee, Invited Plenary Talk, Haifa Verification Conference (HVC), Haifa, Israel, Nov. 6-8, 2012.
Beyond Synchrony to Timed Systems, in honor of Paul Caspi
Edward A. Lee, Invited Talk at EMSOFT, Special Session: An Overview Of The Career of Paul Caspi, Tampere, Finland, Oct.9, 2012.
Introducing Embedded Systems: A Cyber-Physical Systems Approach
Edward A. Lee, Education Keynote,CPS PI Meeting, National Harbor, Maryland, Oct. 5 , 2012.
Time for High-Confidence Distributed Embedded Systems
Edward A. Lee Invited Keynote Talk International IEEE Symposium on Precision Clock Synchronization for Meaurement, Control and Communication (ISPCS), Sept. 26, 2012.
Equations, Synchrony, Time, and Modes
Edward A. Lee Invited Talk at Workshop System Design meets Equation-based Languages: Workshop Program, Lunds, Sweden, Sept. 18-21, 2012.
Time for High-Confidence Cyber-Physical Systems
Edward A. Lee, Invited Plenary Talk, Performance Metrics for Intelligent Systems (PerMIS'12) Workshop, University of Maryland, CA, March 20-22, 2012.
Precision Timed (PRET) Machines
Edward A. Lee, BWRC Open House, Berkeley, CA, February 2012.
The Challenges of Embedded System Design
Edward A. Lee, Invited Talk, Xilinx Emerging Technology Symposium (ETS), San Jose, CA, February 1, 2012.
Modeling, Simulation, and Design of Concurrent Real-Time Embedded Systems Using Ptolemy
Edward A. Lee, Ptutorial, MODPROD, Workshop on Model-Based Product Development, Linkoping,Sweden, February 7, 2012.