This document describes an algorithm-based simulation approach for modeling and controlling flexible production systems. The approach models both the physical production system and the control system to evaluate their integrated performance. Key features include:
1) The approach integrates control system design into the physical simulation to evaluate their combined impact.
2) The algorithm-based design is extensible and allows modeling of different control programs and production system designs.
3) Finite automata formalism provides a mathematical foundation for logical and quantitative analysis of the system.
4) The framework facilitates robust controller models that can resolve issues like deadlocks and accommodate failures.
5) Analysts can evaluate how different control programs and production system designs impact