News

08.03.2015

New course on formal synthesis of embedded systems!

From summer semester 2015, HCS offers a new course on formal synthesis of embedded systems. Look at this link for more information.[more]

03.07.2014

Tutorial on "Automotive Cyber-Physical Systems" at RTCSA'14!

Look at the tutorial link for more information.[more]

01.05.2014

The Hybrid Control Systems Group was established!

The Hybrid Control Systems Group was established as of 1 May 2014.[more]

<< First < Previous 1-10 11-14 Next > Last >>