MAP |

About the Research of Edward A. Lee

My research centers on the role of models, particularly deterministic models, in the engineering of cyber-physical systems. I consider my most significant research contributions to be (roughly in reverse chronological order):

You can find a reasonably up-to-date overview video in my keynote talk at MODELS 2016, where I lay out my central position on the importance of determinism in modeling. My recent book, Plato and the Nerd (MIT Press, Fall 2017), provides an accessible view of the philosophical underpinnings of my work. I have also written a number of textbooks. Other resources include a complete list of publications and a list of selected publications organized by topic. If you want to read just one paper, a reasonable choice is "The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models," Sensors, 2015. See also my academic biographical summary or my complete CV.

Third Person Summary

Professor Lee's research group studies cyber-physical systems, which integrate physical dynamics with software and networks. Specifically, his group has made major contributions in models of computation with time and concurrency, model-based design and analysis, domain-specific languages, architectures and software for real-time computing, schedulability analysis, and modeling and programming of distributed real-time systems. His group has been involved with parallel and distributed computing, including models of computation with distributed real-time behaviors, partitioning and scheduling algorithms, backtracking techniques for fault tolerance and recovery, dataflow models of computation, and modeling of sensor networks. His group has made key contributions in semantics of timed and concurrent systems, including semantics for hybrid systems, semantics for discrete-event and dataflow models, domain polymorphism, behavioral type systems, metamodeling of semantics, and comparative models of computation. His group has also pioneered methods for blending computing with continuous dynamics and hybrid systems. Prof. Lee himself has an extensive background in signal processing and physical-layer communication systems, and has co-authored five books on these subjects, in addition to four books on embedded systems technologies.