https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=Reactive_Protocols_for_Aircraft_Electric_Power_Distribution 2026-09-06T17:47:16Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=Reactive_Protocols_for_Aircraft_Electric_Power_Distribution&diff=19736&oldid=prev 2016-05-15T06:15:47Z

<p>htdb2wiki: creating page for 2012g_xtm12-cdc.html</p> <p><b>New page</b></p><div>{{HTDB paper<br /> | authors = Huan Xu, Ufuk Topcu, and Richard M. Murray<br /> | title = Reactive Protocols for Aircraft Electric Power Distribution<br /> | source = 2012 Conference on Decision and Control (CDC)<br /> | year = 2012<br /> | type = Conference Paper<br /> | funding = MuSyC, Boeing<br /> | url = http://www.cds.caltech.edu/~murray/preprints/xtm12-cdc_s.pdf<br /> | abstract = <br /> 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.<br /> | flags = <br /> | tag = xtm12-cdc<br /> | id = 2012g<br /> }}</div>

Murray