Diagnosis of hybrid systems through Observers and Timed Automata.

L. Mhamdi B. Maaref Hedi Dhouibi Hassani Messaoud Zineb Simeu-Abazi

Published in: CoDIT (2016)

Keyphrases

hybrid systems
timed automata
model checking
intelligent systems
black box
meta learning
neural network
computational intelligence
theorem prover
soft computing
artificial intelligence
discrete event
first order logic
theorem proving
inductive learning
real time systems
machine learning
multi class
workflow systems