Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems.

A. Agung Julius Alessandro D'Innocenzo

Published in: ACC (2014)

Keyphrases

hybrid systems
randomized algorithm
discrete event
greedy algorithm
black box
intelligent systems
computational intelligence
neural network
soft computing
lower bound
meta learning
artificial intelligence
simulation model
upper bound
fuzzy logic
learning tasks
average case
decision trees
competitive ratio