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)
- Center for Atmospheric and Space Studies (0)
- Geosciences (0)
- Mathematics and Statistics (1)
- Computer Science (0)
- Chemistry and Biochemistry (0)
- Biology (0)
- Physics (0)
- More Departments
- USU Eastern (1)
- Advancement (0)
- Athletics (0)
- Women’s Tennis (0)
- Men’s Tennis (0)
- Men’s Golf (0)
- Women’s Soccer (0)
- Track and Field (0)
- Volleyball (0)
- Women’s Basketball (0)
- Softball (0)
- Women’s Gymnastics (0)
- Football (0)
- Men’s Basketball (0)
- Cross Country (0)
- More Departments
- Finance and Administrative Services (0)
- Purchasing and Contract Services (0)
- Facilities (0)
- Staff Employee Association (0)
- Dining Services (0)
- Taggart Student Center (0)
- Conference Center (0)
- University Inn (0)
- Wellness Program (0)
- Human Resources (0)
- Controller's Office (0)
- Publication Design and Production (0)
- Housing (0)
- Parking and Transportation Services (0)
- Campus Store (0)
- Public safety (0)
- More Departments
- Caine College of the Arts (0)
- College of Agriculture and Applied Sciences (0)
- School of Veterinary Medicine (0)
- Poisonous Plant Lab (0)
- School of Applied Sciences, Technology & Education (0)
- Animal, Dairy & Veterinary Sciences (0)
- Agricultural Experiment Station (0)
- Plants, Soils & Climate (0)
- Applied Economics (0)
- Center for Integrated BioSystems (0)
- Nutrition, Dietetics & Food Sciences (0)
- Laboratory Animal Research Center (0)
- Aggie Ice Cream (0)
- Landscape Architecture and Environmental Planning (0)
- More Departments
- College of Engineering (0)
- Electrical and Computer Engineering (0)
- Space Dynamics Laboratory (0)
- Mechanical and Aerospace Engineering (0)
- Engineering Education (0)
- Civil and Environmental Engineering (0)
- American Society of Mechanical Engineers (ASME) (0)
- Society of Women Engineers (SWE) (0)
- Biological Engineering (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)
- Communication Studies and Philosophy (0)
- Museum of Anthropology (0)
- Intensive English Language Institute (0)
- Community and Natural Resources Institute (0)
- CHaSS Research (0)
- World Languages and Cultures (0)
- English (0)
- Heravi Peace Institute (0)
- Political Science (0)
- Social Work (0)
- Sociology, Anthropology and Criminal Justice (0)
- Utah Public Radio (KUSU) (0)
- History (0)
- Center for Intersectional Gender Studies and Research (0)
- Center for Anticipatory Intelligence (0)
- Aerospace Studies (Air Force ROTC) (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)
- Special Education and Rehabilitation (0)
- Instructional Technology and Learning Sciences (0)
- School of Teacher Education and Leadership (0)
- Sorenson Center for Clinical Excellence (0)
- Human Development and Family Studies (0)
- Nursing and Health Professions (0)
- Emma Eccles Jones Early Childhood Center (0)
- Psychology (0)
- Communicative Disorders and Deaf Education (0)
- Edith Bowen Laboratory School (0)
- Kinesiology and Health Science (0)
- Institute for Disability Research, Policy & Practice (0)
- More Departments
- Extension (0)
- Juab County (0)
- Swaner Preserve EcoCenter (0)
- Thanksgiving Point (0)
- Kane County (0)
- Tooele County (0)
- Uintah County (0)
- USU Botanical Center (0)
- Utah County (0)
- Logan Campus Extension (0)
- Wasatch County (0)
- Wasatch Front (0)
- Millard County (0)
- Washington County (0)
- Cache County (0)
- Wayne County (0)
- Carbon County (0)
- Weber County (0)
- Grand County (0)
- Iron County (0)
- Salt Lake County (0)
- Emery County (0)
- San Juan County (0)
- Sanpete County (0)
- Sevier County (0)
- Davis County (0)
- Summit County (0)
- Duchesne County (0)
- Garfield County (0)
- Morgan County (0)
- Ogden Botanical Center (0)
- Beaver County (0)
- Piute County (0)
- Box Elder County (0)
- Rich County (0)
- 4-H (0)
- More Departments
- Government & External Affairs (0)
- Information Technology (0)
- Jon M. Huntsman School of Business (0)
- FJ Management Center for Student Success (0)
- Global Learning Experience (0)
- Business Council (0)
- Healthcare Administration Club (HAC) (0)
- Association for Information Systems (AIS) (0)
- Huntsman Marketing Association (0)
- Beta Alpha Psi (BAP) (0)
- Finance and Economics Club (0)
- Financial Planning Association (FPA) (0)
- BI Group (0)
- Entrepreneurship Center (0)
- Entrepreneurship Club (0)
- Analytics Solutions Center (0)
- Master of Accounting (MAcc) (0)
- Master of Business Administration (MBA) (0)
- Master of Management Information Systems (MMIS) (0)
- Economics and Finance Department (0)
- Covey Leadership Center (0)
- Master of Science in Economics (MSE) (0)
- Master of Financial Economics (MFE) (0)
- Phi Beta Lambda (PBL) (0)
- Pro-Sales (0)
- International Business Association (0)
- Real Estate Association (0)
- Management Department (0)
- Sales Club (0)
- Huntsman Scholars (0)
- Data Analytics & Information Systems Department (0)
- School of Accountancy (0)
- Institute of Management Accountants (IMA) (0)
- Marketing and Strategy Department (0)
- Investment Banking Club (0)
- She's Daring Mighty Things (0)
- Master in Human Resources (MHR) (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)
- More Departments
- Merrill-Cazier Library (0)
- Multiple Sponsors (0)
- Office of Research (0)
- President's Office (0)
- Janet Quinney Lawson Institute for Land, Water, and Air (0)
- Nora Eccles Harrison Museum of Art (0)
- Office of Equity (0)
- Board of Trustees (0)
- More Departments
- Provost & Executive Vice President (0)
- Student Orientation and Transition Services (0)
- Student Achievement Collaborative (0)
- Study Abroad (0)
- Tenure Academy (0)
- Empowering Teaching Excellence (0)
- Registrar's Office (0)
- Center for Innovative Design and Instruction (CIDI) (0)
- Financial Aid (0)
- School of Graduate Studies (0)
- Honors (0)
- Office of Global Engagement (0)
- Faculty Senate (0)
- Career Design Center (0)
- University Advising (0)
- Aggie First Scholars (0)
- Admissions (0)
- More Departments
- Statewide Campuses (0)
- Student Affairs (0)
- Native American Cultural Center (0)
- SAAVi Office (0)
- Latinx Cultural Center (0)
- Christensen Office of Social Action and Sustainability (0)
- Campus Recreation (0)
- Center for Community Engagement (0)
- Aggie Blue Bikes (0)
- Counseling and Prevention Services (0)
- Student Involvement & Leadership Center/USUSA (0)
- The HURD (0)
- Student Club/Organization (0)
- Veterans Resource Office (0)
- More Departments
- University Marketing and Communications (0)
- Utah State University (0)
- Other (0)
- More Departments