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