Synthesis of supervisors for timed systems via region automata

  • K.S. Duisters

Student thesis: Master

Date of Award31 Jan 2015
Original languageEnglish
SupervisorD.A. (Bert) van Beek (Supervisor 1), Wan J. Fokkink (Supervisor 2) & J.H. Jacobs (External coach)

Cite this

'