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

Zhengkui Zhang

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

111 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider146
ISBN (Elektronisk)978-87-7112-852-9
DOI
StatusUdgivet - 2016
NavnPh.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet
ISSN2246-1248

Bibliografisk note

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

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

Emneord

    Citer dette

    Zhang, Z. (2016). Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis. Aalborg Universitetsforlag. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet https://doi.org/10.5278/vbn.phd.engsci.00085
    Zhang, Zhengkui. / Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis. Aalborg Universitetsforlag, 2016. 146 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).
    @phdthesis{6a61e8d72d414eb4afbb03b0cd611031,
    title = "Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis",
    keywords = "Timed Automata, Model Checking, Scheduling, Distributed Algorithms",
    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",
    publisher = "Aalborg Universitetsforlag",

    }

    Zhang, Z 2016, Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis. Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet, Aalborg Universitetsforlag. https://doi.org/10.5278/vbn.phd.engsci.00085

    Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis. / Zhang, Zhengkui.

    Aalborg Universitetsforlag, 2016. 146 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    TY - BOOK

    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

    KW - Timed Automata

    KW - Model Checking

    KW - Scheduling

    KW - Distributed Algorithms

    U2 - 10.5278/vbn.phd.engsci.00085

    DO - 10.5278/vbn.phd.engsci.00085

    M3 - Ph.D. thesis

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

    PB - Aalborg Universitetsforlag

    ER -

    Zhang Z. Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis. Aalborg Universitetsforlag, 2016. 146 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet). https://doi.org/10.5278/vbn.phd.engsci.00085