果冻传媒

The AMC lab contains the infrastructure for verifying and demonstrating applied research and/or fundamental research for real-world problems. Research topics are, amongst others, vehicle control, model predictive control, distributed optimization, formal testing of algorithms, formal methods for stochastic and/or uncertain dynamic environments, (nonlinear) identification and machine learning.