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