Browse wiki

From MurrayWiki
Jump to: navigation, search
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
Abstract he increasing complexity of electric power …
he 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.
zed and distributed control architectures.  +
Authors Huan Xu, Ufuk Topcu, and Richard M. Murray  +
Funding ICyPhy: Industrial Cyber-Physical Systems +
ID 2013m  +
Source Submitted, IEEE T. Control of Networked Systems (14 Nov 2013)  +
Tag xtm13-tcns  +
Title Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution +
Type Journal submission  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:03  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/xtm13-tcns_s.pdf  +
hide properties that link here 
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution + Title
 

 

Enter the name of the page to start browsing from.