Verification based decision-making for self-adaptive systems: a model-driven approach
DOI10.13328/J.CNKI.JOS.005257zbMATH Open1399.90177MaRDI QIDQ4640959FDOQ4640959
Authors: Zhuo-Qun Yang, Zhi Jin
Publication date: 25 May 2018
Recommendations
- scientific article; zbMATH DE number 1958165
- Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
- scientific article; zbMATH DE number 1958166
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Model-based dependable composition of self-adaptive systems
optimal decision-makingself-adaptive systemrequirements verificationrequirements modelingmodel-driven
Management decision making, including multiple objectives (90B50) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Reliability, availability, maintenance, inspection in operations research (90B25) Adaptive control/observation systems (93C40)
Cited In (7)
- Title not available (Why is that?)
- Model-based dependable composition of self-adaptive systems
- Title not available (Why is that?)
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Architecture-based resilience evaluation for self-adaptive systems
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration
This page was built for publication: Verification based decision-making for self-adaptive systems: a model-driven approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4640959)