2026-09-20T04:35:40Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/284292022-01-13T07:54:29Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Brian C. Williams.
Krishnan, Raj, 1980-
Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2005-09-26T20:24:01Z
2005-09-26T20:24:01Z
2004
http://hdl.handle.net/1721.1/28429
56993912
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.
"February 2, 2004."
Includes bibliographical references (leaf 103).
There exists a large class of problems that incorporate both logical decision and algebraic constraints. For example, in cooperative path planning (CPP) problem, obstacle avoidance can be achieved by selecting a direction in which to avoid every obstacle, which in turn imposes an inequality constraint. Traditionally, these hybrid decision-control problems (HDCPs) are encoded in a binary integer program (BIP). These BIPs are solved using Branch and Bound (B&B) techniques. Two problems arise with this approach. First, binary arithmetic is not a natural representation for expressing complex logical choices. Propositional and higher order logics offer a more natural encoding, and computational methods exploit this encoding. Second, current BIP solution methods are to slow to solve large HDCPs online. To address these problems, this thesis introduces an approach that unifies representations and solution methods for logic and mathematical programming. To address representational adequacy, this thesis introduces the Clausal Linear Program (CLP) formulation, which encodes logical choice using propositional clauses and continuous control decisions using linear inequalities. CLPs offer a more compact and natural encoding than BIPs for many problems of logical choice. To address computational efficiency, this thesis introduces a branch and bound method for solving CLPs, analogous to BIP-B&B. This method is then unified with conflict-directed search and unit propagation. The resulting method, CDCL-B&B, searches in a best first order, while using conflicts to steer the search away from inconsistencies. Randomized experiments on CPP problems were performed using CDCL-B&B and a BIP-B&B algorithm. Results showed that CDCL-B&B improved time efficiency by
by Raj Krishnan.
M.Eng.
103 leaves
6605027 bytes
6616998 bytes
application/pdf
application/pdf
en_US
Massachusetts Institute of Technology
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Electrical Engineering and Computer Science.
Solving hybrid decision-control problems through conflict-directed branch & bound
Solving HDCPs through CD-B&B
Thesis
application/pdf
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="2fbbaebf-2bfa-447e-86c4-b20b5421db4d">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>en_US</Language>
<Title>Solving hybrid decision-control problems through conflict-directed branch & bound</Title>
<Subtitle>Solving HDCPs through CD-B&B</Subtitle>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2004</PublicationDate>
<Authors>
<Author>
<DisplayName>Krishnan, Raj, 1980-</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Electrical Engineering and Computer Science.</Keyword>
<Abstract>There exists a large class of problems that incorporate both logical decision and algebraic constraints. For example, in cooperative path planning (CPP) problem, obstacle avoidance can be achieved by selecting a direction in which to avoid every obstacle, which in turn imposes an inequality constraint. Traditionally, these hybrid decision-control problems (HDCPs) are encoded in a binary integer program (BIP). These BIPs are solved using Branch and Bound (B&B) techniques. Two problems arise with this approach. First, binary arithmetic is not a natural representation for expressing complex logical choices. Propositional and higher order logics offer a more natural encoding, and computational methods exploit this encoding. Second, current BIP solution methods are to slow to solve large HDCPs online. To address these problems, this thesis introduces an approach that unifies representations and solution methods for logic and mathematical programming. To address representational adequacy, this thesis introduces the Clausal Linear Program (CLP) formulation, which encodes logical choice using propositional clauses and continuous control decisions using linear inequalities. CLPs offer a more compact and natural encoding than BIPs for many problems of logical choice. To address computational efficiency, this thesis introduces a branch and bound method for solving CLPs, analogous to BIP-B&B. This method is then unified with conflict-directed search and unit propagation. The resulting method, CDCL-B&B, searches in a best first order, while using conflicts to steer the search away from inconsistencies. Randomized experiments on CPP problems were performed using CDCL-B&B and a BIP-B&B algorithm. Results showed that CDCL-B&B improved time efficiency by</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>