PhD Theses

Supervision of Discrete Event Systems Based on Temporal Logic Specifications

Ph.D. Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, September