*banner
 

home
students
projects
progress
mentors
overview
Chess


 

 

Nandita Andromeda Mitra

Project : Toolbox for Probabilistic Safety Verification of Stochastic Hybrid System

E-mail : nmitra@eecs.berkeley.edu

 

   

 

 

Weekly Updates


Week 1:

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 it.

 


Week 2:

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.


Week 3:

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. .

 

 

You are not logged in 
©2002-2017 Chess