A Contract-Based Methodology for Aircraft Electric Power System Design

A Contract-Based Methodology for Aircraft Electric Power System Design

In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirements. To reduce expensive redesign steps, this con...

Full description

Bibliographic Details
Main Authors: Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia
Format: Article
Language:English
Published: IEEE 2014-01-01
Series:IEEE Access
Subjects:
Design methodology
design automation
aircraft
power systems
control system synthesis
contract-based design
Online Access:https://ieeexplore.ieee.org/document/6690099/

Internet

https://ieeexplore.ieee.org/document/6690099/

Similar Items