Monitoring and verification of event-driven transportation systems in discrete manufacturing
2020 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA)(2020)
摘要
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.
更多查看译文
关键词
event-driven transportation systems,discrete manufacturing,flexible operation,manufacturing systems,efficient production,economically viable production,verification methods,model-based approach,guaranteed verification,event-driven nature,transportation systems,principle models,set-based feasibility formulations
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要