Reachability analysis of lac operon under parameter uncertainties

In this thesis, reachability analysis simulation challenges are discussed. In order to understand simulation challenges in higher orders, first one dimensional case is studied. And after that, the information and experience obtained from one dimensional case is used to simulate higher dimension systems and interpret the results. For one dimensional case, first, a trivial piecewise linear system is discussed and after that a real model of lac-T is studied in one dimension for certain parameters. In this model, how reachability analysis can be used for uncertainty of parameters is explained. And after that, a 3 dimensional gene-protein relationship case is considered, for fixed partition and dynamic partition. Results are interpreted.