A Case Study on Reactive Protocols for Aircraft Electric Power Distribution

被引:0
|
作者
Xu, Huan [1 ]
Topcu, Ufuk [2 ]
Murray, Richard M. [3 ]
机构
[1] CALTECH, Dept Mech Engn, Pasadena, CA 91125 USA
[2] Elect & Syst Engn, Philadelphia, PA 19104 USA
[3] CALTECH, Controls & Dynam Syst, Pasadena, CA 91125 USA
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:1124 / 1129
页数:6
相关论文
共 50 条
  • [21] A Quadruple Active Bridge Electrical Power Distribution System for the More Electric Aircraft
    Buticchi, Giampaolo
    Costa, Levy
    Liserre, Marco
    [J]. 2017 IEEE 26TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2017, : 1851 - 1855
  • [22] Study of Dynamic Reactive Power Compensation in the Electric Railway
    Zhang, Yuzhi
    [J]. 2010 INTERNATIONAL CONFERENCE ON INFORMATION, ELECTRONIC AND COMPUTER SCIENCE, VOLS 1-3, 2010, : 1240 - 1243
  • [23] Reactive Power Compensation Method for Distribution Network from Electric Vehicles
    Ma, Youjie
    Liu, Chang
    Zhou, Xuesong
    Gao, Zhiqiang
    [J]. 2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 8826 - 8830
  • [24] Coordinated Electric Vehicle Charging With Reactive Power Support to Distribution Grids
    Wang, Jingyuan
    Bharati, Guna R.
    Paudyal, Sumit
    Ceylan, Oguzhan
    Bhattarai, Bishnu P.
    Myers, Kurt S.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (01) : 54 - 63
  • [25] A reactive tabu search for service restoration in electric power distribution systems
    Toune, S
    Fudo, H
    Genji, T
    Fukuyama, Y
    Nakanishi, Y
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION - PROCEEDINGS, 1998, : 763 - 768
  • [26] Integrated Power Distribution Unit (IPDU): Point-of-Use Power Conversion, Management, Distribution, and Protection for Aircraft Electric Power Systems
    Thibodeau, Phillip
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2012, 5 (02): : 513 - 523
  • [27] A Game-Theoretic Approach for Electric Power Distribution during Power Shortage: A Case Study in Pakistan
    Janjua, Shahmir
    Ali, Muhammad Umair
    Kallu, Karam Dad
    Ibrahim, Malik Muhammad
    Zafar, Amad
    Kim, Sangil
    [J]. APPLIED SCIENCES-BASEL, 2021, 11 (11):
  • [28] Superconducting electric power systems for hybrid electric aircraft
    Malkin, Peter
    Pagonis, Meletios
    [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2014, 86 (06): : 515 - 518
  • [29] The Evolution of the Aircraft Electric Power Systems
    Schrotter, M.
    Breda, R.
    Andoga, R.
    Fozo, L.
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE AND WORKSHOP IN OBUDA ON ELECTRICAL AND POWER ENGINEERING (CANDO-EPE), 2018, : 159 - 162
  • [30] Power System and the Converter for the Electric Aircraft
    [J]. Journal of the Institute of Electrical Engineers of Japan, 2024, 144 (05): : 262 - 265