Browse Senior Theses - Electrical and Computer Engineering by Contributor "Mitra, Sayan"

  • Sun, Liyi (2016-05)
    This thesis presents the implementation of an attributed key-value store distributed shared memory (DSM) that provides a way of programming distributed robotics applications. Traditional message-passing method requires the ...

    application/pdf

    application/pdfPDF (1MB)Restricted to U of Illinois
  • Li, Shuting (2016-05)
    Most first-time users find it complicated to use the StarL programming framework, especially when they have little experience with Java. The major challenges for programming distributed robotic applications are (1) the ...

    application/pdf

    application/pdfPDF (1MB)
  • 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)
  • Meng, Yu (2017-05)
    There has been progress in verification of nonlinear and hybrid systems in the recent years using algorithms that combine simulation data with model-based sensitivity analysis. These approaches only handle closed models, ...

    application/pdf

    application/pdfPDF (690kB)Restricted to U of Illinois