Upcoming Events

Clear all filters Faculty College of Science

Previous Day

Friday, February 28

Next Day
28
Feb

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

Conference/Seminar

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.

3:30 pm - 4:30 pm | Animal Science |
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