Monitoring and verification of event-driven transportation systems in discrete manufacturing

Reliable, yet flexible operation of manufacturing systems is important for efficient and economically viable production. Model-based analysis and verification methods are becoming increasingly important to achieve such an operation. In this work, we outline a model-based approach to monitor and verify transportation systems commonly employed in discrete manufacturing. To provide guaranteed verification and monitoring results despite uncertainties and the event-driven nature of the considered transportation systems, we combine tailored first principle models with suitable set-based feasibility formulations. Simulation examples and results from an industrial test plant underline the performance and real-time capability of the presented approach.