Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

Huan Xu, Ufuk Topcu, Richard M. Murray
2015 IEEE Transactions on Control of Network Systems  
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
more » ... lly 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. Index Terms-Aerospace and electronic systems, control system synthesis, control systems.
doi:10.1109/tcns.2015.2401174 fatcat:yghzmwni6bcelag3b6n7hu4cim