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 (2124)
- Arts/Entertainment (1936)
- Exhibition (1509)
- Student Activities (968)
- Recreation (803)
- Special Event (654)
- Information/Orientation (624)
- Social/Networking (608)
- Conference/Seminar (595)
- Panel Discussion/Presentation (580)
- Sports (395)
- Meeting (365)
- Academic Calendar (270)
- Lecture/Readings (260)
- Cultural (191)
- Fair/Festival (187)
- Ceremony/Awards/Celebration (126)
- Breakfast/Luncheon/Dinner (105)
- Fundraiser (90)
- Date/Deadline (63)
- Reception/Reunion (13)
- More Types
Target Audiences
- All Audiences
- Students (14)
- General Public (9)
- Faculty (7)
- Staff (5)
- Alumni (1)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- Jon M. Huntsman School of Business (5)
- Financial Planning Association (FPA) (0)
- Association for Information Systems (AIS) (0)
- Business Council (0)
- Global Learning Experience (0)
- BI Group (0)
- Healthcare Administration Club (HAC) (0)
- Beta Alpha Psi (BAP) (0)
- Huntsman Marketing Association (0)
- Economics and Finance Department (0)
- Entrepreneurship Club (0)
- Finance and Economics Club (0)
- Covey Leadership Center (0)
- Analytics Solutions Center (0)
- Entrepreneurship Center (1)
- Master of Accounting (MAcc) (0)
- FJ Management Center for Student Success (1)
- Master of Business Administration (MBA) (0)
- School of Accountancy (1)
- 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)
- International Business Association (0)
- Pro-Sales (0)
- Real Estate Association (0)
- Management Department (0)
- Sales Club (0)
- Data Analytics & Information Systems Department (0)
- She's Daring Mighty Things (0)
- Marketing and Strategy Department (0)
- Shingo Institute Student Chapter (0)
- Master in Human Resources (MHR) (0)
- Huntsman Scholars (0)
- Society for Human Resource Management (SHRM) (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)
- Investment Banking Club (0)
- Women in Business Association (0)
- More Departments
- President's Office (5)
- USU Eastern (4)
- College of Science (3)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Mathematics and Statistics (0)
- Center for Atmospheric and Space Studies (0)
- Biology (0)
- Chemistry and Biochemistry (0)
- Computer Science (0)
- More Departments
- Caine College of the Arts (2)
- Provost Office (1)
- University Advising (0)
- Honors (0)
- Faculty Senate (0)
- Registrar's Office (0)
- Study Abroad (0)
- Tenure Academy (0)
- School of Graduate Studies (0)
- Office of Global Engagement (0)
- Career Design Center (0)
- Empowering Teaching Excellence (1)
- More Departments
- Statewide Campuses (1)
- Student Affairs (1)
- Native American Cultural Center (0)
- Outdoor Programs (0)
- Christensen Office of Social Action and Sustainability (0)
- Peace Corps Prep (0)
- Veterans Resource Office (0)
- Residence Life (0)
- Education Outreach (0)
- CARE Office (0)
- Fraternity and Sorority Life (0)
- Student Health & Wellness Center (0)
- Counseling and Psychological Services (0)
- Disabilty Resource Center (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- Utah Conservation Corps (0)
- SAAVi Office (0)
- Community Engaged Learning (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- Latinx Cultural Center (1)
- Aggie Blue Bikes (0)
- More Departments
- Advancement (0)
- Athletics (0)
- Women’s Soccer (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Men’s Golf (0)
- Women’s Gymnastics (0)
- Track and Field (0)
- Volleyball (0)
- Women’s Basketball (0)
- Softball (0)
- Football (0)
- Men’s Basketball (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Publication Design and Production (0)
- Purchasing and Contract Services (0)
- Facilities (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Dining Services (0)
- Public safety (0)
- Wellness Program (0)
- Human Resources (0)
- Information Technology (0)
- Parking and Transportation Services (0)
- Conference Center (0)
- Housing (0)
- Controller's Office (0)
- Campus Store (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Poisonous Plant Lab (0)
- Nutrition, Dietetics & Food Sciences (0)
- Landscape Architecture and Environmental Planning (0)
- Plants, Soils & Climate (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)
- Space Dynamics Laboratory (0)
- Mechanical and Aerospace Engineering (0)
- Society of Women Engineers (SWE) (0)
- Biological Engineering (0)
- Engineering Education (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)
- CHaSS Research (0)
- Mountain West Center for Regional Studies (0)
- Museum of Anthropology (0)
- World Languages and Cultures (0)
- English (0)
- Political Science (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- Heravi Peace Institute (0)
- History (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)
- Intensive English Language Institute (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)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- Psychology (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (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)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Cache County (0)
- Millard County (0)
- Carbon County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Uintah County (0)
- Grand County (0)
- Iron County (0)
- USU Botanical Center (0)
- Utah County (0)
- Davis County (0)
- Duchesne County (0)
- Wasatch County (0)
- Emery County (0)
- Wasatch Front (0)
- Garfield County (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- Rich County (0)
- Beaver County (0)
- Salt Lake County (0)
- Box Elder County (0)
- San Juan County (0)
- Sanpete County (0)
- Sevier County (0)
- Morgan County (0)
- 4-H (0)
- Ogden Botanical Center (0)
- Piute County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Aggie First Scholars (0)
- Student Orientation and Transition Services (0)
- Office of Data and Analytics (0)
- Student Achievement Collaborative (0)
- Financial Aid (0)
- Academic Success Center (ASC) (0)
- Admissions (0)
- More Departments
- Office of Research (0)
- University Marketing and Communications (0)
- Utah State University (0)
- Other (0)
- Academic Affairs (0)
- More Departments