Upcoming Events
Diversity Conference
Conference/Seminar
The Diversity & Inclusion Conference is an annual event for students, faculty, staff and community members to explore issues of diversity and social justice on a deeper level.
Register online at https://usueastern.edu/cdi/conference
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
- Exhibition (5)
- Arts/Entertainment (3)
- Fair/Festival (2)
- Conference/Seminar (2)
- Panel Discussion/Presentation (2)
- Student Activities (2)
- Cultural (1)
- Sports (1)
- Workshop/Training (1)
- Academic Calendar (0)
- Ceremony/Awards/Celebration (0)
- Date/Deadline (0)
- Fundraiser (0)
- Information/Orientation (0)
- Lecture/Readings (0)
- Breakfast/Luncheon/Dinner (0)
- Meeting (0)
- Reception/Reunion (0)
- Recreation (0)
- Social/Networking (0)
- Special Event (0)
- More Types
Target Audiences
- All Audiences
- Students (2)
- Faculty (2)
- General Public (1)
- Staff (1)
- Alumni (0)
- Parents (0)
- Prospective Students (0)
Departments
- All Departments
- College of Science (1)
- Intermountain Herbarium (0)
- Geosciences (0)
- Physics (0)
- Center for Atmospheric and Space Studies (0)
- Mathematics and Statistics (1)
- Chemistry and Biochemistry (0)
- Computer Science (0)
- Biology (0)
- More Departments
- USU Eastern (1)
- Advancement (0)
- Athletics (0)
- Men’s Tennis (0)
- Women’s Tennis (0)
- Men’s Golf (0)
- Women’s Gymnastics (0)
- Women’s Soccer (0)
- Volleyball (0)
- Football (0)
- Softball (0)
- Men’s Basketball (0)
- Track and Field (0)
- Women’s Basketball (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Staff Employee Association (0)
- Taggart Student Center (0)
- University Inn (0)
- Facilities (0)
- Public safety (0)
- Dining Services (0)
- Publication Design and Production (0)
- Information Technology (0)
- Human Resources (0)
- Housing (0)
- Parking and Transportation Services (0)
- Wellness Program (0)
- Conference Center (0)
- Controller's Office (0)
- Campus Store (0)
- More Departments
- Caine College of the Arts (0)
- College of Agriculture and Applied Sciences (0)
- School of Applied Sciences, Technology & Education (0)
- School of Veterinary Medicine (0)
- Poisonous Plant Lab (0)
- Animal, Dairy & Veterinary Sciences (0)
- Nutrition, Dietetics & Food Sciences (0)
- Center for Integrated BioSystems (0)
- Landscape Architecture and Environmental Planning (0)
- Plants, Soils & Climate (0)
- Applied Economics (0)
- Agricultural Experiment Station (0)
- Aggie Ice Cream (0)
- Laboratory Animal Research Center (0)
- More Departments
- College of Engineering (0)
- Civil and Environmental Engineering (0)
- Electrical and Computer Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Biological Engineering (0)
- Mechanical and Aerospace Engineering (0)
- Space Dynamics Laboratory (0)
- Engineering Education (0)
- Society of Women Engineers (SWE) (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)
- Communication Studies and Philosophy (0)
- Community and Natural Resources Institute (0)
- History (0)
- Center for Intersectional Gender Studies and Research (0)
- English (0)
- CHaSS Research (0)
- Heravi Peace Institute (0)
- Center for Anticipatory Intelligence (0)
- World Languages and Cultures (0)
- Aerospace Studies (Air Force ROTC) (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)
- 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)
- School of Teacher Education and Leadership (0)
- Edith Bowen Laboratory School (0)
- Nursing and Health Professions (0)
- Emma Eccles Jones Early Childhood Center (0)
- Psychology (0)
- Institute for Disability Research, Policy & Practice (0)
- Kinesiology and Health Science (0)
- Communicative Disorders and Deaf Education (0)
- Human Development and Family Studies (0)
- Instructional Technology and Learning Sciences (0)
- More Departments
- Extension (0)
- Juab County (0)
- Kane County (0)
- Logan Campus Extension (0)
- Millard County (0)
- Summit County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Cache County (0)
- Grand County (0)
- Carbon County (0)
- Tooele County (0)
- Iron County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Emery County (0)
- Garfield County (0)
- Wasatch County (0)
- Davis County (0)
- Duchesne County (0)
- Rich County (0)
- Salt Lake County (0)
- Beaver County (0)
- San Juan County (0)
- Box Elder County (0)
- Sanpete County (0)
- Sevier County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Piute County (0)
- 4-H (0)
- Wasatch Front (0)
- Washington County (0)
- Wayne County (0)
- Weber County (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- Business Council (0)
- Covey Leadership Center (0)
- BI Group (0)
- Financial Planning Association (FPA) (0)
- FJ Management Center for Student Success (0)
- Economics and Finance Department (0)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Entrepreneurship Center (0)
- Master of Management Information Systems (MMIS) (0)
- Global Learning Experience (0)
- Master of Science in Economics (MSE) (0)
- Healthcare Administration Club (HAC) (0)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Huntsman Marketing Association (0)
- Pro-Sales (0)
- Beta Alpha Psi (BAP) (0)
- Huntsman Scholars (0)
- Real Estate Association (0)
- Sales Club (0)
- Finance and Economics Club (0)
- School of Accountancy (0)
- Analytics Solutions Center (0)
- Entrepreneurship Club (0)
- She's Daring Mighty Things (0)
- Association for Information Systems (AIS) (0)
- Shingo Institute Student Chapter (0)
- Society for Human Resource Management (SHRM) (0)
- International Business Association (0)
- USU Distributive Education Clubs of America Chapter (DECA) (0)
- Institute of Management Accountants (IMA) (0)
- Management Department (0)
- USU Pre-Law Society (0)
- Investment Banking Club (0)
- Utah Women & Leadership Project (0)
- Women in Business Association (0)
- Data Analytics & Information Systems Department (0)
- Marketing and Strategy Department (0)
- Master in Human Resources (MHR) (0)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of the Executive Vice President (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Office of Data and Analytics (0)
- Student Achievement Collaborative (0)
- Academic Success Center (ASC) (0)
- Student Orientation and Transition Services (0)
- Financial Aid (0)
- Aggie First Scholars (0)
- Admissions (0)
- More Departments
- President's Office (0)
- Provost Office (0)
- Honors (0)
- Faculty Senate (0)
- Tenure Academy (0)
- Registrar's Office (0)
- School of Graduate Studies (0)
- University Advising (0)
- Study Abroad (0)
- Office of Global Engagement (0)
- Career Design Center (0)
- Empowering Teaching Excellence (0)
- More Departments
- Statewide Campuses (0)
- Office of Research (0)
- Student Affairs (0)
- Latinx Cultural Center (0)
- Native American Cultural Center (0)
- Campus Recreation (0)
- Outdoor Programs (0)
- Center for Community Engagement (0)
- Christensen Office of Social Action and Sustainability (0)
- Peace Corps Prep (0)
- CARE Office (0)
- Residence Life (0)
- Community Engaged Learning (0)
- Counseling and Psychological Services (0)
- Aggie Blue Bikes (0)
- Education Outreach (0)
- Fraternity and Sorority Life (0)
- Student Involvement & Leadership Office/USUSA (0)
- The HURD (0)
- Disabilty Resource Center (0)
- Utah Conservation Corps (0)
- SAAVi Office (0)
- Veterans Resource Office (0)
- Student Club/Organization (0)
- Student Conduct and Community Standards (0)
- Student Health & Wellness Center (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- Other (0)
- Academic Affairs (0)
- More Departments