Reactive Protocols for Aircraft Electric Power Distribution

From Murray Wiki
Jump to navigationJump to search

Huan Xu, Ufuk Topcu, and Richard M. Murray
2012 Conference on Decision and Control (CDC)

The increasing complexity of electric power sys- tems leads to integration and verification challenges. We consider the problem of designing a control protocol for the aircraft electric power system that meets these system requirements and reacts dynamically to changes in internal system states. We formalize these requirements by translating them into a temporal logic specification language describing the correct behaviors of the system, and apply formal methods to automatically synthesize a controller protocol that satisfies these overall properties and requirements. Through an example, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures.