TUESDAY October 15, 3:15pm - 4:45pm | KC 905/907
EVENT TYPE: REGULAR SESSION
SESSION EM6C
Hybrid Systems
Chair:
Xin Chen - Univ. of Dayton
This session will focus on hybrid dynamical systems that combine discrete state transitions with the continuous evolution of state.
6C.1 | Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems | |
Speaker: | Bineet Ghosh - Univ. of North Carolina at Chapel Hill |
|
Authors: | Bineet Ghosh - Univ. of North Carolina at Chapel Hill Parasara Sridhar Duggirala - Universty of North Carolina at Chapel Hill |
|
6C.2 | Counter-example Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems | |
Speaker: | Ratan Lal - Kansas State Univ. |
|
Authors: | Ratan Lal - Kansas State Univ. Pavithra Prabhakar - Kansas State Univ. |
|
6C.3 | Aggregation Strategies in Reachable Set Computation of Hybrid Systems: A Safe Satellite Rendezvous Case Study | |
Speaker: | Parasara Sridhar Duggirala - Universty of North Carolina at Chapel Hill |
|
Authors: | Parasara Sridhar Duggirala - Universty of North Carolina at Chapel Hill Stanley Bak - United States Air Force Research Lab |