The paper introduces a safety controller that combines LTL monitor automata, a backup controller, and reachable-set checks to guarantee safety properties for nondeterministic continuous-state cyber-physical systems.
Edit automata: enforcement mechanisms for run-time security policies,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Monitor-Based Runtime Assurance for Temporal Logic Specifications
The paper introduces a safety controller that combines LTL monitor automata, a backup controller, and reachable-set checks to guarantee safety properties for nondeterministic continuous-state cyber-physical systems.