AIAA Infotech@Aerospace 2010最新文献

筛选

英文中文

Detecting Emergent Behaviors with Semi-Boolean Algebra 用半布尔代数检测突发行为

AIAA Infotech@Aerospace 2010 Pub Date : 2010-04-20 DOI: 10.2514/6.2010-3503

Peter P. Haglich, C. Rouff, L. Pullum

{"title":"Detecting Emergent Behaviors with Semi-Boolean Algebra","authors":"Peter P. Haglich, C. Rouff, L. Pullum","doi":"10.2514/6.2010-3503","DOIUrl":"https://doi.org/10.2514/6.2010-3503","url":null,"abstract":"Aerospace and military systems are becoming increasingly interconnected. In turn, their collective behavior is more difficult to predict. The emergent properties of systems of systems make them powerful, but also more difficult to design, assure proper behavior, operate correctly, and ensure they have no new security holes. Learning and adaptation causes additional concerns. Emergent behavior patterns cannot be fully predicted through the use of traditional system development methods, including testing and model checking. In addition, self-organization can occur as individual systems optimize to address inefficiencies in the larger system. Designing for and detecting emergent behavior has not been addressed in current systems development methodologies. This paper gives background on approaches for modeling and verifying emergent behavior and discusses the use of semi-Boolean algebra as a means for detecting emergence in combined behaviors. Semi-Boolean algebra is a generalization of the Boolean algebra by weakening the requirement that any two elements have a common upper bound. The paper also shares an example approach for modeling and verifying emergent behavior and describes several ways to detect emergent behavior with this technique.","PeriodicalId":358933,"journal":{"name":"AIAA Infotech@Aerospace 2010","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121237699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5