A formal approach to reconfigurability analysis application to the three tank benchmark.

Anne-Lise Gehin Marcel Staroswiecki

Published in: ECC (1999)

Keyphrases

comparative analysis
statistical analysis
formal analysis
quantitative analysis
automatic analysis
search algorithm
control system
real time
neural network
real world
information systems
bayesian networks
data analysis