A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Semi-automatic controller design of Java-like models
2013
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP '13
Controller synthesis consists in automatically generating a controller to restrict a hardware or software system so that it respects given requirements, for instance safety properties. Existing synthesis tools for discrete event systems mainly solve the problem for systems described in low-level formalisms. Controller synthesis, however, is not used in most industrial engineering processes. Barriers to wider adoption are the complexity of formally expressing the system and its requirements, the
doi:10.1145/2489804.2489806
dblp:conf/ecoop/ZhangBHT13
fatcat:67sxf467yjbczcn2ucpwg5waru