REVIEW 2 cited by
Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
This paper provides a discretization-free solution to the synthesis of approx-imation-free closed-form controllers for unknown nonlinear systems to enforce complex properties expressed by $\omega$-regular languages, as recognized by Non-deterministic B\"uchi Automata (NBA). In order to solve this problem, we first decompose NBA into a sequence of reach-avoid problems, which are solved using the Spatiotemporal Tubes (STT) approach. Controllers for each reach-avoid task are then integrated into a hybrid policy that ensures the fulfillment of the desired $\omega$-regular properties. We validate our method through omnidirectional robot navigation and manipulator control case studies.
Forward citations
Cited by 2 Pith papers
-
Maximally Resilient Controllers under Temporal Logic Specifications
The paper formulates controller synthesis that maximizes the disturbance a closed-loop system can withstand under finite-horizon temporal logic specifications, with exact linear and probabilistic nonlinear solutions.
-
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
A sampling-based method constructs spatiotemporal tubes and a closed-form controller that make unknown nonlinear systems satisfy temporal reach-avoid-stay tasks with formal guarantees.
Discussion (0). Continue with ORCID to comment.