Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES ...
Suitable linear transformations for preliminary data analysis are available when data consist solely of continuous variables or solely of binary variables. When mixtures of variables are observed, ...
Abstract: In this paper, we use a linear programming (LP) optimization approach to evaluate the equivocation when coding over a wiretap channel model where the main channel is noiseless and the ...
Abstract: This article considers the challenge of accommodating outlier measurements in state estimation. The RiskAverse Performance-Specified (RAPS) state estimation approach addresses outliers as a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results