We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: On a notion of entropy for reachability properties

Abstract: In this work, we introduce a notion of reachability entropy to characterize the smallest data rate which is sufficient enough to enforce reach-while-stay specification. We also define data rates of coder-controllers that can enforce this specification in finite time. Then, we establish the data-rate theorem which states that the reachability entropy is a tight lower bound of the data rates that allow satisfaction of the reach-while-stay specification. For a system which is related to an another system under feedback refinement relation, we show that the entropy of the former will not be larger than that of the latter. We also provide a procedure to numerically compute an upper bound of the reachability entropy for discrete-time control systems by leveraging their finite abstractions. Finally, we present some examples to demonstrate the effectiveness of the proposed results.
Subjects: Optimization and Control (math.OC)
Cite as: arXiv:2203.00767 [math.OC]
  (or arXiv:2203.00767v2 [math.OC] for this version)

Submission history

From: Mahendra Singh Tomar [view email]
[v1] Tue, 1 Mar 2022 22:16:01 GMT (73kb)
[v2] Mon, 20 Jun 2022 15:55:34 GMT (74kb)

Link back to: arXiv, form interface, contact.