Eclipse ESCET

The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project provides a model-driven and computer-aided approach and toolkit for the development of supervisory controllers. It enables a synthesis-based engineering approach to efficiently and cost-effectively design and implement correct-by-construction controllers.