Numerical Methods for Decision-Making in Control from Hybrid Systems to Formal Specifications

Open access
Author
Date
2018-06Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000259120Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZurichOrganisational unit
02650 - Institut für Automatik / Automatic Control Laboratory
More
Show all metadata
ETH Bibliography
yes
Altmetrics