We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
This contribution presents our work towards a system that autonomously guides the user's visual attention on important information (e.g., traffic situation or in-car system st...
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
In this paper, a personal micronavigation system that uses high-resolution gait-corrected inertial measurement units is presented. The goal of this paper is to develop a navigation...
Ozkan Bebek, Michael A. Suster, Srihari Rajgopal, ...