Change search
ReferencesLink to record
Permanent link

Direct link
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed
KTH, School of Electrical Engineering (EES).
Show others and affiliations
2014 (English)In: Journal of Aerospace Information Systems, ISSN 1940-3151, Vol. 11, no 10, 665-678 p.Article in journal (Refereed) Published
Abstract [en]

Modern aircraft increasingly rely on electric power, resulting in high safety criticality and complexity in their electric power generation and distribution systems. Motivated by the resulting rapid increase in the costs and duration of the design cycles for such systems, the use of formal specification and automated correct-by-construction control protocols synthesis for primary distribution in vehicular electric power networks is investigated. A design workflow is discussed that aims to transition from the traditional "design and verify" approach to a "specify and synthesize" approach. An overview is given of a subset of the recent advances in the synthesis of reactive control protocols. These techniques are applied in the context of reconfiguration of the networks in reaction to the changes in their operating environment. These automatically synthesized control protocols are also validated on high-fidelity simulation models and on an academic-scale hardware testbed.

Place, publisher, year, edition, pages
2014. Vol. 11, no 10, 665-678 p.
Keyword [en]
Aircraft, Systems
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-159402DOI: 10.2514/1.I010167ISI: 000347166300006OAI: diva2:784451

QC 20150129

Available from: 2015-01-29 Created: 2015-01-29 Last updated: 2015-01-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Rogersten, Robert
By organisation
School of Electrical Engineering (EES)
Other 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: 43 hits
ReferencesLink to record
Permanent link

Direct link