Abstract
In this paper, we introduce logical notions of positive implication and positive correspondence aimed at a formalization of notions of safety of control variants in control theory.
Keywords
Get full access to this article
View all access options for this article.