{"title":"Coordination of engineering design agents for high assurance in complex dynamic system design","authors":"S. Phoha, E. Eberbach, E. Peluso, A. Kiraly","doi":"10.1109/HASE.1998.731631","DOIUrl":null,"url":null,"abstract":"This paper presents a hierarchical architecture for an innovative self-adaptive design network for physics-based modeling of complex systems dynamics in order to assess and control its behavior characteristics. Each structural component of the system is simulated by an engineering design agent (EDA) which models the conceptual design parameters of the component in its operational environment. The objective here is to iteratively achieve higher assurance of dynamic system behavior by trading off component design characteristics. A formal model of the design network is formulated in this paper as a finite set of interacting automata. Intelligent agents for design coordination and design supervision are introduced. The introduction of a high order polyadic process algebra-calculus (cost calculus)-allows the formulation of powerful algorithms for autonomous self-adaptation of the system design network to achieve high assurance specifications in dynamic and uncertain environments.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1998.731631","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
This paper presents a hierarchical architecture for an innovative self-adaptive design network for physics-based modeling of complex systems dynamics in order to assess and control its behavior characteristics. Each structural component of the system is simulated by an engineering design agent (EDA) which models the conceptual design parameters of the component in its operational environment. The objective here is to iteratively achieve higher assurance of dynamic system behavior by trading off component design characteristics. A formal model of the design network is formulated in this paper as a finite set of interacting automata. Intelligent agents for design coordination and design supervision are introduced. The introduction of a high order polyadic process algebra-calculus (cost calculus)-allows the formulation of powerful algorithms for autonomous self-adaptation of the system design network to achieve high assurance specifications in dynamic and uncertain environments.