PhD Theses

Hierarchies and Compositional Abstractions of Hybrid Systems

PhD Thesis, Instituto Superior Tecnico, Portugal