Featured 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.

Living Digital Things: Edward A. Lee, 3rd IEEE International Conference on Collaboration and Internet Computing, Oct. 15-17, 2017, San Jose, California.
Locally Centralized, Globally Distributed Authentication and Authorization for IoT: Hokeun Kim. Dissertation Talk, Department of EECS, University of California, Berkeley, April 28, 2017.
Fundamental Limits of Cyber-Physical and Hybrid System Modeling: Edward A. Lee Invited Talk, 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), a satellite event of ETAPS 17, Uppsala, Sweden, April 22, 2017.
Resurrecting Laplace's Demon: The Case for Deterministic Models: Edward A, Lee Keynote Talk, MODELS, St. Malo, France, October 4, 2016. See Video.
Modeling and Simulating Cyber-Physical Systems using CyPhySim: Edward A. Lee, Invited Talk, Special Session on Design of Hybrid Systems, EMSOFT 2015, Amsterdam, The Netherlands, Oct. 6, 2015.
The Internet of Important Things: Edward A. Lee, Keynote, Software Engineering and Formal Methods (SEFM), York, England, UK, September 11. 2015.
Architectural Support for Cyber-Physical Systems: Edward A. Lee, Keynote, Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), Istanbul, Turkey, March 14-18, 2015.
Connecting the Cloud to Things: Edward A. Lee, Invited Talk, Berkeley Cloud Workshop, Berkeley, California, February 27, 2015.
It's About Time: Edward A. Lee, Keynote, ReConFig: Reconfigurable Computing and FPGAs, Cancun, Mexico, Dec. 8-10, 2014.
Cyber-Physical Systems, A Fundamental Intellectual Challenge: Edward A. Lee, Invited Talk, College de France, Paris, France, December 11, 2013.
Verifying Real-Time Software is Not Reasonable (Today): Edward A. Lee, Invited Plenary Talk, Haifa Verification Conference (HVC), Haifa, Israel, Nov. 6-8, 2012.
Heterogeneous Actor Models: Edward A. Lee, EMSOFT, Invited Roadmap Talk, Taipei, Taiwan, October 10, 2011.
Introducing Embedded Systems: A Cyber-Physical Systems Approach: Edward A. Lee, Education Keynote,CPS PI Meeting, National Harbor, Maryland, Oct. 5 , 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 Software Systems: Edward A. Lee, Keynote talk, 11th Annual Conference on High Confidence Software and Systems, Annapolis, Maryland, May 1-6, 2011.
Disciplined Heterogeneous Modeling: Edward A. Lee, Invited Keynote Talk, ACM/IEEE International Conferenc e on Model Driven Engineering Languages and Systems (MODELS 2010), Oslo, Norway, October 6-8, 2010.
Ensuring Correct Composition of Components using Lattice-based Ontologies: B. Lickly, M-K. Leung, T. Mandl, E. A. Lee, E. Latronico, C. Shelton, S. Tripakis, WFCD - Foundations and Applications of Component-based Design in Conjunction with ES Week, Grenoble, France, October 11, 2009.
Model-Based Design for Signal Processing Systems: Edward A. Lee, Invited Keynote Talk, IEEE Workshop on Signal Processing Systems (SiPS), October 7-9, 2009, Tampere, Finland.
A Disruptive Computer Design Idea: Architectures with Repeatable Timing: E. A. Lee and S.A. Edwards, S. Kim, I. Liu, H.D Patel, M. Schoeberl, Invited Talk, IEEE International Conference on Compouter Design (ICCD), Squaw Valley, CA, October 6, 2009.
Beyond Embedded Systems: Integrating Computation, Networking, and Physical Dynamics: Edward A. Lee, Invited Keynote Talk, ACM SIGPLANISIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 19-20, 2009, Dublin, Ireland.
The Case for Timing-Centric Distributed Software: Edward A. Lee, with Slobodan Matic, Sanjit A. Seshia, and Jia Zou, invited talk at 2nd International Workshop on Cyber-Physical Systems (WCPS 2009), Montreal, Quebec, Canada, June 22, 2009.
Disciplined Concurrent Models of Computation for Parallel Software (powerpoint presentation): Edward A. Lee, Invited Keynote Talk, 2008 Summer Institute, The Concurrency Challenge: Can We Make Parallel Programming Popular?, August 3-7, 2008, Blaine, WA.
Balancing Expressiveness and Analyzability in Stream Formalisms (Powerpoint presentation): Edward A. Lee, invited talk at a Workshop in conjunction with the 20th International Conf erence on Computer aided Verification (CAV 2008), Princeton, NJ, July 7-8, 2008.
Teaching Embedded Systems to Berkeley Undergraduates: EECS 124 at Berkeley (Powerpoint presentation): Sanjit A. Seshia, Edward A. Lee, Claire Tomlin, Presented at the From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop, St. Louis, MO, April 21, 2008.
Cyber-Physical Systems (Powerpoint poster): Christopher Brooks, Edward A. Lee, Poster presented at the 2008 Berkele y EECS Annual Research Symposium, Berkeley, CA, February 21, 2008.
Is Truly Real-Time Computing Becoming Unachievable? (Powerpoint presentation): Edward A. Lee, Real-Time and Embedded Technology and Applications Symposium (RTAS), Bellevue, WA, April 3-April 6, 2007.
Incremental Checkpointing with Application to Distributed Discrete Event Simulation (Powerpoint presentation): Thomas Huining Feng and Edward A. Lee, December 3-6, 2006, Winter Simulation Conference (WSC '06), Monterey, CA.
Concurrency Demands New Foundations for Computing (Powerpoint presentation): Edward A. Lee, November 16-17, 2006, ARTIST2 Workshop on MoCC-Models of Computation and Communication, Zurich, Switzerland.
A Causality Interface for Deadlock Analysis in Dataflow (Powerpoint presentation): Ye Zhou and Edward A. Lee, October 22-25, 2006, 6th ACM & IEEE Conference on Embedded Software (EMSOFT '06), Seoul, Korea.
PTIDES: Programming Temporally Integrated Distributed Embedded Systems (Powerpoint presentation): Yang Zhao, Edward A. Lee, Jie Liu, October 2-4, 2006, 2006 IEEE 1588 Conference, Gaithersburg, MD.
Actor Networks (Powerpoint presentation): Edward A. Lee, October 26, 2006, Workshop Foundations and Applications of Component-based Design, Seoul, Korea.
Concurrent Semantics without the Notions of State or State Transitions (Powerpoint presentation): Edward A. Lee, September 26, 2006, FORMATS 2006: 4th International Conference on Formal Modelling and Analysis of Timed Systems, Paris, France.
Making Concurrency Mainstream (Powerpoint presentation): Edward A. Lee, August 27, 2006, CONCUR: Concurrency Theory & FMICS: Formal Methods for Industrial Critical Systems, Bonn, Germany.
Programming Temporally Integrated Distributed Embedded Systems (Powerpoint presentation): Yang Zhao, Edward A. Lee, Jie Liu, June 18-20, 2006, International Conference on Distributed Computing in Sensor Systems (DCOSS '06) , San Francisco, CA.
The Future of Embedded Software (Powerpoint presentation): Edward A. Lee, May 22-24, 2006, Artemis Annual Conference, Graz, Austria.
Building Unreliable Systems out of Reliable Components: The Real Time Story (Powerpoint presentation): Edward A. Lee, November 17, 2005, Shannon Lecture, IEEE-Computer Society, Silicon Valley Chapter, Stanford University, CA.
Building Unreliable Systems out of Reliable Components: The Real Time Story (Powerpoint presentation): Edward A. Lee, September 23-25, Monterey Workshop Series, Laguna Beach, CA.
Causality Interfaces and Compositional Causality Analysis: Edward A. Lee, Haiyang Zheng, Ye Zhou, August 21, 2005, Foundations of Interface Technologies (FIT), Satellite to CONCUR 2005, San Francisco, California, USA.
Discrete-Event Systems: Generalizing Metric Spaces and Fixed-Point Semantics (Powerpoint presentation): Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis and Haiyang Zheng, April 11, 2005, Center for Hybrid and Embedded Software Systems (CHESS) Review, Berkeley, California.
The Operational Semantics of Hybrid Systems (Powerpoint presentation): Edward A. Lee, March 9, 2005, Invited Plenary Talk, Hybrid Systems, Computation and Control (HSCC), Zurich, Switzerland.
Embedded Software: Building the Foundations (Powerpoint presentation): Edward A. Lee, February 10, 2005, BEARS Conference, Berkeley EECS Annual Research Symposium, Berkeley, CA.
Concurrent Computational Systems (Powerpoint presentation): Edward A. Lee, January 13, 2005, Distinguished Lecture Series, University of Arizona, Tucson, AZ.
Operational Semantics of Hybrid Systems (Powerpoint presentation): Edward A. Lee, November 16, 2004, Chess seminar, UC Berkeley, CA.
Actor-Oriented Design: A focus on domain-specific languages for embedded systems (Powerpoint presentation): Edward A. Lee, June 22-25, 2004, MEMOCODE 2004, San Diego, CA, USA.
Actor-Oriented Design: Concurrent Models as Programs (Powerpoint presentation): Edward A. Lee, May 13, 2004, Parc Forum, Parc, Palo Alto, CA, USA.
Actor-Oriented Design (Powerpoint presentation): Edward A. Lee, March 2, 2004, Chess Workshop, UC Berkeley.
An Overview of the Ptolemy Project and Actor-Oriented Design (powerpoint presentation): Edward A. Lee, February 4, 2004, OMG Technical Meeting, Anaheim, CA.
Hybrid System Modeling: Operational Semantics Issues (powerpoint presentation): Edward A. Lee, February 4, 2004, OMG Technical Meeting, Anaheim, CA.
Process-Based Software Components, Mobies Final Presentation (powerpoint presentation): Edward A. Lee and Tom Henzinger, January 21-23, 2004, PI Meeting, Savannah, GA.
Behavioral Types as Interface Definitions for Concurrent Components (Powerpoint presentation): Edward A. Lee, October 12, 2003, invited talk at NEXT TTA Workshop on the Specification of Linking Interfaces, Philadelphia, PA.
Are "Embedded Systems" Just Systems Made with Small Computers? (Powerpoint presentation): Edward A. Lee, October 11, 2003, invited talk, Artist International Collaboration Days, Education Day, in conjunction with EMSOFT, Philadelphia, PA.
Overview of Ptolemy II (Powerpoint presentation): Edward A. Lee, October 9, 2003, presented in course EE249 - Design of Embedded Systems: Models, Validation and Synthesis.
Embedded Software Challenges for the next 10 Years (Powerpoint presentation): Edward A. Lee, September 29-30, 2003, Infineon Embedded Software Days, Munich, Germany.
Design Languages in 2010 (Powerpoint presentation): Edward A. Lee, September 26, 2003, Panel Position Statement, Forum on Design Languages (FDL), Frankfurt, Germany.
Model-Driven Development, From Object-Oriented Design to Actor -Oriented Design (Powerpoint presentation): Edward A. Lee, September 24, 2003, Workshop on Software Engineering for Embedded Systems From Requirements to Implementation, a.k.a., The Monterey Workshop, Chicago, IL.
Streaming Models of Computation in the Ptolemy Project (Powerpoint presentation): Edward A. Lee, August 22-23, 2003, Workshop on Streaming Systems, Endicott House, Dedham, MA.
Model-Based Design in the Ptolemy Project (Powerpoint presentation): Edward A. Lee, July 31, 2003, A Chess project presented at Boeing, Seattle.
Process-Based Software Components, Mobies Phase 1 (powerpoint presentation): Edward A. Lee and Tom Henzinger, July 29-31, 2003, PI Meeting, Seattle, WA.
MobiesEthereal Sting OEP; The Ptolemy II Experiment (Powerpoint presentation): Edward A. Lee, June 10, 2003, Ethereal Sting Working Group Meeting, Arlington, VA.
Re-Architecting System Science in Engineering Education (Powerpoint presentation): Edward A. Lee, March 1, 2003, Curriculum Council Kickoff Meeting, UC Berkeley.
Center for Hybrid and Embedded Software Systems (Powerpoint presentation): Edward A. Lee, February 27, 2003, Citris Founding Corporate Members Meeting, Davis, California.
A New System Science in Research and Education (Powerpoint presentation): Edward A. Lee, November 14th, 2002, CHESS kickoff, University of California, Berkeley, CA.
Advanced Tool Architectures Supporting Interface-Based Design (Powerpoint presentation): Edward A. Lee, November 14th, 2002, CHESS kickoff, University of California, Berkeley, CA.
Behavioral Types for Actor-Oriented Design (Powerpoint presentation): Edward A. Lee (with Yuhong Xiong), Nov. 6-8, 2002, invited talk, FMCAD, Fourth International Conferences on Formal Methods in Computer-Aided Design, Portland, OR.
Integrated Safety Envelopes; Built-in Restrictions of Navigable Airspace (Powerpoint presentation): Edward A. Lee, Sept. 19-20, 2002, NSF/OSTP Workshop on Information Technology Research for Critical Infrastructure Protection, Lansdowne, VA.
Process-Based Software Components, Mobies Phase I (Powerpoint presentation): Edward A. Lee and Tom Henzinger, July 24, 2002, PI Meeting, New York.
March 12, 2002 MoBIES Review, Berkeley, CA
Preventing the use of Commercial Aircraft as a Weapon (Powerpoint presentation): Edward A. Lee with Xiaojun Liu, Adam Cataldo, February 8, 2002,Institute of Transportation Studies Seminar, University of California, Berkeley.
Process-Based Software Components, Mobies Phase 1 (Powerpoint presentation): Edward Lee and Tom Henzinger, January 30, 2002, PI Meeting, Boca Raton, FL.
Concurrent Component Patterns, Models of Computation, and Types ( Powerpoint presentation): Edward Lee and Yuhong Xiong, Fourth Annual Workshop on New Directions in Software Technology (NDIST’01), St. John, US Virgin Islands, December 2001.
Integrated Design and Analysis Tools for Software Based Control Systems ( Powerpoint presentation): Edward Lee, Jie Liu, and John Koo, SEC PI Meeting, San Antonio, November 13-15, 2001.
System-Level Types for Component-Based Design ( Powerpoint presentation): Edward Lee and Yuhong Xiong, EMSOFT, Lake Tahoe, October 2001.
Ptolemy II, the automotive challenge problems, version 4.1 (Powerpoint presentation): Johan Eker and Edward Lee, MoBIES working group meeting, September 27-28, 2001, Dearborn.
Controller Design Using Multiple Models of Computation (Powerpoint presentation): Edward Lee and Johan Eker, MoBIES PI-Meeting, 16-18 July 2001, Jackson Hole.
Model-Based Approaches to Embedded Software Design (Powerpoint presentation): Edward A. Lee, SRC ETAB Summer Study, Colorado Springs, June 25-26, 2001.
Embedded Software from Concurrent Component Models (Powerpoint presentation): Edward A. Lee, Shuvra Bhattacharyya, Johan Eker, Christopher Hylands, Jie Liu, Xiaojun Liu, Steve Neuendorffer, Jeff Tsay, and Yuhong Xiong, ACM SIGPLAN 2001 Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES ' 2001), Snowbird, Utah, USA.
Computing for Embedded Systems (Powerpoint presentation): State of the Art Lecture, Edward A. Lee, IEEE Instrumentation and Measurement Technology Conference, Budapest, Hungary, May 21-23, 2001.
Modeling Heterogeneous Systems (Powerpoint presentation): Plenary talk, Edward A. Lee, Design for Safety Workshop, NASA Ames Research Center, Mountain View, CA, October 11, 2000.
Concurrent Models of Computation in System-Level Design (Powerpoint presentation)): Plenary talk, Edward A. Lee, Forum on Design Languages (FDL), Tubingen, Germany, September 7, 2000.
The Gigascale Silicon Research Center (Powerpoint presentation): Report on the GSRC Semantics Project, Edward A. Lee, Forum on Design Languages (FDL), Tubingen, Germany, September 6, 2000.
Discrete-Event Modeling and Design of Embedded Software (Powerpoint presentation): Plenary talk, Workshop on Discrete Event Systems, WODES 2000, Ghent, Belgium, 21-23 August, 2000.