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

Zhengkui Zhang

doi:10.5278/vbn.phd.engsci.00085

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

Zhengkui Zhang

Research output: PhD thesis

314 Downloads (Pure)

Original language	English
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7112-852-9
DOIs	https://doi.org/10.5278/vbn.phd.engsci.00085
Publication status	Published - 2016

Bibliographical note

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

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

Access to Document

10.5278/vbn.phd.engsci.00085

PHD_Zhengkui_Zhang_E-pdfFinal published version, 2.45 MB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@misc{6a61e8d72d414eb4afbb03b0cd611031,

title = "Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis",

author = "Zhengkui Zhang",

note = "PhD supervisor: Prof. Kim Guldstand Larsen, Aalborg University, Denmark Assistant PhD supervisor: Assoc. Prof. Brian Nilsen, Aalborg University, Denmark",

year = "2016",

doi = "10.5278/vbn.phd.engsci.00085",

language = "English",

series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}

TY - GEN

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

AU - Zhang, Zhengkui

N1 - PhD supervisor: Prof. Kim Guldstand Larsen, Aalborg University, Denmark Assistant PhD supervisor: Assoc. Prof. Brian Nilsen, Aalborg University, Denmark

PY - 2016

Y1 - 2016

U2 - 10.5278/vbn.phd.engsci.00085

DO - 10.5278/vbn.phd.engsci.00085

M3 - PhD thesis

T3 - Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -