View source for Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed

{{HTDB paper
| authors = Robert Rogersten, Huan Xu,  Necmiye Ozay, Ufuk Topcu and Richard M. Murray
| title = Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed
| source = Submitted, AIAA J. Aerospace Information Systems (Aug 2013)
| year = 2013
| type = Journal Submission
| funding = MuSyC, iCyPhy
| url = http://www.cds.caltech.edu/~murray/preprints/rog+13-aiaa_s.pdf
| abstract = 
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.

| flags = 
| filetype = PDF
| filesize = 3823K
| tag = rog+13-aiaa
| id = 2013f
}}