- document
-
Angga Irawan, Angga (author)Controller synthesis techniques based on symbolic models or discrete abstractions are becoming increasingly attractive as they allow for synthesizing correct-by-design controllers of general nonlinear systems under complex behavioral requirements. However, its immense size as the consequence of the state-space explosion prohibits the approach to...master thesis 2018