Browse Senior Theses - Electrical and Computer Engineering by Author "Qi, Bolun"

  • Qi, Bolun (2016-05)
    To check bounded time invariant properties of models with nonlinear dynamics, one promising method is called simulation-based verification. This involves: (a) generating numerical simulations of the ODE from a finite set ...

    application/pdf

    application/pdfPDF (810kB)