Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2005. / Includes bibliographical references (p. 107-112). / Model-based diagnosis of devices has largely operated on hardware systems. However, in most complex systems today, such as aerospace vehicles, automobiles and medical devices, hardware is augmented with software functions that influence the system's behavior. As these sophisticated systems are required to perform increasingly ambitious tasks. there is a growing need to ensure their robustness and safety. Prior work introduced probabilistic, hierarchical, constraint automata (PHCA), to allow compact encoding of both hardware and software behavior. The contribution of this thesis is a capability for monitoring and diagnosing software-extended systems in the presence of delayed symptoms, based on the expressive PHCA modeling formalism. Hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. This work introduces a novel approach that frames diagnosis over a finite time horizon as a soft constraint optimization problem (COP), which is then decomposed into independent subproblems using tree decomposition techniques. There are two advantages to this approach. First, the approach enables finite-horizon diagnosis in the presence of delayed symptoms. Second, the soft COP formulation provides convenient expressivity for encoding the PHCA models and their execution semantics, and enables the use of decomposition-based, efficient optimal constraint solvers. The solutions to the COP correspond to the most likely state trajectories of the software- extended system. / (cont.) These state trajectories are enumerated and tracked within the finite receding horizon, as observations and issued commands become available. The diagnostic capability has been implemented and demonstrated on several scenarios from the aerospace and robotic domains, including vision-based rover navigation, the global metrology subsystem of the MIT SPHERES satellites, and models of the NASA New Millennium Earth Observing One (EO-1) spacecraft. / by Tsoline Mikaelian. / S.M.
| Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/32445 |
| Date | January 2005 |
| Creators | Mikaelian, Tsoline |
| Contributors | Brian C. Williams., Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics., Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. |
| Publisher | Massachusetts Institute of Technology |
| Source Sets | M.I.T. Theses and Dissertation |
| Language | English |
| Detected Language | English |
| Type | Thesis |
| Format | 112 p., 5529163 bytes, 5535720 bytes, application/pdf, application/pdf, application/pdf |
| Rights | 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 |
Page generated in 0.0022 seconds