You are here

Event Details

MP Associates, Inc.
WEDNESDAY October 18, 1:00pm - 2:30pm | Crystal 3
EVENT TYPE: REGULAR SESSION
SESSION EM8C
EMSOFT: Hybrid Systems
Chair:
Miroslav Pajic - Duke Univ.

8C.1Operational Models of Piecewise-smooth Systems
 Speaker: Khalil Ghorbal - INRIA
 Authors: Andrew Sogokon - Vanderbilt Univ.
Khalil Ghorbal - INRIA
Taylor T Johnson - Vanderbilt Univ.
8C.2Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
 Speaker: Chao Huang - Nanjing Univ.
 Authors: Chao Huang - Nanjing Univ.
Xin Chen - Nanjing Univ.
Wang Lin - Wenzhou University
Zhengfeng Yang - East China Normal Univ.
Xuandong Li - Nanjing Univ.
8C.3*Compositional Relational Abstractions for Nonlinear Hybrid Systems
 Speaker: Sriram Sankaranarayanan - Univ. of Colorado
 Authors: Xin Chen - Univ. of Colorado
Sergio Mover - Univ. of Colorado
Sriram Sankaranarayanan - Univ. of Colorado


* Indicates Best Paper Candidate