You are here

Event Details

MP Associates, Inc.
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.1Robust 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.2Counter-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.3Aggregation 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