Supervision of Discrete Event Systems Based on Temporal Logic Specifications
Title: | Supervision of Discrete Event Systems Based on Temporal Logic Specifications |
---|---|
Kind : | PhD Theses |
Published In: | Ph.D. Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, September |
Year : | 2013 |
Authors : |
Bruno Lacerda |
Lab : | Intelligent Robots and Systems Group (IRSg) |
File : | Open File |