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):
- A demonstration that determinism is incomplete.
See "Fundamental Limits of Cyber-Physical Systems Modeling" (2016).
- An understanding of how the role of models differs in engineering and science.
See "The Past, Present and Future of Cyber-Physical Systems: A Focus on Models" (2015).
- A family of processor architectures that deliver repeatable timing.
See PRET and papers on computer architecture.
- A deterministic programming model for distributed real-time systems.
See PTIDES and papers on real time.
- Rigorous semantics for hybrid systems, which mix discrete and continuous dynamics.
See papers on hybrid systems.
- Mathematical models for concurrent and timed systems.
See papers on semantics.
- Open-source software for modeling and design of cyber-physical systems and the Internet of Things.
See Accessors, Ptolemy, and papers on software.
- Dataflow models for signal processing and parallel computation.
See papers on dataflow.
- Techniques for the engineering of complex systems.
See papers on systems engineering.
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.