基于模糊控制器的DEVS形式化中状态生命周期的规范

本文旨在开发一种新方法，通过模糊控制器来评估DEVS形式化中状态的持续时间。其思想是定义一组从观察者或专家知识中获得的模糊规则，并指定一个计算该持续时间的模糊模型，该持续时间随后被输入模拟器以指定模型中的新值。在传统模型中，每个状态由一个平均生命周期值定义，而我们的方法根据输入值为每个状态计算新的生命周期。本文末尾给出了一个野火案例研究。由于其复杂行为、动态天气条件和涉及的各种变量，这是一项具有挑战性的任务。在DEVS形式化中给出了模糊控制器和森林火灾模型的全局规范，并展示了传统方法与模糊方法的比较。