Browse wiki

From MurrayWiki
Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.