ABC+: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation
暂无分享,去创建一个
[1] Doo-Hwan Bae,et al. Modeling and Verification for Different Types of System of Systems using PRISM , 2016, 2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS).
[2] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[3] G. Nigel Gilbert,et al. Agent-Based Models , 2007 .
[4] Doo-Hwan Bae,et al. An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification , 2017 .
[5] E. Quah,et al. Cost-Benefit Analysis , 1972 .
[6] Jan Peleska,et al. Systems of Systems Engineering , 2015 .
[7] Timothy W. Finin,et al. KQML as an agent communication language , 1994, CIKM '94.
[8] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[9] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[10] Mark W. Maier. Architecting Principles for Systems‐of‐Systems , 1996 .
[11] J.S. Dahmann,et al. Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering , 2008, 2008 2nd Annual IEEE Systems Conference.
[12] Hermann Kopetz,et al. A Conceptual Model for the Information Transfer in Systems-of-Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
[13] Thomas Müller-Bohn,et al. Cost-Benefit Analysis , 2015 .
[14] Petr Jan Horn,et al. Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .
[15] Junho Kim. Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구 , 2017 .