Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

Zhengkui Zhang

Research output: Book/ReportPh.D. thesis

215 Downloads (Pure)
Original languageEnglish
PublisherAalborg Universitetsforlag
Number of pages146
ISBN (Electronic)978-87-7112-852-9
Publication statusPublished - 2016
SeriesPh.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

Bibliographical note

PhD supervisor:
Prof. Kim Guldstand Larsen, Aalborg University, Denmark

Assistant PhD supervisor:
Assoc. Prof. Brian Nilsen, Aalborg University, Denmark

Cite this