Abstract—Quantized feedback control and quantized estimation have attracted a lot of attention in recent years with many results available on both research topics. In this paper,...
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...