HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.

Ibtissem Ben Makhlouf Norman Hansen Stefan Kowalewski

Published in: ARCH@CPSWeek (2016)

Keyphrases

hybrid systems
soft computing
artificial intelligence
neural network
reinforcement learning
intelligent systems
learning tasks
black box
search algorithm
state space
computational intelligence
service oriented
discrete event