Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.

Hao Ren Ratnesh Kumar

Published in: ADHS (2015)

Keyphrases

simulation model
post processing
neural network controller
real time
expert systems
mobile robot
sufficient conditions
mathematical models