News

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]

30.07.2015

CDC'15 workshop on formal synthesis!

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.[more]

07.07.2015

DFG project on "Automated Synthesis of Networked Control Systems"

Our DFG proposal on "Automated Synthesis of Networked Control Systems" got granted![more]

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]

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