Sign in

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

Hao RenRatnesh Kumar
Published in: ADHS (2015)
Keyphrases
  • simulation model
  • post processing
  • neural network controller
  • real time
  • expert systems
  • mobile robot
  • sufficient conditions
  • mathematical models