Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur
Thao Dang
Joel M. Esposito
Rafael B. Fierro
Yerang Hur
Vijay Kumar
Insup Lee
Pradyumna Mishra
George J. Pappas
Oleg Sokolsky
EMSOFT(2001), pp. 14-31
Abstract
Research Areas
Learn more about how we conduct our research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work.
Our research philosophy![Philosophy-light-banner](https://storage.googleapis.com/gweb-research2023-media/images/Philosophy-light-banner.original.jpg)