Synthesizing Communication Plans for Reachability and Safety Specifications
We propose control and communication strategies for nonlinear networked control systems subject to state and input constraints. The objective is to steer the state of the system toward a prescribed target set in finite time (reachability), while at the same time remaining inside a safety set for all...
Gespeichert in:
Veröffentlicht in: | IEEE transactions on automatic control 2020-02, Vol.65 (2), p.561-576 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We propose control and communication strategies for nonlinear networked control systems subject to state and input constraints. The objective is to steer the state of the system toward a prescribed target set in finite time (reachability), while at the same time remaining inside a safety set for all time (safety). By leveraging the notion of the δ-input-to-state stability (ISS) control Lyapunov function, we derive a sufficient condition to generate a communication scheduling, such that the resulting state trajectory guarantees reachability and safety. Moreover, in order to alleviate computational burden, we present a way to find a suitable communication scheduling by implementing abstraction schemes and standard graph search methodologies. Simulation examples validate the effectiveness of the proposed approach. |
---|---|
ISSN: | 0018-9286 1558-2523 1558-2523 |
DOI: | 10.1109/TAC.2019.2910947 |