Diagnosis of a dynamic hybrid system by hybrid timed automata.

Olfa Azzabi Chakib Ben Njima Hassani Messaoud

Published in: CoDIT (2016)

Keyphrases

timed automata
dynamic environments
real time
data mining
reachability analysis
information retrieval
software engineering
database
genetic algorithm
natural language
fuzzy logic
medical diagnosis
dynamically changing