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)
- 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)
- Recreation (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
- Jon M. Huntsman School of Business (5)
- Beta Alpha Psi (BAP) (0)
- Analytics Solutions Center (0)
- Association for Information Systems (AIS) (0)
- BI Group (0)
- Business Council (0)
- Covey Leadership Center (0)
- Master in Human Resources (MHR) (0)
- School of Accountancy (2)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Society for Human Resource Management (SHRM) (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)
- Investment Banking Club (0)
- Pro-Sales (0)
- International Business Association (0)
- Real Estate Association (0)
- Sales Club (0)
- Management Department (0)
- Data Analytics & Information Systems Department (0)
- She's Daring Mighty Things (0)
- Shingo Institute Student Chapter (0)
- Marketing and Strategy Department (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)
- Huntsman Marketing Association (0)
- Huntsman Scholars (0)
- Institute of Management Accountants (IMA) (0)
- Economics and Finance Department (0)
- Entrepreneurship Club (0)
- Entrepreneurship Center (0)
- Finance and Economics Club (0)
- FJ Management Center for Student Success (0)
- Financial Planning Association (FPA) (0)
- Global Learning Experience (0)
- Healthcare Administration Club (HAC) (0)
- More Departments
- Office of the Executive Vice President (5)
- Analysis Assessment & Accreditation (0)
- Aggie First Scholars (0)
- Financial Aid (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Academic Success Center (ASC) (0)
- Admissions (0)
- Nora Eccles Harrison Museum of Art (5)
- Student Orientation and Transition Services (0)
- Student Achievement Collaborative (0)
- More Departments
- College of Humanities & Social Sciences (3)
- English (0)
- Intensive English Language Institute (0)
- Aerospace Studies (Air Force ROTC) (0)
- Asian Studies (0)
- History (1)
- Center for Intersectional Gender Studies and Research (0)
- Languages, Philosophy and Communication Studies (0)
- Interfaith Initiative (0)
- SAAVi Office (0)
- Journalism and Communication (0)
- Political Science (0)
- Sociology, Social Work and Anthropology (0)
- Mountain West Center for Regional Studies (0)
- Religious Studies (0)
- Museum of Anthropology (0)
- Utah Public Radio (KUSU) (0)
- Latin American Studies (0)
- Military Science (Army ROTC) (0)
- More Departments
- USU Eastern (3)
- Athletics (1)
- Men’s Basketball (0)
- Men’s Golf (0)
- Men’s Tennis (0)
- Softball (0)
- Football (0)
- Cross Country (0)
- Women’s Basketball (1)
- Track and Field (0)
- Women’s Gymnastics (0)
- Volleyball (0)
- Women’s Tennis (0)
- Women’s Soccer (0)
- More Departments
- Caine College of the Arts (1)
- Theatre Arts (0)
- Music (0)
- More Departments
- Diversity, Equity, and Inclusion (1)
- USU Eastern Center for Diversity & Inclusion (0)
- Native American Cultural Center (0)
- More Departments
- Emma Eccles Jones College of Education & Human Services (1)
- Human Development and Family Studies (0)
- Instructional Technology and Learning Sciences (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)
- School of Teacher Education and Leadership (1)
- Psychology (0)
- Nursing and Health Professions (0)
- Sorenson Center for Clinical Excellence (0)
- Special Education and Rehabilitation (0)
- More Departments
- Merrill-Cazier Library (1)
- Statewide Campuses (1)
- Moab (0)
- Southwest Region (0)
- More Departments
- Utah State University (1)
- Advancement (0)
- Finance and Administrative Services (0)
- Dining Services (0)
- Housing (0)
- Facilities (0)
- Taggart Student Center (0)
- University Inn (0)
- Wellness Program (0)
- Conference Center (0)
- Campus Store (0)
- Controller's Office (0)
- Parking and Transportation Services (0)
- Public safety (0)
- Information Technology (0)
- Human Resources (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Publication Design and Production (0)
- More Departments
- College of Agriculture and Applied Sciences (0)
- Center for Integrated BioSystems (0)
- Agricultural Experiment Station (0)
- Applied Economics (0)
- Landscape Architecture and Environmental Planning (0)
- Aggie Ice Cream (0)
- Animal, Dairy & Veterinary Sciences (0)
- Laboratory Animal Research Center (0)
- School of Applied Sciences, Technology & Education (0)
- Plants, Soils & Climate (0)
- Poisonous Plant Lab (0)
- Nutrition, Dietetics & Food Sciences (0)
- School of Veterinary Medicine (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Engineering Education (0)
- Mechanical and Aerospace Engineering (0)
- Biological Engineering (0)
- Space Dynamics Laboratory (0)
- Civil and Environmental Engineering (0)
- Society of Women Engineers (SWE) (0)
- American Society of Mechanical Engineers (ASME) (0)
- More Departments
- Quinney College of Natural Resources (0)
- Watershed Sciences (0)
- Wildland Resources (0)
- Institute for Outdoor Recreation and Tourism (0)
- Environment and Society (0)
- Berryman Institute for Wildlife Damage Management (0)
- More Departments
- College of Science (0)
- Geosciences (0)
- Intermountain Herbarium (0)
- Mathematics and Statistics (0)
- Physics (0)
- Center for Atmospheric and Space Studies (0)
- Biology (0)
- Chemistry and Biochemistry (0)
- Computer Science (0)
- More Departments
- Extension (0)
- Grand County (0)
- Iron County (0)
- Cache County (0)
- Carbon County (0)
- 4-H (0)
- Beaver County (0)
- Davis County (0)
- Box Elder County (0)
- Duchesne County (0)
- Sevier County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Piute County (0)
- Wasatch County (0)
- Rich County (0)
- Wasatch Front (0)
- Salt Lake County (0)
- Washington County (0)
- Wayne County (0)
- San Juan County (0)
- Weber County (0)
- Sanpete County (0)
- Emery County (0)
- Garfield County (0)
- Millard County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Multiple Sponsors (0)
- President's Office (0)
- Provost Office (0)
- Tenure Academy (0)
- University Advising (0)
- Honors (0)
- Empowering Teaching Excellence (0)
- Career Design Center (0)
- Faculty Senate (0)
- Office of Global Engagement (0)
- Registrar's Office (0)
- Study Abroad (0)
- School of Graduate Studies (0)
- More Departments
- Office of Research (0)
- Student Affairs (0)
- Christensen Office of Social Action and Sustainability (0)
- CARE Office (0)
- Community Engaged Learning (0)
- Counseling and Psychological Services (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- Aggie Blue Bikes (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- Utah Conservation Corps (0)
- Veterans Resource Office (0)
- Student Health & Wellness Center (0)
- Fraternity and Sorority Life (0)
- Education Outreach (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Outdoor Programs (0)
- Peace Corps Prep (0)
- Residence Life (0)
- More Departments
- University Marketing and Communications (0)
- Other (0)
- More Departments