Referential integrity constraints express in relational databases existence dependencies between tuples. Although it is known that certain referential integrity structures may cause data manipulation problems, the nature of these problems has not been explored and the conditions for avoiding them have not been formally developed. In this paper we examine these data manipulation problems and for...

Maintaining safety under adaptation has long been considered to be an important capability for autonomous systems. As these systems estimate and change the ego-model of system dynamics, questions regarding how develop guarantees such continue interest. We propose a novel robust safe control methodology that uses set-based constraints make robotic with dynamical uncertainties safely adapt operat...

We formalize the idea of probability distributions that lead to reliable predictions about some, but not all aspects of a domain. The resulting notion of ‘safety’ provides a fresh perspective on foundational issues in statistics, providing amiddle ground between imprecise probability andmultiple-priormodels on the one hand and strictly Bayesian approaches on the other. It also allows us to form...