Modeling and analysis of hybrid systems
Franjo Ivančić, Rajeev Alur · 2003
First, and foremost, I want to thank my advisor Professor Rajeev Alur. His knowl-edge and constant guidance have helped me a long way towards completing this thesis. I would also like to thank Professor Insup Lee for chairing my thesis com-mittee, and Professors Vijay Kumar, George Pappas, and Bruce Krogh from the Carnegie-Mellon University for accepting to be members on my thesis committee. Many thanks go out to Professor Oleg Sokolsky as well. In addition, I would like to thank the whole CIS department for making Penn such a fruitful experience to me. Special thanks go out to Mike Felker who was always helpful. During my time at Penn, I have collaborated with many researchers from the CIS department, as well as other departments of Penn, but also with members of other research organizations. Most importantly, I would like to thank Thao Dang, without whom most of this work would not have been implementable, and who also became a very close friend of mine in the process. Additionally, I would like to thank Eric Aaron, Calin Belta, Ansgar Fehnker, and Jesung Kim for various contributions to my research that is presented in this thesis. I also want to thank Maria Adamou, Dimos