Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published December 2012 | public
Book Section - Chapter

A case study on reactive protocols for aircraft electric power distribution

Abstract

We consider the problem of designing a control protocol for the aircraft electric power system that meets system requirements and reacts dynamically to changes in internal system states. We formalize these requirements by translating them into a temporal logic specification language describing the correct behaviors of the system, and apply formal methods to automatically synthesize a controller protocol that satisfies system properties and requirements. Through an example, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures.

Additional Information

© 2012 IEEE. This work was supported in part by the FCRP consortium through the Multiscale Systems Center (MuSyC), the Boeing Corporation, and AFOSR Award FA9550-12-1-0302. The authors wish to acknowledge Rich Poisson from Hamilton-Sundstrand and Necmiye Ozay for their helpful discussions.

Additional details

Created:
August 19, 2023
Modified:
October 25, 2023