Change search
ReferencesLink to record
Permanent link

Direct link
An aircraft electric power testbed for validating automatically synthesized reactive control protocols
KTH, School of Electrical Engineering (EES).
Show others and affiliations
2012 (English)In: HSCC - Proc. Int. Conf. Hybrid Syst.: Comput. Control, Part CPSWeek, 2012, 89-94 p.Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
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
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-129667DOI: 10.1145/2461328.2461344ScopusID: 2-s2.0-84876780093ISBN: 9781450315678OAI: diva2:655922
16th international conference on Hybrid systems: computation and control

QC 20131014

Available from: 2013-10-14 Created: 2013-10-03 Last updated: 2013-10-14Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Rogersten, Robert
By organisation
School of Electrical Engineering (EES)
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 23 hits
ReferencesLink to record
Permanent link

Direct link