Abstract: Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enforcement of ...
Abstract: We demonstrate the existence of a smooth control-Lyapunov function (CLF) for difference equations asymptotically controllable to closed sets. This follows from a more general result on the ...