Browse wiki

From MurrayWiki
Jump to: navigation, search
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed
Abstract Modern aircraft increasing rely on electri
Modern aircraft increasing rely on electric power, resulting in high safety-criticality and complexity in their electric power generation and distribution systems. Moti- vated by the resulting rapid increase in the costs and duration of the design cycles for such systems, we investigate the use of formal specification and automated, correct-by-construction control protocols synthesis for primary distribution in vehicular electric power networks. We discuss a design workflow that aims to transition from the traditional “design+verify” approach to a “specify+synthesize” approach. We give an overview of a subset of the recent advances in the synthesis of reactive control proto- cols. We apply these techniques in the context of reconfiguration of the networks in reaction to the changes in their operating environment. We also validate these automatically synthesized control protocols on high-fidelity simulation models and on an academic-scale hardware testbed.
and on an academic-scale hardware testbed.  +
Authors Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray  +
Funding ICyPhy: Industrial Cyber-Physical Systems +
ID 2013f  +
Source Submitted, AIAA J. Aerospace Information Systems (Aug 2013)  +
Tag rog+13-aiaa  +
Title Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed +
Type Journal Submission  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:20  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/rog+13-aiaa_s.pdf  +
hide properties that link here 
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed + Title
 

 

Enter the name of the page to start browsing from.