Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach.
Nianyu LiDi BaiYiming PengZhuoqun YangWenpin JiaoPublished in: QRS (2018)
Keyphrases
- distributed systems
- discrete event simulation
- intelligent systems
- information retrieval
- expert systems
- complex systems
- simulation tools
- mathematical models
- discrete event
- dynamical systems
- dynamic aspects
- stochastic simulation
- stochastic models
- stochastic model
- finite state machines
- computer systems
- peer to peer
- management system
- cooperative
- learning algorithm