Our CDC'15 workshop, entitled "Towards Scalable Formal Synthesis of Complex Systems", will take place on December 14, 2015, in Osaka, Japan. The detailed program will be posted later.
Our DFG proposal on "Automated Synthesis of Networked Control Systems" got granted!
From summer semester 2015, HCS offers a new course on formal synthesis of embedded systems. Look at this link for more information.
Look at the following link for more information.
Look at the tutorial link for more information.
The Hybrid Control Systems Group was established as of 1 May 2014.