Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.

Michaël Adélaïde Olivier F. Roux

Published in: FTRTFT (2000)

Keyphrases

data analysis
hybrid automata
statistical analysis
neural network
metadata
quantitative analysis
real time
genetic algorithm
learning algorithm
case study