Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
- Creators
- Xu, Huan
- Topcu, Ufuk
-
Murray, Richard M.
Abstract
The increasing complexity of electric power systems leads to challenges in integration and verification. We consider the problem of designing a control protocol for an aircraft electric power system that meets a set of requirements describing the correct behaviors of the system and reacts dynamically to changes in internal system states. We formalize the requirements by translating them into a temporal logic specification language and apply game-based, temporal logic formal methods to automatically synthesize a controller protocol that satisfies these overall properties and requirements. Through a case study, we perform a design exploration to show the benefits and tradeoffs between centralized and distributed control architectures.
Additional Information
© 2015 IEEE. Manuscript received May 12, 2014; revised August 5, 2014; accepted October 28, 2014. Date of publication February 6, 2015; date of current version June 16, 2015. This work was supported in part by the Multiscale Systems Center (MuSyC), in part by the Boeing Corporation, and in part by the AFOSR Award FA9550-12-1-0302. Recommended by Associate Editor S. Azuma. The authors would like to thank N. Ozay from the University of Michigan, and R. Poisson and Eelco Scholte from United Technologies Aerospace Systems for their insight and helpful discussions.Attached Files
Published - 07035090.pdf
Files
| Name | Size | Download all |
|---|---|---|
|
md5:f9f88f63d816333f3fbc0337e39d083d
|
759.7 kB | Preview Download |
Additional details
- Eprint ID
- 94223
- Resolver ID
- CaltechAUTHORS:20190327-154909216
- Multiscale Systems Center (MuSyC)
- Boeing Corporation
- Air Force Office of Scientific Research (AFOSR)
- FA9550-12-1-0302
- Created
-
2019-03-27Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field