CaltechAUTHORS
  A Caltech Library Service

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed

Rogersten, Robert and Xu, Huan and Ozay, Necmiye and Topcu, Ufuk and Murray, Richard M. (2014) Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. Journal of Aerospace Information Systems, 11 (10). pp. 665-678. ISSN 1940-3151. https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257

Abstract

Modern aircraft increasingly rely on electric power, resulting in high safety criticality and complexity in their electric power generation and distribution systems. Motivated by the resulting rapid increase in the costs and duration of the design cycles for such systems, the use of formal specification and automated correct-by-construction control protocols synthesis for primary distribution in vehicular electric power networks is investigated. A design workflow is discussed that aims to transition from the traditional “design and verify” approach to a “specify and synthesize” approach. An overview is given of a subset of the recent advances in the synthesis of reactive control protocols. These techniques are applied in the context of reconfiguration of the networks in reaction to the changes in their operating environment. These automatically synthesized control protocols are also validated on high-fidelity simulation models and on an academic-scale hardware testbed.


Item Type:Article
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.2514/1.I010167DOIArticle
http://arc.aiaa.org/doi/abs/10.2514/1.I010167PublisherArticle
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2014 by Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Published by the American Institute of Aeronautics and Astronautics, Inc., Received 15 August 2013; revision received 6 February 2014; accepted for publication 10 February 2014; published online 3 July 2014. L. Long Associate Editor. The authors wish to acknowledge the funding from the Industrial Cyber-Physical Systems Center and the U.S. Air Force Office of Scientific Research (award FA9550-12-1-0302), and they thank Rich Poisson from United Technologies Aerospace Systems for helpful discussions about the development of the hardware testbed.
Funders:
Funding AgencyGrant Number
Industrial Cyber-Physical Systems CenterUNSPECIFIED
Air Force Office of Scientific Research (AFOSR)FA9550-12-1-0302
Issue or Number:10
Record Number:CaltechAUTHORS:20150202-112319257
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257
Official Citation:Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray Journal of Aerospace Information Systems 2014 11:10 , 665-678
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:54298
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:03 Feb 2015 21:32
Last Modified:03 Oct 2019 07:56

Repository Staff Only: item control page