Title: Event-based state-feedback control