Contract-Driven Runtime Adaptation
- 26 May 2024
- book chapter
- Published by Springer Nature
- p. 298-313
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- An Introduction to Self‐adaptive Systems2020
- RTAMT: Online Robustness Monitors from STL2020
- Model Predictive Control2016
- Lipschitz Robustness of Timed I/O Systems2015
- RELAX: a language to address uncertainty in self-adaptive systems requirementRequirements Engineering, 2010
- Robust Satisfaction of Temporal Logic over Real-Valued Signals2010
- Adaptive cruise control design for active congestion avoidanceTransportation Research Part C: Emerging Technologies, 2008
- MiniZinc: Towards a Standard CP Modelling Language2007
- Monitoring Temporal Properties of Continuous Signals2004
- Specifying graceful degradationIEEE Transactions on Parallel and Distributed Systems, 1991