Upcoming Events
Applied Mathematics Seminar: Stochastic Approximate Model-Checker for Infinite-State Analysis
Conference/Seminar
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.
View By
Event Types
- All Types
- Conference/Seminar (1)
- Academic Calendar (0)
- Arts/Entertainment (0)
- Fair/Festival (0)
- Ceremony/Awards/Celebration (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
- Students (1)
- Faculty (1)
- General Public (0)
- Alumni (0)
- Staff (0)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- President's Office (5)
- USU Eastern (3)
- Caine College of the Arts (2)
- College of Humanities & Social Sciences (2)
- Communication Studies and Philosophy (0)
- CHaSS Research (0)
- English (0)
- Heravi Peace Institute (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)
- Political Science (1)
- Utah Public Radio (KUSU) (1)
- World Languages and Cultures (0)
- Museum of Anthropology (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Intensive English Language 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
- Other (2)
- Athletics (1)
- Men’s Tennis (0)
- Men’s Golf (0)
- Track and Field (0)
- Softball (0)
- Football (0)
- Men’s Basketball (0)
- Women’s Gymnastics (1)
- Cross Country (0)
- Women’s Soccer (0)
- Volleyball (0)
- Women’s Basketball (0)
- Women’s Tennis (0)
- More Departments
- College of Science (1)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Center for Atmospheric and Space Studies (0)
- Chemistry and Biochemistry (0)
- Biology (0)
- Mathematics and Statistics (1)
- Computer Science (0)
- More Departments
- Provost Office (1)
- Honors (0)
- Faculty Senate (0)
- Registrar's Office (0)
- Career Design Center (0)
- Empowering Teaching Excellence (0)
- Office of Global Engagement (1)
- Tenure Academy (0)
- School of Graduate Studies (0)
- Study Abroad (0)
- University Advising (0)
- More Departments
- Statewide Campuses (1)
- Utah State University (1)
- Advancement (0)
- Finance and Administrative Services (0)
- Dining Services (0)
- Facilities (0)
- Information Technology (0)
- Housing (0)
- Conference Center (0)
- Controller's Office (0)
- Campus Store (0)
- Wellness Program (0)
- Public safety (0)
- Human Resources (0)
- Parking and Transportation Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Publication Design and Production (0)
- Purchasing and Contract Services (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- Poisonous Plant Lab (0)
- Nutrition, Dietetics & Food Sciences (0)
- Plants, Soils & Climate (0)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Agricultural Experiment Station (0)
- Landscape Architecture and Environmental Planning (0)
- Laboratory Animal Research Center (0)
- Applied Economics (0)
- Aggie Ice Cream (0)
- More Departments
- College of Engineering (0)
- Space Dynamics Laboratory (0)
- Electrical and Computer Engineering (0)
- Mechanical and Aerospace Engineering (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
- 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)
- Instructional Technology and Learning Sciences (0)
- Human Development and Family Studies (0)
- Psychology (0)
- Emma Eccles Jones Early Childhood Center (0)
- School of Teacher Education and Leadership (0)
- Nursing and Health Professions (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)
- Cache County (0)
- Juab County (0)
- Carbon County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Davis County (0)
- Duchesne County (0)
- Grand County (0)
- Iron County (0)
- Emery County (0)
- Garfield County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Beaver County (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)
- Wayne County (0)
- Weber County (0)
- 4-H (0)
- Rich County (0)
- Salt Lake County (0)
- San Juan County (0)
- Sanpete County (0)
- Morgan County (0)
- Sevier County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- 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)
- Entrepreneurship Club (0)
- Finance and Economics Club (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)
- 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)
- Business Council (0)
- BI Group (0)
- Economics and Finance Department (0)
- Entrepreneurship Center (0)
- Covey Leadership Center (0)
- Association for Information Systems (AIS) (0)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (0)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- Office of Data and Analytics (0)
- Aggie First Scholars (0)
- Student Orientation and Transition Services (0)
- Student Achievement Collaborative (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Financial Aid (0)
- Academic Success Center (ASC) (0)
- Admissions (0)
- More Departments
- Office of Research (0)
- Student Affairs (0)
- Latinx Cultural Center (0)
- Native American Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Outdoor Programs (0)
- Peace Corps Prep (0)
- CARE Office (0)
- Residence Life (0)
- Education Outreach (0)
- Counseling and Psychological Services (0)
- Fraternity and Sorority Life (0)
- Disabilty Resource Center (0)
- Community Engaged Learning (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- Utah Conservation Corps (0)
- Veterans Resource Office (0)
- SAAVi Office (0)
- Student Club/Organization (0)
- Aggie Blue Bikes (0)
- Student Conduct and Community Standards (0)
- Student Health & Wellness Center (0)
- More Departments
- University Marketing and Communications (0)
- Academic Affairs (0)
- More Departments