Author:
Fokkink W. J.,Goorden M. A.,Hendriks D.,van Beek D. A.,Hofkamp A. T.,Reijnen F. F. H.,Etman L. F. P.,Moormann L.,van de Mortel-Fronczak J. M.,Reniers M. A.,Rooda J. E.,van der Sanden L. J.,Schiffelers R. R. H.,Thuijsman S. B.,Verbakel J. J.,Vogel J. A.
Abstract
AbstractThe Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project’s open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijkswaterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.
Publisher
Springer Nature Switzerland
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献