Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT.

Mathias Déhais Bruno Mermet Grégory Bonnet

Published in: JFSMA (2023)

Keyphrases

fuzzy model
fuzzy systems
takagi sugeno
fuzzy classifier
fuzzy controller
city block
neural network
fuzzy rules
nonlinear systems
fuzzy modeling
data mining
genetic algorithm ga
fuzzy inference system