Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.

Jorge Santos Carlos Ramos Zita A. Vale Albino Marques

Published in: EUROVAV (1999)

Keyphrases

management system
distributed systems
database systems
control system
knowledge based systems
process automation
data sets
operating environment
mechanical systems
verification method
autonomous systems
signature verification
power consumption
case study
genetic algorithm
machine learning
neural network
databases