Optimal Event-Triggered Control of Nondeterministic Linear Systems | IEEE Journals & Magazine | IEEE Xplore