Applied Mathematics Seminar: Stochastic Approximate Model-Checker for Infinite-State Analysis

Speaker: Zhen Zhang, Department of E & CE, Utah State University

Abstract: There has been an increasing demand for providing formal guarantees in the design process of safety-critical synthetic genetic circuits. As a prominent formal verification technique, probabilistic model checking has demonstrated significant potential in formally analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. In this talk, I will present a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing probabilistic model checkers. It is integrated with a new property-guided state expansion approach that improves the analysis accuracy. This method is evaluated on a design of a genetic toggle switch and several other benchmarking examples. Comparisons with another state-of- the-art tool demonstrate both accuracy and efficiency of the presented method.

When

Friday, February 28, 2020 | 3:30 pm - 4:30 pm

Where

Animal Science
   Room: 119

Event Type

Conference/Seminar

Department

Mathematics and Statistics

Target Audience

Students,Faculty

Website

http://math.usu.edu/seminars-and-colloquia

Subscribe

 

Event Contact

Name: Jia Zhao
Phone: 4357971953
Email: jia.zhao@usu.edu

Submit

SUBMIT AN EVENT

Previous

FEBRUARY 2020

 Next
Sun Mon Tue Wed Thu Fri Sat
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29

View Today

View By

Day Week Month

  Event Types

Target Audiences

  Departments