ABSTRACTING EVENT-BASED CONTROL-MODELS FOR HIGH AUTONOMY SYSTEMS

A high autonomy system needs many models on which to base control, man agement, design, and other interventions. These models differ in level of abstraction and in formalism. Concepts and tools are needed to org anize the models into a coherent whole. The paper deals with the abstr action processes for systematic derivation of related models for use i n event-based control. The multifaceted modeling methodology is briefl y reviewed. The morphism concepts needed for application to model abst raction are described. A theory for supporting the construction of DEV S models needed for event-based control is then presented. An implemen ted morphism on the basis of this theory is also described.