Published December 2012
| public
Book Section - Chapter
A case study on reactive protocols for aircraft electric power distribution
- Creators
- Xu, Huan
- Topcu, Ufuk
-
Murray, Richard M.
Chicago
An error occurred while generating the citation.
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
- Eprint ID
- 43093
- DOI
- 10.1109/CDC.2012.6426175
- Resolver ID
- CaltechAUTHORS:20131219-103750003
- FCRP Consortium Multiscale Systems Center (MuSyC)
- Boeing Corporation
- Air Force Office of Scientific Research (AFOSR)
- FA9550-12-1-0302
- Created
-
2013-12-20Created from EPrint's datestamp field
- Updated
-
2021-11-10Created from EPrint's last_modified field