Accession Number : ADA303935
Title : An Architecture for Incremental Construction of Distributed, Heterogeneous Systems. Part 1.
Descriptive Note : Final rept. 1 Apr 93-31 Mar 95,
Corporate Author : INTERMETRICS INC HUNTINGTON BEACH CA
Personal Author(s) : Kohn, Wolf ; James, John ; Nerode, Anil ; Chandra, Jagdish
PDF Url : ADA303935
Report Date : 31 MAY 1995
Pagination or Media Count : 49
Abstract : We discuss the application of the Kohn-Nerode-James optimality result of nonlinear systems optimization to the problem of implementing high-safety, high-assurance systems. We state the central problem of feedback control in terms of the most general categories of models (e.g. both logical models and evolution models which are the subject of the field of hybrid systems). We discuss optimal solutions of these nonlinear problems in terms of implementing control programs for a generic architecture suitable for enterprise-wide coordination and control. Finally we provide definitions of enterprise-wide, closed-loop control problems for several large-scale systems using this architecture and discuss synchronization with enterprise coordination processes. We summarize results for a reference architecture being demonstrated for the Department of Defense. (AN)
Descriptors : *OPTIMIZATION, *DISTRIBUTED DATA PROCESSING, DATA BASES, MATHEMATICAL MODELS, ALGORITHMS, SOFTWARE ENGINEERING, DEPARTMENT OF DEFENSE, SYSTEMS ENGINEERING, DATA MANAGEMENT, COMPUTER COMMUNICATIONS, REAL TIME, STATISTICAL INFERENCE, COMPUTER ARCHITECTURE, INPUT OUTPUT PROCESSING, NONLINEAR SYSTEMS, FEEDBACK, COMMAND AND CONTROL SYSTEMS, COMMUNICATIONS NETWORKS, HEURISTIC METHODS, HYBRID SYSTEMS, KNOWLEDGE BASED SYSTEMS, SYSTEMS ANALYSIS, CONTROL THEORY, COMPUTER NETWORKS, ONLINE SYSTEMS, HIERARCHIES, CLOSED LOOP SYSTEMS, LAGRANGIAN FUNCTIONS.
Subject Categories : Computer Systems
Distribution Statement : APPROVED FOR PUBLIC RELEASE