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 (26)
- Panel Discussion/Presentation (24)
- Student Activities (3)
- Information/Orientation (2)
- Meeting (2)
- Special Event (2)
- Recreation (1)
- Workshop/Training (1)
- Academic Calendar (0)
- Arts/Entertainment (0)
- Fair/Festival (0)
- Ceremony/Awards/Celebration (0)
- Cultural (0)
- Date/Deadline (0)
- Exhibition (0)
- Fundraiser (0)
- Lecture/Readings (0)
- Breakfast/Luncheon/Dinner (0)
- Reception/Reunion (0)
- Social/Networking (0)
- Sports (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
- President's Office (5)
- USU Eastern (4)
- Jon M. Huntsman School of Business (3)
- FJ Management Center for Student Success (0)
- Association for Information Systems (AIS) (0)
- Global Learning Experience (0)
- Business Council (0)
- Healthcare Administration Club (HAC) (0)
- BI Group (0)
- Master of Accounting (MAcc) (0)
- Beta Alpha Psi (BAP) (0)
- Master of Business Administration (MBA) (0)
- Huntsman Marketing Association (0)
- Master of Management Information Systems (MMIS) (0)
- Master of Science in Economics (MSE) (0)
- Entrepreneurship Club (0)
- Economics and Finance Department (0)
- Analytics Solutions Center (0)
- Master of Financial Economics (MFE) (0)
- Finance and Economics Club (0)
- Phi Beta Lambda (PBL) (0)
- Entrepreneurship Center (1)
- Pro-Sales (0)
- Covey Leadership Center (0)
- Financial Planning Association (FPA) (1)
- Real Estate Association (0)
- Sales Club (0)
- School of Accountancy (0)
- International Business Association (0)
- Huntsman Scholars (0)
- She's Daring Mighty Things (0)
- Management Department (0)
- Shingo Institute Student Chapter (0)
- Data Analytics & Information Systems Department (0)
- Institute of Management Accountants (IMA) (0)
- Marketing and Strategy Department (0)
- Investment Banking Club (0)
- Master in Human Resources (MHR) (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)
- More Departments
- Caine College of the Arts (2)
- College of Science (2)
- Intermountain Herbarium (0)
- Center for Atmospheric and Space Studies (0)
- Geosciences (0)
- Biology (0)
- Chemistry and Biochemistry (0)
- Physics (0)
- Mathematics and Statistics (0)
- Computer Science (0)
- More Departments
- Extension (2)
- Summit County (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Cache County (0)
- Carbon County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Beaver County (0)
- Wasatch County (0)
- Box Elder County (0)
- Wasatch Front (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- Davis County (0)
- Duchesne County (0)
- Rich County (0)
- 4-H (0)
- Salt Lake County (0)
- Swaner Preserve EcoCenter (2)
- San Juan County (0)
- Sanpete County (0)
- Sevier County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- Emery County (0)
- Garfield County (0)
- Grand County (0)
- Iron County (0)
- Kane County (0)
- Juab County (0)
- Logan Campus Extension (0)
- Millard County (0)
- More Departments
- Merrill-Cazier Library (2)
- Statewide Campuses (2)
- College of Humanities & Social Sciences (1)
- Communication Studies and Philosophy (0)
- CHaSS Research (0)
- English (0)
- Community and Natural Resources Institute (0)
- Center for Intersectional Gender Studies and Research (0)
- World Languages and Cultures (0)
- Aerospace Studies (Air Force ROTC) (0)
- Political Science (0)
- Social Work (0)
- Center for Anticipatory Intelligence (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- Military Science (Army ROTC) (0)
- Intensive English Language Institute (0)
- Mountain West Center for Regional Studies (0)
- Heravi Peace Institute (0)
- Museum of Anthropology (0)
- History (0)
- Interfaith Initiative (0)
- Journalism and Communication (0)
- More Departments
- Student Affairs (1)
- Christensen Office of Social Action and Sustainability (0)
- CARE Office (0)
- Veterans Resource Office (0)
- Community Engaged Learning (0)
- Student Health & Wellness Center (0)
- Campus Recreation (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- Utah Conservation Corps (0)
- Center for Community Engagement (0)
- SAAVi Office (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Counseling and Psychological Services (1)
- Aggie Blue Bikes (0)
- Education Outreach (0)
- Disabilty Resource Center (0)
- Fraternity and Sorority Life (0)
- Outdoor Programs (0)
- Peace Corps Prep (0)
- Latinx Cultural Center (0)
- Residence Life (0)
- Native American Cultural Center (0)
- More Departments
- Utah State University (1)
- Advancement (0)
- Athletics (0)
- Men’s Tennis (0)
- Men’s Golf (0)
- Softball (0)
- Track and Field (0)
- Men’s Basketball (0)
- Football (0)
- Cross Country (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Volleyball (0)
- Women’s Basketball (0)
- Women’s Tennis (0)
- More Departments
- Finance and Administrative Services (0)
- Dining Services (0)
- Facilities (0)
- Information Technology (0)
- Conference Center (0)
- Campus Store (0)
- Housing (0)
- Controller's Office (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)
- Animal, Dairy & Veterinary Sciences (0)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Agricultural Experiment Station (0)
- Laboratory Animal Research Center (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 Engineering (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)
- Space Dynamics Laboratory (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)
- Communicative Disorders and Deaf Education (0)
- Emma Eccles Jones Early Childhood Center (0)
- Edith Bowen Laboratory School (0)
- Kinesiology and Health Science (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)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- Aggie First Scholars (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)
- Admissions (0)
- Student Orientation and Transition Services (0)
- More Departments
- Provost Office (0)
- Honors (0)
- Faculty Senate (0)
- Career Design Center (0)
- Registrar's Office (0)
- Empowering Teaching Excellence (0)
- School of Graduate Studies (0)
- Office of Global Engagement (0)
- Tenure Academy (0)
- Study Abroad (0)
- University Advising (0)
- More Departments
- Office of Research (0)
- University Marketing and Communications (0)
- Other (0)
- Academic Affairs (0)
- More Departments