Title | ||
---|---|---|
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/TCNS.2015.2401174 | IEEE Trans. Control of Network Systems |
Keywords | Field | DocType |
generators,control systems,contactors,power systems,temporal logic,protocols | Specification language,Control theory,Control theory,Electric power distribution,Electric power system,Contactor,Control engineering,Temporal logic,Formal methods,Design exploration,Mathematics | Journal |
Volume | Issue | ISSN |
PP | 99 | 2325-5870 |
Citations | PageRank | References |
1 | 0.41 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Huan Xu | 1 | 125 | 10.44 |
Ufuk Topcu | 2 | 1032 | 115.78 |
Richard M. Murray | 3 | 12322 | 1223.70 |