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