Supervisory control is an important aspect in high-precision equipment, to coordinate subsystem actions such that the functional requirements are satisfied, and the productivity is optimized. In this presentation we introduce LSAT, a tool to specify supervisory controllers and to analyze their performance. Special focus will be on a newly developed engine, that automatically executes LSAT specifications on a target platform, thereby relieving developers from the manual, laborious and error-prone implementation step of these controllers. LSAT is used in a number of companies in the Netherlands to specify supervisor behavior, to perform mechanical layout analysis and to optimize throughput.
- 14:30-14:55
- Arena