Pith. sign in

REVIEW 2 cited by

Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks

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

arxiv 1903.04340 v1 pith:6VFTKTM7 submitted 2019-03-11 cs.SY cs.SY

classification cs.SY
keywords taskscontrolcomplexexplorationlearninglogicperformanceprescribed
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Signal temporal logic (STL) provides a user-friendly interface for defining complex tasks for robotic systems. Recent efforts aim at designing control laws or using reinforcement learning methods to find policies which guarantee satisfaction of these tasks. While the former suffer from the trade-off between task specification and computational complexity, the latter encounter difficulties in exploration as the tasks become more complex and challenging to satisfy. This paper proposes to combine the benefits of the two approaches and use an efficient prescribed performance control (PPC) base law to guide exploration within the reinforcement learning algorithm. The potential of the method is demonstrated in a simulated environment through two sample navigational tasks.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Gradient-Based STL Control with Application to Nonholonomic Systems

    eess.SY 2019-09 conditional novelty 5.0 of 10

    This paper derives a class of gradient controllers with conditional robustness guarantees for signal temporal logic tasks, extends them to unicycle dynamics by adding an auxiliary non-degeneracy task, and demonstrates...

  2. Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

    cs.RO 2019-08 conditional novelty 5.0 of 10

    A framework that converts LTL_robotic specifications into a lasso of barrier-function quadratic programs, with composite finite-time barrier functions and prioritized safety relaxation, plus a conditional proof of tas...

Pith tools