USING SYMBOLIC CONSTRAINT SOLVING TECHNIQUES FOR ANALYZING STABILITY PROPERTIES OF ADAPTIVE CONTROL

$671,646FY2008National Aeronautics and Space AdministrationNASA

Sri International, Menlo Park CA

Investigators