Show simple item record

dc.contributor.advisorRozenblit, Jerzy W.en_US
dc.contributor.authorLuh, Cheng-Jye.
dc.creatorLuh, Cheng-Jye.en_US
dc.date.accessioned2011-10-31T17:47:58Z
dc.date.available2011-10-31T17:47:58Z
dc.date.issued1992en_US
dc.identifier.urihttp://hdl.handle.net/10150/185774
dc.description.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.
dc.language.isoenen_US
dc.publisherThe University of Arizona.en_US
dc.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.en_US
dc.subjectDissertations, Academic.en_US
dc.subjectComputer science.en_US
dc.subjectSystem theory.en_US
dc.titleAbstraction morphisms for high-autonomy systems.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.identifier.oclc712176953en_US
thesis.degree.grantorUniversity of Arizonaen_US
thesis.degree.leveldoctoralen_US
dc.contributor.committeememberCellier, Francois E.en_US
dc.contributor.committeememberSanders, William H.en_US
dc.contributor.committeememberMyers, Eugene W.en_US
dc.contributor.committeememberBailey, Mary L.en_US
dc.identifier.proquest9220700en_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.namePh.D.en_US
refterms.dateFOA2018-07-13T09:15:24Z
html.description.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.


Files in this item

Thumbnail
Name:
azu_td_9220700_sip1_m.pdf
Size:
4.151Mb
Format:
PDF
Description:
azu_td_9220700_sip1_m.pdf

This item appears in the following Collection(s)

Show simple item record