A Caltech Library Service

An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols

Rogersten, Robert and Xu, Huan and Ozay, Necmiye and Topcu, Ufuk and Murray, Richard M. (2013) An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols. . (Unpublished)

See Usage Policy.


Use this Persistent URL to link to this item:


Modern aircraft increasingly rely on electric power for subsystems that have traditionally run on mechanical power. The complexity and safety-criticality of aircraft electric power systems have therefore increased, rendering the design of these systems more challenging. This work is motivated by the potential that correct-by-construction reactive controller synthesis tools may have in increasing the effectiveness of the electric power system design cycle. In particular, we have built an experimental hardware platform that captures some key elements of aircraft electric power systems within a simplified setting. We intend to use this platform for validating the applicability of theoretical advances in correct-by-construction control synthesis and for studying implementation-related challenges. We demonstrate a simple design workflow from formal specifications to auto-generated code that can run on software models and be used in hardware implementation. We show some preliminary results with different control architectures on the developed hardware testbed.

Item Type:Report or Paper (Technical Report)
Murray, Richard M.0000-0002-5785-7481
Contact Email
Additional Information:The authors acknowledge the funding from MuSyC, the Boeing Corporation, and AFOSR (award # FA9550-12-1-0302), and thank Rich Poisson from Hamilton-Sundstrand for helpful discussions about the development of the hardware testbed.
Funding AgencyGrant Number
Boeing CorporationUNSPECIFIED
Air Force Office of Scientific Research (AFOSR)FA9550-12-1-0302
Record Number:CaltechAUTHORS:20130115-094546873
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:36376
Deposited By: Huan Xu
Deposited On:15 Jan 2013 17:55
Last Modified:03 Oct 2019 04:37

Repository Staff Only: item control page