Buchumschlag

An Operator-Based Approach to STL

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rousseas, Panagiotis, Dimarogonas, Dimos V.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2026)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2025)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
von: Wiltz, Adrian, et al.
Veröffentlicht: (2025)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
von: Wiltz, Adrian, et al.
Veröffentlicht: (2025)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
von: Marchesini, Gregorio, et al.
Veröffentlicht: (2025)

Continuous-time control synthesis under nested signal temporal logic specifications
von: Yu, Pian, et al.
Veröffentlicht: (2023)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
von: Sewlia, Mayank, et al.
Veröffentlicht: (2023)

Conformal Prediction-Based MPC for Stochastic Linear Systems
von: Vogel, Lukas, et al.
Veröffentlicht: (2025)

Fault-tolerant Model Predictive Control for Spacecraft
von: Stöckner, Raphael, et al.
Veröffentlicht: (2025)

Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
von: Lee, Dongjae, et al.
Veröffentlicht: (2025)

Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
von: Verginis, Christos K., et al.
Veröffentlicht: (2019)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
von: Sewlia, Mayank, et al.
Veröffentlicht: (2025)

Observer-based Control of Multi-agent Systems under STL Specifications
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2026)

Intermittent Connectivity Maintenance With Heterogeneous Robots
von: Aragues, Rosario, et al.
Veröffentlicht: (2024)

Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2026)

2-D Directed Formation Control Based on Bipolar Coordinates
von: Mehdifar, Farhad, et al.
Veröffentlicht: (2021)

Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints
von: Wong, Rufus Cheuk Yin, et al.
Veröffentlicht: (2024)

Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
von: Lapandić, Dženan, et al.
Veröffentlicht: (2023)

Communication-Constrained STL Task Decomposition through Convex Optimization
von: Marchesini, Gregorio, et al.
Veröffentlicht: (2024)

Robust Visual Servoing under Human Supervision for Assembly Tasks
von: Fernandez-Ayala, Victor Nan, et al.
Veröffentlicht: (2025)

Multirotor Nonlinear Model Predictive Control based on Visual Servoing of Evolving Features
von: Aspragkathos, Sotirios N., et al.
Veröffentlicht: (2024)

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
von: Casablanca, Ernesto, et al.
Veröffentlicht: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
von: Peron, Davide, et al.
Veröffentlicht: (2025)

Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
von: Roy, Neelabhro, et al.
Veröffentlicht: (2024)

CBF-Based STL Motion Planning for Social Navigation in Crowded Environment
von: Ruo, Andrea, et al.
Veröffentlicht: (2024)

Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
von: Lapandić, Dženan, et al.
Veröffentlicht: (2024)

Factor Graph-Based Active SLAM for Spacecraft Proximity Operations
von: Ticozzi, Lorenzo, et al.
Veröffentlicht: (2025)

CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification
von: Ruo, Andrea, et al.
Veröffentlicht: (2024)

Robust STL Control Synthesis under Maximal Disturbance Sets
von: Verhagen, Joris, et al.
Veröffentlicht: (2024)

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
von: Wiltz, Adrian, et al.
Veröffentlicht: (2024)

Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement
von: Wu, Tianhao, et al.
Veröffentlicht: (2026)

Validating Generalist Robots with Situation Calculus and STL Falsification
von: Li, Changwen, et al.
Veröffentlicht: (2026)

A Consistency Constraint-Based Approach to Coupled State Constraints in Distributed Model Predictive Control
von: Wiltz, Adrian, et al.
Veröffentlicht: (2022)

Feasibility Evaluation of Quadratic Programs for Constrained Control
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2025)

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
von: Zheng, Hongrui, et al.
Veröffentlicht: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Multi-Robot Trajectory Planning via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution
von: Raxit, Sourav, et al.
Veröffentlicht: (2026)

STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle
von: Silano, Giuseppe, et al.
Veröffentlicht: (2025)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)