Abstraction based reachability computation for affine systems with bounded input.

Othman Nasri Marie-Anne Lefebvre Hervé Guéguen

Published in: CDC (2006)

Keyphrases

management system
distributed systems
knowledge based systems
expert systems
data mining
information systems
intelligent systems
databases
machine learning
e learning
digital libraries
dynamic programming
state space
image registration
computer systems
complex systems