A self-triggered controller for reachability and safety specifications is synthesized via symbolic abstractions and a reachability game, with validity guaranteed when an abstract winning set covers the initial states.
Event-triggered and self- triggered control for linear systems based on reachable sets,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.OC 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A symbolic approach to the self-triggered design for networked control systems
A self-triggered controller for reachability and safety specifications is synthesized via symbolic abstractions and a reachability game, with validity guaranteed when an abstract winning set covers the initial states.