]> 2026-09-05T22:09:58+00:00 Distributed Power Allocation for Vehicle Management Systems 0 en We consider the problem of designing distributed control protocols -for aircraft vehicle management systems- that cooperatively allocate electric power while meeting certain higher level goals and requirements, and dynamically reacting to the changes in the internal system state and external environment. A decentralized control problem is posed where each power distribution unit is equipped with a controller that implements a local protocol to allocate power to a certain subset of loads. We use linear temporal logic as the specification language for describing correct behaviors of the system (e.g., safe operating conditions) as well as the admissible dynamic behavior of the environment due to, for example, wind gusts and changes in system health. We start with a global specification and decompose it into local ones. These decompositions allow the protocols for each local controller to be separately synthe- sized and locally implemented while guaranteeing the global specifications to hold. Through a design example, we show that by refining the interface rules between power distribution units, it is possible to reduce the total power requirement. Necmiye Ozay, Ufuk Topcu and Richard M. Murray 2011c 2011 IEEE Conference on Decision and Control (CDC) otm11-cdc Conference Paper 2016-05-15T06:16:07Z 2457523.7611921 Distributed Power Allocation for Vehicle Management Systems Title 102 en Title