We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that closed-loop fulfills an arbitrary Linear Temporal Logic specification. Moreover, specification may take into account logical context switches induced by external environ...

The design of embedded controllers is about developing control algorithms and their implementation satisfying tight constraints on performance and cost. To reduce design time and implementation cost, we propose a methodology based on the principles of platform-based design. The design process is decomposed into a sequence of steps that involve different levels of abstraction (platforms) related...

7 Stochastic control design chooses the controller that makes the closed-loop behavior as close as possible to the desired one. The fully probabilistic design describes both the closed loop and its desired behavior in probabilistic terms and uses Kullback–Leibler divergence as 9 their proximity measure. This approach: (i) unifies stochastic control design methodology; (ii) provides explicit min...

Stochastic control design techniques found in the chemical process control literature generally focus on the reduction of state or output variance to improve process operation. Most of these techniques address the problem of minimizing a quadratic cost function subject to linear process dynamics. In these cases, a linear feedback control law results and the disturbance, state and output PDF’s a...

In this thesis a modular code skeleton for combining Variable Message Signs (VMS) and Adaptive Cruise Control (ACC) as a combined system are being presented. Basic control theory for the two control types are given with corresponding pseudo code. Also simulation with the different controllers are compared and discussed. Finally some tips and tricks regarding the simulation software VISSIM are g...