LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "signal temporal" as a keyword



Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Access"

DOI: 10.1109/access.2022.3218216

Abstract: Deep reinforcement learning (DRL) has attracted much attention as an approach to solve optimal control problems without mathematical models of systems. On the other hand, in general, constraints may be imposed on optimal control problems.… read more here.

Keywords: reinforcement learning; signal temporal; deep reinforcement; control ... See more keywords

Causal Signal Temporal Logic for the Environmental Control and Life Support System’s Fault Analysis and Explanation

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Access"

DOI: 10.1109/access.2023.3246512

Abstract: Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats. To maximize the effectiveness… read more here.

Keywords: system; causal signal; signal temporal; environmental control ... See more keywords

Control Barrier Functions for Signal Temporal Logic Tasks

Sign Up to like & get
recommendations! Published in 2019 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2018.2853182

Abstract: The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are computationally demanding and hence often not applicable in practice. Especially with respect to multi-robot… read more here.

Keywords: control; control barrier; logic tasks; signal temporal ... See more keywords

Model Predictive Control for Systems With Partially Unknown Dynamics Under Signal Temporal Logic Specifications

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2024.3519034

Abstract: In this letter, we design a model predictive controller (MPC) for systems to satisfy Signal Temporal Logic (STL) specifications when the system dynamics are partially unknown, and only a nominal model and past runtime data… read more here.

Keywords: signal temporal; temporal logic; model predictive; control ... See more keywords

Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications

Sign Up to like & get
recommendations! Published in 2021 at "IEEE Robotics and Automation Letters"

DOI: 10.1109/lra.2021.3068114

Abstract: A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this letter. The planner allows the formulation… read more here.

Keywords: power line; inspection tasks; signal temporal; temporal logic ... See more keywords
Photo from wikipedia

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains

Sign Up to like & get
recommendations! Published in 2021 at "IEEE Robotics and Automation Letters"

DOI: 10.1109/lra.2021.3092676

Abstract: Learning control policies that are safe, robust and interpretable are prominent challenges in developing robotic systems. Learning-from-demonstrations with formal logic is an arising paradigm in reinforcement learning to estimate rewards and extract robot control policies… read more here.

Keywords: demonstrations using; logic stochastic; learning demonstrations; signal temporal ... See more keywords

Cooperative Object Manipulation Under Signal Temporal Logic Tasks and Uncertain Dynamics

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Robotics and Automation Letters"

DOI: 10.1109/lra.2022.3200760

Abstract: We address the problem of cooperative manipulation of an object whose tasks are specified by a Signal Temporal Logic (STL) formula. We employ the Prescribed Performance Control (PPC) methodology to guarantee predefined transient and steady-state… read more here.

Keywords: cooperative object; signal temporal; stl formula; manipulation ... See more keywords

Diverse Controllable Diffusion Policy With Signal Temporal Logic

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Robotics and Automation Letters"

DOI: 10.1109/lra.2024.3444668

Abstract: Generating realistic simulations is critical for autonomous system applications such as self-driving and human-robot interactions. However, driving simulators nowadays still have difficulty in generating controllable, diverse, and rule-compliant behaviors for road participants: Rule-based models cannot… read more here.

Keywords: signal temporal; temporal logic; logic; policy ... See more keywords

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Robotics and Automation Letters"

DOI: 10.1109/lra.2025.3563119

Abstract: We address the problem of resilient motion planning for robots operating under Signal Temporal Logic (STL) specifications in dynamic environments. In such settings, unforeseen events—such as the emergence of dynamic obstacles—can render the original STL… read more here.

Keywords: signal temporal; temporal logic; online planning; logic ... See more keywords
Photo from wikipedia

Receding Horizon Control With Online Barrier Function Design Under Signal Temporal Logic Specifications

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2022.3195470

Abstract: Signal temporal logic (STL) has been found to be an expressive language for describing complex, time-constrained tasks in several robotic applications. Existing methods encode such specifications by either using integer constraints or by employing set… read more here.

Keywords: time; horizon control; receding horizon; signal temporal ... See more keywords

Generalized Mean Robustness for Signal Temporal Logic

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2024.3482104

Abstract: Robustness functions provide quantitative scores to measure the satisfaction of temporal logic formulas. We introduce a general class of parameterized robustness functions for signal temporal logic (STL), and demonstrate how it can be used for… read more here.

Keywords: signal temporal; temporal logic; robustness; control ... See more keywords