Controller synthesis Controllers 14 Software engineering 12 Adaptive control systems 10 Adaptive systems 10 Adaptive Systems 4 Behaviour models 4 Continuous operation 4 Controller Synthesis 4 Correctness criterion 4 Dynamic update 4 Graceful degradation 4 Progressive enhancement 4 Runtimes 4 System requirements 4 controller synthesis 4 Accident prevention 2 Application programs 2 Architecture models 2 Artificial intelligence 2 Automata theory 2 Automated control 2 Behaviour modelling 2 Business 2 Complexity class 2 Control system synthesis 2 Control systems 2 Control theory 2 Discrete event controllers 2 Domain model 2