The Power of Tools: Modeling and Analysis of Cyber-Physical Systems Via Timed Automata Extensions

Research output: PhD thesis (Degree Awarded)

6 Downloads (Pure)

Original language	English
Supervisors	Nyman, Ulrik, Principal supervisor Larsen, Kim Guldstrand, Co-supervisor
Publisher	Aalborg University Open Publishing
Electronic ISBNs	97887-7642-288-2
DOIs	https://doi.org/10.54337/aau853827819
Publication status	Published - 2026

Access to Document

@misc{5868572562524ca597c126a340b6a672,

title = "The Power of Tools: Modeling and Analysis of Cyber-Physical Systems Via Timed Automata Extensions",

author = "Martin Kristjansen",

year = "2026",

doi = "10.54337/aau853827819",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg University Open Publishing",

}

TY - GEN

T1 - The Power of Tools

T2 - Modeling and Analysis of Cyber-Physical Systems Via Timed Automata Extensions

AU - Kristjansen, Martin

PY - 2026

Y1 - 2026

U2 - 10.54337/aau853827819

DO - 10.54337/aau853827819

M3 - PhD thesis (Degree Awarded)

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg University Open Publishing

ER -