• 14:30-14:55
  • Arena

Supervisory controller specification, analysis and synthesis with the LSAT tool

  • Alireza Mohammadkhani
  • Eindhoven University of Technology

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.