Browse wiki
From MurrayWiki
Reactive Protocols for Aircraft Electric Power Distribution |
Abstract |
The increasing complexity of electric powe … 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. zed and distributed control architectures. +
|
---|---|
Authors | Huan Xu, Ufuk Topcu, and Richard M. Murray + |
Funding | Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + |
ID | 2012g + |
Source | 2012 Conference on Decision and Control (CDC) + |
Tag | xtm12-cdc + |
Title | Reactive Protocols for Aircraft Electric Power Distribution + |
Type | Conference Paper + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
15 May 2016 06:15:47 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/xtm12-cdc_s.pdf + |
hide properties that link here |
Reactive Protocols for Aircraft Electric Power Distribution + | Title |
---|