This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Source Management of Aircraft Electrical Power Systems with Hardware in the Loop Verification
ISSN: 0148-7191, e-ISSN: 2688-3627
Published September 19, 2017 by SAE International in United States
Annotation ability available
Future aircraft will demand a significant amount of electrical power to drive primary flight control surfaces. The electrical system architecture needed to source these flight critical loads will have to be resilient, autonomous, and fast. Designing and ensuring that a power system architecture can meet the load requirements and provide power to the flight critical buses at all times is fundamental. In this paper, formal methods and linear temporal logic are used to develop a contactor control strategy to meet the given specifications. The resulting strategy is able to manage multiple contactors during different types of generator failures. In order to verify the feasibility of the control strategy, a real-time simulation platform is developed to simulate the electrical power system. The platform has the capability to test an external controller through Hardware in the Loop (HIL). The controller is then implemented in a microprocessor and is able to sense and adjust the contactors’ logic (on/off) based on the status of the generators. The methodology and simulation platform are thus helpful in the design of safe electric power systems and can speed up implementation.
CitationHall, B., Palmer, B., Milburn, T., Herrera, L. et al., "Source Management of Aircraft Electrical Power Systems with Hardware in the Loop Verification," SAE Technical Paper 2017-01-2034, 2017, https://doi.org/10.4271/2017-01-2034.
- Cloyd J.S., “Status of United States Air Force’s More Electric Aircraft Initiative,” in IEEE AES Systems Magazine, pp. 17-22, April, 1998.
- Faleiro L., “Initial research towards a more electrical aircraft,” in More Electrical Aircraft Conference, Royal Aeronautics Society, 2004.
- Weimer J.A., “Electrical Power Technology for the More Electric Aircraft,” Digital Avionics Systems Conference, 1993. 12th DASC, AIAA/IEEE.
- Xu H., Topcu U., and Murray R., “Specification and synthesis of reactive protocols for aircraft electric power distribution,” IEEE Transactions on Control of Network Systems, vol. 2, no. 2, pp. 193-203, June 2015.
- Raman V., “Model Predictive Control form Signal Temporal Logic Specifications: A Case Study (Work In Progress),” in IEEE CDC, 2004.
- Pnueli A., “The temporal logic of programs,” IEEE-CS Symposium on foundations Of Computer Science, pp. 46-57, 1997.
- Karaman S., “Optimal Control of Mixed Logical Dynamic Systems with Linear Temporal Logic Specifications,” in IEEE CDC, Dec, 2008
- Massoumy M., “Optimal Load Management System for Aircraft Electric Power Distribution,” in IEEE CDC, Dec, 2013.
- Filiot E., “Compositional Algorithms for LTL Synthesis,” in Automated Technology for Verification and Analysis, pp. 112-127, 2010.
- MATLAB version 7.10.0. Natick, Massachusetts: The MathWorks Inc., 2010.
- RT-LAB version 11.0.8. Montréal, Québec: OPAL-RT Technologies Inc., 1997.
- Wongpiromsarn T., Topcu U., Ozay N., Xu H., and Murray R. M., “Tulip: a software toolbox for receding horizon temporal logic planning,” in Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM, 2011, pp. 313-314.