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 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 2 2 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 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 Automated Technology for Verification and Analysis 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 Proceedings of the 14th international conference on Hybrid systems: computation and control ACM 2011 313 314