A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems

Self-triggered Pursuit and Evasion

Opportunistic control over shared wireless channels

Robust Estimation Using Context-Aware Filtering