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