News

01.03.2018

DFG project on "Information measures for control: Invariance and reachability"!

The HCS group got granted a DFG project on "Information measures for control: Invariance and reachability"!

08.02.2018

The HCS group has been selected by Intel® to participate in the Intel Hardware Accelerator Research Program!

The HCS group has been selected by Intel® to participate in the Intel Hardware Accelerator Research Program! Automated synthesis of controllers to the next level! [more]

21.12.2017

Three papers from the HCS group got accepted at HSCC'18!

Three papers from the HCS group got accepted at the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018)![more]

07.12.2017

A. Swikir is a finalist for the Best Student Paper Award at IEEE ICC!

A. Swikir is one of the top four finalists for the Best Student Paper Award at IEEE Indian Control Conference! The best student paper award will be announced during the conference in January 2018![more]

24.03.2017

Dagstuhl Seminar on "Formal Synthesis of Cyber-Physical Systems"!

Our Dagstuhl seminar, entitled "Formal Synthesis of Cyber-Physical Systems", will take place from May 14 till 19, 2017, in Dagstuhl, Germany. The detailed program will be posted later here.[more]

24.03.2017

New tool on the synthesis of symbolic controllers!

Our new tool, called "QUEST", on the synthesis of symbolic controllers without state-space discretization is publicly available! You can download the tool from the following link.[more]

11.11.2016

New tool on the synthesis of symbolic controllers for networked control systems!

Our new tool, called "SENSE", on the synthesis of symbolic controllers for networked control systems is publicly available! You can download the tool from the following link. [more]

09.02.2016

New tool on the synthesis of symbolic controllers!

Our new tool, called "SCOTS", on the synthesis of symbolic controllers is publicly available! You can download the tool from the following link. [more]

26.11.2015

Tutorial on "Trustworthy Cyber-Physical Systems"!

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

16.10.2015

IGSSE project on "Platform-Aware Synthesis of Embedded Control Software"

Our IGSSE project on "Platform-Aware Synthesis of Embedded Control Software" got granted! Look at the following link for more information.[more]

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