Abstract | ||
---|---|---|
We consider the problem of designing a control protocol for the aircraft electric power system that meets 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 system properties and requirements. Through an example, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/CDC.2012.6426175 | CDC |
Keywords | Field | DocType |
reactive control protocols,protocols,centralized control architectures,distributed control architectures,internal system states,aircraft electric power system,temporal logic specification language,aircraft electric power distribution,aircraft power systems | Specification language,Control theory,Computer science,Electric power distribution,Electric power system,Control engineering,Temporal logic,Formal methods,System requirements,Design exploration | Conference |
ISSN | ISBN | Citations |
0743-1546 E-ISBN : 978-1-4673-2064-1 | 978-1-4673-2064-1 | 9 |
PageRank | References | Authors |
1.03 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Huan Xu | 1 | 125 | 10.44 |
Ufuk Topcu | 2 | 1032 | 115.78 |
Richard M. Murray | 3 | 12322 | 1223.70 |