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