Optimizing CPS behavior in terms of energy consumption can have a significant impact on system reliability. The environment influences the system's behavior, and neglecting the environmental behavior has an indirect negative impact on optimizing the system's behavior. In this work, to increase the system's flexibility, the behavior of the environment is modeled dynamically to apply the disorderliness of its behavior. The resulting models are formally verified. By examining the past environmental behavior and predicting its future behavior, energy optimization is done more dynamically. The verification results acquired using a UPPAAL-SMC show that the optimization of system behavior by predicting the environmental behavior has been successful. Our approach is demonstrated using a case study within an I4 setting.
翻译:在能源消耗方面优化CPS行为可以对系统可靠性产生重大影响。环境影响系统的行为,忽视环境行为会对优化系统的行为产生间接的负面影响。在这项工作中,为了提高系统的灵活性,环境行为是动态模型,以应用其行为的无序性。由此产生的模型得到正式验证。通过审查过去的环境行为并预测其未来行为,能源优化可以更动态地进行。使用UPPAAL-SMC的核查结果显示,通过预测环境行为来优化系统行为是成功的。我们的方法是通过在I4设置内进行案例研究来证明的。