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