AdvisorRozenblit, Jerzy W.
MetadataShow full item record
PublisherThe University of Arizona.
RightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
AbstractA model-based high autonomy system employs a multiplicity of models at various control layers to support the predefined system objectives. Such models differ in levels of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. This dissertation deals with the abstraction processes for systematic derivation of related models through the use of system morphisms. Morphism abstraction tools to support model construction and model base consistency are developed and integrated into the Systems Entity Structure/Model Base (SES/MB) framework, which is employed as a foundation for model base management in advanced multifacetted system design. The DEVS-Scheme knowledge-based, discrete event simulation environment is used to test the models and tools in an autonomous laboratory application.
Degree ProgramElectrical and Computer Engineering