Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon.

Alexandre Chapoutot Julien Alexandre Dit Sandretto

Published in: NSV@CAV (2016)

Keyphrases

hybrid systems
black box
discrete event
neural network
intelligent systems
soft computing
meta learning
artificial intelligence
computational intelligence
multi agent systems
state space
fuzzy logic
life cycle
workflow systems