LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems

LSAT (Logistics Specification and Analysis Tool) is a tool for rapid design-space exploration of supervisory controllers that steer the product logistics and orchestrate the behavior in flexible manufacturing systems. LSAT enables lightweight modeling of system resources, system behavior, and timing characteristics. The tool provides various visualizations to explore the controlled system behavior and analysis and optimization techniques to improve the system performance. Compared to existing approaches, LSAT provides concise modeling using languages tailored towards the application domain, with domain concepts are elements of the language. LSAT provides efficient performance analysis by exploiting the structure of the models. In this paper, we describe the rationale for developing LSAT and position it with respect to other performance modeling and analysis tools. We illustrate the benefits of LSAT with an example system.