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) https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873
|
PDF
See Usage Policy. 10MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873
Abstract
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) | ||||||||
---|---|---|---|---|---|---|---|---|---|
ORCID: |
| ||||||||
Contact Email Address: | mumu@caltech.edu | ||||||||
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. | ||||||||
Funders: |
| ||||||||
Record Number: | CaltechAUTHORS:20130115-094546873 | ||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873 | ||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||
ID Code: | 36376 | ||||||||
Collection: | CaltechAUTHORS | ||||||||
Deposited By: | Huan Xu | ||||||||
Deposited On: | 15 Jan 2013 17:55 | ||||||||
Last Modified: | 03 Oct 2019 04:37 |
Repository Staff Only: item control page