Login / Signup

Closed-loop verification of medical devices with model abstraction and refinement.

Zhihao JiangMiroslav PajicRajeev AlurRahul Mangharam
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • closed loop
  • control system
  • parameter identification
  • mathematical model
  • experimental data
  • real time
  • open loop
  • asymptotic stability
  • simulation study