A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System.
Pranali S. TekaleRamakalyan AyyagariSithu D. SudarsanRaoul JetleyPublished in: DIAS/EDUDM@ISEC (2017)
Keyphrases
- monitoring system
- adaptive systems
- water level
- formal methods
- learning systems
- safety critical
- user modeling
- control algorithm
- health monitoring
- learning environment
- intelligent systems
- machine learning
- artificial intelligence
- decision making
- e learning
- information retrieval
- power consumption
- user model
- neural network