Cover Image

Continuous-time control synthesis under nested signal temporal logic specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yu, Pian, Tan, Xiao, Dimarogonas, Dimos V.
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
by: Wiltz, Adrian, et al.
Published: (2025)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)

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

Robust Visual Servoing under Human Supervision for Assembly Tasks
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)

Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
by: Verginis, Christos K., et al.
Published: (2019)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
by: Sewlia, Mayank, et al.
Published: (2025)

Intermittent Connectivity Maintenance With Heterogeneous Robots
by: Aragues, Rosario, et al.
Published: (2024)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025)

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

Conformal Prediction-Based MPC for Stochastic Linear Systems
by: Vogel, Lukas, et al.
Published: (2025)

Collaborative design of fault diagnosis and fault tolerance control under nested signal temporal logic specifications
by: Lu, Penghong, et al.
Published: (2025)

2-D Directed Formation Control Based on Bipolar Coordinates
by: Mehdifar, Farhad, et al.
Published: (2021)

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

Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
by: Roy, Neelabhro, et al.
Published: (2024)

A continuous-time violation-free multi-agent optimization algorithm and its applications to safe distributed control
by: Tan, Xiao, et al.
Published: (2024)

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

A contract negotiation scheme for safety verification of interconnected systems
by: Tan, Xiao, et al.
Published: (2023)

Controller synthesis against omega‐regular specifications: A funnel‐based control approach
by: Pushpak Jagtap, et al.
Published: (2024)

Direct data-driven control with signal temporal logic specifications
by: van Huijgevoort, Birgit C., et al.
Published: (2023)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)

On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)

Achieving violation-free distributed optimization under coupling constraints
by: Liu, Changxin, et al.
Published: (2024)

Observer-based Control of Multi-agent Systems under STL Specifications
by: Zaccherini, Tommaso, et al.
Published: (2026)

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

A Note on an Upper-Bound for the Sum of a Class K and an Extended Class K Function
by: Wiltz, Adrian, et al.
Published: (2024)

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
by: Wiltz, Adrian, et al.
Published: (2024)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)

Robust Closed-Form Control for MIMO Nonlinear Systems under Conflicting Time-Varying Hard and Soft Constraints (extended version)
by: Mehdifar, Farhad, et al.
Published: (2025)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023)

Distributed model predictive control without terminal cost under inexact distributed optimization
by: Liu, Xiaoyu, et al.
Published: (2025)

Early warning signals for loss of control
by: van Beers, Jasper J., et al.
Published: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
by: Liu, Siyuan, et al.
Published: (2023)

Inverse Inference on Cooperative Control of Networked Dynamical Systems
by: Li, Yushan, et al.
Published: (2025)

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

Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
by: Zaccherini, Tommaso, et al.
Published: (2025)

Topology Estimation for Open Multi-Agent Systems
by: Wang, Nana, et al.
Published: (2026)

Resistant Topology Inference in Consensus Networks: A Feedback-Based Design
by: Li, Yushan, et al.
Published: (2025)

Tunable Input-to-State Safety with Input Constraints
by: Li, Ming, et al.
Published: (2026)