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

Birgit Charlotte van Huijgevoort

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

106 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Electrical Engineering
Begeleider(s)/adviseur	Weiland, Siep, Promotor Haesaert, Sofie, Co-Promotor
Datum van toekenning	10 nov. 2023
Plaats van publicatie	Eindhoven
Uitgever	Eindhoven University of Technology
Gedrukte ISBN's	978-90-386-5864-3
Status	Gepubliceerd - 10 nov. 2023

Proefschrift.

Toegang tot 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",

}