An Architecture for Incremental Construction of Distributed, Heterogeneous Systems. Part 1.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 31, 1995
- Accession Number
- ADA303935
Entities
People
- Anil Nerode
- Jagdish Chandra
- John James
- Wolf Kohn