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
- Academic Calendar (0)
- Arts/Entertainment (0)
- Fair/Festival (0)
- Ceremony/Awards/Celebration (0)
- Conference/Seminar (0)
- Cultural (0)
- Date/Deadline (0)
- Exhibition (0)
- Fundraiser (0)
- Information/Orientation (0)
- Lecture/Readings (0)
- Breakfast/Luncheon/Dinner (0)
- Meeting (0)
- Panel Discussion/Presentation (0)
- Reception/Reunion (0)
- Recreation (0)
- Social/Networking (0)
- Special Event (0)
- Sports (0)
- Student Activities (0)
- Workshop/Training (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)
- Women’s Tennis (0)
- Women’s Soccer (0)
- Men’s Tennis (0)
- Women’s Basketball (0)
- Softball (0)
- Women’s Gymnastics (0)
- Men’s Golf (0)
- Track and Field (0)
- Volleyball (0)
- Football (0)
- Cross Country (0)
- Men’s Basketball (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Wellness Program (0)
- Facilities (0)
- Public safety (0)
- Publication Design and Production (0)
- Parking and Transportation Services (0)
- Dining Services (0)
- Conference Center (0)
- Controller's Office (0)
- Human Resources (0)
- Housing (0)
- Campus Store (0)
- More Departments
- Caine College of the Arts (0)
- College of Agriculture and Applied Sciences (0)
- School of Veterinary Medicine (0)
- Animal, Dairy & Veterinary Sciences (0)
- Poisonous Plant Lab (0)
- Center for Integrated BioSystems (0)
- School of Applied Sciences, Technology & Education (0)
- Landscape Architecture and Environmental Planning (0)
- Plants, Soils & Climate (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Space Dynamics Laboratory (0)
- Society of Women Engineers (SWE) (0)
- Engineering Education (0)
- Biological Engineering (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- More Departments
- College of Humanities & Social Sciences (0)
- Interfaith Initiative (0)
- Journalism and Communication (0)
- Communication Studies and Philosophy (0)
- Military Science (Army ROTC) (0)
- Mountain West Center for Regional Studies (0)
- English (0)
- Museum of Anthropology (0)
- Heravi Peace Institute (0)
- Intensive English Language Institute (0)
- Community and Natural Resources Institute (0)
- History (0)
- Center for Intersectional Gender Studies and Research (0)
- CHaSS Research (0)
- Center for Anticipatory Intelligence (0)
- World Languages and Cultures (0)
- Aerospace Studies (Air Force ROTC) (0)
- Political Science (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Wildland Resources (0)
- Environment and Society (0)
- Watershed Sciences (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)
- Special Education and Rehabilitation (0)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Sorenson Center for Clinical Excellence (0)
- Nursing and Health Professions (0)
- Psychology (0)
- Kinesiology and Health Science (0)
- School of Teacher Education and Leadership (0)
- Emma Eccles Jones Early Childhood Center (0)
- Communicative Disorders and Deaf Education (0)
- Edith Bowen Laboratory School (0)
- Institute for Disability Research, Policy & Practice (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Cache County (0)
- Carbon County (0)
- Grand County (0)
- Iron County (0)
- Emery County (0)
- Garfield County (0)
- Davis County (0)
- Duchesne County (0)
- Swaner Preserve EcoCenter (0)
- Beaver County (0)
- Thanksgiving Point (0)
- Box Elder County (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Wasatch County (0)
- Wasatch Front (0)
- Washington County (0)
- 4-H (0)
- Wayne County (0)
- Weber County (0)
- Salt Lake County (0)
- San Juan County (0)
- Morgan County (0)
- Sanpete County (0)
- Ogden Botanical Center (0)
- Sevier County (0)
- Summit County (0)
- Piute County (0)
- Rich 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)
- Healthcare Administration Club (HAC) (0)
- BI Group (0)
- Huntsman Marketing Association (0)
- Business Council (0)
- Finance and Economics Club (0)
- Financial Planning Association (FPA) (0)
- Covey Leadership Center (0)
- Economics and Finance Department (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Association for Information Systems (AIS) (0)
- Beta Alpha Psi (BAP) (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)
- Analytics Solutions Center (0)
- School of Accountancy (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)
- 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)
- Empowering Teaching Excellence (0)
- Tenure Academy (0)
- Registrar's Office (0)
- Financial Aid (0)
- School of Graduate Studies (0)
- Honors (0)
- Office of Global Engagement (0)
- Faculty Senate (0)
- Career Design Center (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Admissions (0)
- Aggie First Scholars (0)
- University Advising (0)
- More Departments
- Statewide Campuses (0)
- Tooele Region (0)
- Southwest Region (0)
- More Departments
- Student Affairs (0)
- Native American Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- SAAVi Office (0)
- Student Involvement & Leadership Center/USUSA (0)
- The HURD (0)
- Latinx Cultural Center (0)
- Counseling and Prevention Services (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- Aggie Blue Bikes (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- USU Eastern (0)
- Other (0)
- More Departments