A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)
2017
Dagstuhl Reports
Preserved Fulltext
This report documents the program and the outcomes of Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems." Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and from computer science to discuss the state-of-the-art and current challenges in the field.
doi:10.4230/dagrep.7.5.84
dblp:journals/dagstuhl-reports/BeltaMZR17
fatcat:dztnkkozqng47hyneovjb6c3p4