Nandita Andromeda Mitra
Project : Toolbox for
Probabilistic Safety Verification of Stochastic Hybrid System
E-mail : firstname.lastname@example.org
I met my mentor Saurabh Amin and got an idea about my project. First week
was mostly exploring the world of Hybrid System reading very basic notes on
Started reading papers on Hybrid Systems focusing on Stochastic Hybrid Systems.
So started having the probabilistic flavor of it. Worked on the MATLAB code
for Wiener Process and Poisson Process as they will be used in the
future works. Started writing the report of my project using LATEX.
Wrote programs for Multi Room thermostat. First one is for randomly generated
temperaures. Second one is for Controlled system in which I tried to control
the temperature of both room when they started going to the unsafe set. .