Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

186 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Electrical Engineering
Supervisors/Advisors	Weiland, Siep, Promotor Haesaert, Sofie, Copromotor
Award date	10 Nov 2023
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Print ISBNs	978-90-386-5864-3
Publication status	Published - 10 Nov 2023

Proefschrift.

Access to Document

@phdthesis{7ed411d426e44ea38a7ffb88281e05ac,

title = "Automatic Control Synthesis with Temporal Logic Requirements: Stochastic, Uncertain, and Nonlinear Systems",

author = "\{van Huijgevoort\}, \{Birgit Charlotte\}",

note = "Proefschrift.",

year = "2023",

month = nov,

day = "10",

language = "English",

isbn = "978-90-386-5864-3",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Electrical Engineering",

}