Ann Arbor / Pasadena / C. Platform / P LATFORM / College Park / C ONTRACT / /
Company
Computer Sciences / Honeywell Inc. / More Open Electrical Technologies / / /
Event
Product Issues / /
Facility
EECS Building / University of California at Berkeley / University of Maryland / California Institute of Technology / University of Michigan / /
IndustryTerm
control protocol / tool chain / overall network / reactive control protocol / secondary distribution sub-systems / iterative algorithm / topology design algorithm / aircraft electric power systems / architectural and real-time constraints / power electronics / on-line monitoring techniques / digital design synthesis tools / pneumatic and mechanical systems / automotive applications / related synthesis tools / software verification / real-time performance constraints / energy / defense systems / control algorithm / control protocols / cyber-physical systems / electric power systems / embedded processors / threephase power systems / aircraft vehicle management systems / legal optimal solutions / cyberphysical systems / power conversion devices / hybrid systems / /
Organization
California Institute of Technology / University of California / Engineering and Applied Science Department / University of Maryland / Department of Electrical Engineering and Computer Sciences / the University of Michigan / Institute for Systems Research and Aerospace Engineering / /
Person
Richard M. Murray / John B. Finn / Huan Xu / Ai / SING C ONTRACTS / Alexandre Donz / Alberto L. Sangiovanni-Vincentelli / L APU / Cory Hall / /
1 A Contract-Based Methodology for Aircraft Electric Power System Design Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donz´e, Sanjit A. Seshia