<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://murray.cds.caltech.edu/index.php?action=history&amp;feed=atom&amp;title=Distributed_Power_Allocation_for_Vehicle_Management_Systems</id>
	<title>Distributed Power Allocation for Vehicle Management Systems - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://murray.cds.caltech.edu/index.php?action=history&amp;feed=atom&amp;title=Distributed_Power_Allocation_for_Vehicle_Management_Systems"/>
	<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=Distributed_Power_Allocation_for_Vehicle_Management_Systems&amp;action=history"/>
	<updated>2026-05-01T14:23:33Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.44.2</generator>
	<entry>
		<id>https://murray.cds.caltech.edu/index.php?title=Distributed_Power_Allocation_for_Vehicle_Management_Systems&amp;diff=19759&amp;oldid=prev</id>
		<title>Murray: htdb2wiki: creating page for 2011c_otm11-cdc.html</title>
		<link rel="alternate" type="text/html" href="https://murray.cds.caltech.edu/index.php?title=Distributed_Power_Allocation_for_Vehicle_Management_Systems&amp;diff=19759&amp;oldid=prev"/>
		<updated>2016-05-15T06:16:07Z</updated>

		<summary type="html">&lt;p&gt;htdb2wiki: creating page for 2011c_otm11-cdc.html&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{HTDB paper&lt;br /&gt;
| authors = Necmiye Ozay, Ufuk Topcu and Richard M. Murray&lt;br /&gt;
| title = Distributed Power Allocation for Vehicle Management Systems&lt;br /&gt;
| source = 2011 IEEE Conference on Decision and Control (CDC)&lt;br /&gt;
| year = 2011&lt;br /&gt;
| type = Conference Paper&lt;br /&gt;
| funding = MuSyC, Boeing&lt;br /&gt;
| url = http://www.cds.caltech.edu/~murray/preprints/otm11-cdc_s.pdf&lt;br /&gt;
| abstract = &lt;br /&gt;
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.&lt;br /&gt;
| flags = &lt;br /&gt;
| tag = otm11-cdc&lt;br /&gt;
| id = 2011c&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Murray</name></author>
	</entry>
</feed>