Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
复制标题
飞机配电反应式协议的规范和综合
DOI：
--
复制
发表时间：
2015
影响因子：
4.2
通讯作者：
R. Murray
中科院分区：
文献类型：
--
作者：
Huan Xu;U. Topcu;R. Murray
随着电力系统复杂性的不断提高，对电力系统的集成和验证提出了新的挑战。我们考虑的问题，设计一个控制协议的飞机电力系统，满足一组要求，描述正确的行为的系统和动态反应的内部系统状态的变化。我们正式的要求，通过将它们转换成一个时序逻辑规范语言，并应用基于游戏的，时序逻辑的形式化方法来自动合成一个控制器协议，满足这些整体性能和要求。通过案例研究，我们进行了设计探索，集中式和分布式控制架构之间的优势和权衡。
The increasing complexity of electric power systems leads to challenges in integration and verification. We consider the problem of designing a control protocol for an aircraft electric power system that meets a set of requirements describing the correct behaviors of the system and reacts dynamically to changes in internal system states. We formalize the requirements by translating them into a temporal logic specification language and apply game-based, temporal logic formal methods to automatically synthesize a controller protocol that satisfies these overall properties and requirements. Through a case study, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures.