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.
Filter Results
Select search scope: search across all journals or within the current journal
Search this journal
Enter search terms…
/