Forward Inner-Approximated Reachability of Non-Linear Continuous Systems.

Eric Goubault Sylvie Putot

Published in: HSCC (2017)

Keyphrases

knowledge based systems
learning systems
management system
intelligent systems
complex systems
search engine
evolutionary algorithm
distributed systems
linear combination
building blocks
systems require