An aircraft electric power testbed for validating automatically synthesized reactive control protocols
2012 (English)In: HSCC - Proc. Int. Conf. Hybrid Syst.: Comput. Control, Part CPSWeek, 2012, 89-94 p.Conference paper (Refereed)
Modern aircraft increasingly rely on electric power for subsystems that have traditionally run on mechanical power. The complexity and safety-criticality of aircraft electric power systems have therefore increased, rendering the design of these systems more challenging. This work is motivated by the potential that correct-by-construction reactive controller synthesis tools may have in increasing the effectiveness of the electric power system design cycle. In particular, we have built an experimental hardware platform that captures some key elements of aircraft electric power systems within a simplified setting. We intend to use this platform for validating the applicability of theoretical advances in correct-by-construction control synthesis and for studying implementation-related challenges. We demonstrate a simple design workflow from formal specifications to autogenerated code that can run on software models and be used in hardware implementation. We show some preliminary results with different control architectures on the developed hardware testbed.
Place, publisher, year, edition, pages
2012. 89-94 p.
, HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013, 1
Aircraft electric power system, Reactive synthesis, Testbed, Control architecture, Controller synthesis, Correct-by-construction, Formal Specification, Hardware implementations, Hardware testbeds, Safety criticality, Aircraft control, Electric power systems, Hardware, Hybrid systems, Testbeds, Aircraft
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-129667DOI: 10.1145/2461328.2461344ScopusID: 2-s2.0-84876780093ISBN: 9781450315678OAI: oai:DiVA.org:kth-129667DiVA: diva2:655922
16th international conference on Hybrid systems: computation and control
QC 201310142013-10-142013-10-032013-10-14Bibliographically approved