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 pmWhere
Animal ScienceRoom: 119
Event Type
Department
Mathematics and Statistics
Target Audience
Students,Faculty
Website
View By
Event Types
- All Types
- Workshop/Training (2105)
- Arts/Entertainment (1894)
- Exhibition (1426)
- Student Activities (956)
- Recreation (802)
- Special Event (656)
- Information/Orientation (613)
- Social/Networking (605)
- Conference/Seminar (588)
- Panel Discussion/Presentation (575)
- Sports (386)
- Meeting (355)
- Academic Calendar (268)
- Lecture/Readings (259)
- Fair/Festival (187)
- Cultural (185)
- Ceremony/Awards/Celebration (121)
- Breakfast/Luncheon/Dinner (109)
- Fundraiser (89)
- Date/Deadline (60)
- Reception/Reunion (11)
- More Types
Target Audiences
- All Audiences
- Students (16)
- General Public (11)
- Faculty (5)
- Staff (5)
- Alumni (3)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- Jon M. Huntsman School of Business (5)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (0)
- BI Group (0)
- Association for Information Systems (AIS) (0)
- Economics and Finance Department (0)
- Business Council (0)
- Covey Leadership Center (0)
- School of Accountancy (2)
- Society for Human Resource Management (SHRM) (1)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Master of Management Information Systems (MMIS) (0)
- International Business Association (0)
- Master of Science in Economics (MSE) (0)
- Management Department (0)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Data Analytics & Information Systems Department (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Sales Club (0)
- Marketing and Strategy Department (0)
- Master in Human Resources (MHR) (0)
- She's Daring Mighty Things (0)
- Shingo Institute Student Chapter (0)
- Huntsman Scholars (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- USU Pre-Law Society (0)
- Institute of Management Accountants (IMA) (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- Investment Banking Club (0)
- Finance and Economics Club (0)
- Financial Planning Association (FPA) (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Healthcare Administration Club (HAC) (0)
- Huntsman Marketing Association (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- More Departments
- President's Office (5)
- College of Humanities & Social Sciences (3)
- Communication Studies and Philosophy (0)
- CHaSS Research (0)
- English (0)
- Community and Natural Resources Institute (0)
- Center for Anticipatory Intelligence (0)
- Center for Intersectional Gender Studies and Research (0)
- Aerospace Studies (Air Force ROTC) (0)
- History (1)
- Utah Public Radio (KUSU) (0)
- World Languages and Cultures (0)
- Political Science (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Intensive English Language Institute (0)
- Interfaith Initiative (0)
- Heravi Peace Institute (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- Museum of Anthropology (0)
- Journalism and Communication (0)
- More Departments
- USU Eastern (3)
- Athletics (1)
- Men’s Tennis (0)
- Men’s Basketball (0)
- Football (0)
- Men’s Golf (0)
- Cross Country (0)
- Softball (0)
- Track and Field (0)
- Women’s Basketball (1)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Volleyball (0)
- Women’s Tennis (0)
- More Departments
- Caine College of the Arts (1)
- Emma Eccles Jones College of Education & Human Services (1)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Emma Eccles Jones Early Childhood Center (0)
- Communicative Disorders and Deaf Education (0)
- Kinesiology and Health Science (0)
- Edith Bowen Laboratory School (0)
- Institute for Disability Research, Policy & Practice (0)
- School of Teacher Education and Leadership (1)
- Psychology (0)
- Nursing and Health Professions (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- More Departments
- Merrill-Cazier Library (1)
- Statewide Campuses (1)
- Moab (0)
- Brigham Region (0)
- More Departments
- Student Affairs (1)
- Christensen Office of Social Action and Sustainability (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- Counseling and Prevention Services (0)
- Aggie Blue Bikes (0)
- Latinx Cultural Center (1)
- SAAVi Office (0)
- Student Club/Organization (0)
- Student Involvement & Leadership Center/USUSA (0)
- The HURD (0)
- Veterans Resource Office (0)
- Native American Cultural Center (0)
- More Departments
- Utah State University (1)
- Advancement (0)
- Finance and Administrative Services (0)
- Dining Services (0)
- Controller's Office (0)
- Conference Center (0)
- Housing (0)
- Campus Store (0)
- Facilities (0)
- Wellness Program (0)
- Staff Employee Association (0)
- Public safety (0)
- Taggart Student Center (0)
- University Inn (0)
- Human Resources (0)
- Parking and Transportation Services (0)
- Publication Design and Production (0)
- Purchasing and Contract Services (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- Poisonous Plant Lab (0)
- Plants, Soils & Climate (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Biological Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Engineering Education (0)
- Space Dynamics Laboratory (0)
- Society of Women Engineers (SWE) (0)
- More Departments
- Quinney College of Natural Resources (0)
- College of Veterinary Medicine (0)
- College of Science (0)
- Geosciences (0)
- Intermountain Herbarium (0)
- Center for Atmospheric and Space Studies (0)
- Chemistry and Biochemistry (0)
- Physics (0)
- Biology (0)
- Mathematics and Statistics (0)
- Computer Science (0)
- More Departments
- Extension (0)
- Cache County (0)
- Carbon County (0)
- Beaver County (0)
- Box Elder County (0)
- Davis County (0)
- Duchesne County (0)
- 4-H (0)
- Sevier County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Rich County (0)
- Salt Lake County (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Wasatch County (0)
- Wasatch Front (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- Grand County (0)
- Iron County (0)
- San Juan County (0)
- Emery County (0)
- Sanpete County (0)
- Garfield County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Juab County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Multiple Sponsors (0)
- Office of Research (0)
- Provost & Executive Vice President (0)
- Aggie First Scholars (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Career Design Center (0)
- Financial Aid (0)
- Admissions (0)
- Empowering Teaching Excellence (0)
- Faculty Senate (0)
- University Advising (0)
- Honors (0)
- Registrar's Office (0)
- School of Graduate Studies (0)
- Office of Global Engagement (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- Student Orientation and Transition Services (0)
- More Departments
- University Marketing and Communications (0)
- Other (0)
- More Departments