:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liang, Kaier, Cai, Mingyu, Vasile, Cristian-Ioan
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2309.08813
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
by: Luo, Licheng, et al.
Published: (2026)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
by: Cardona, Gustavo A., et al.
Published: (2025)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
by: Liang, Kaier, et al.
Published: (2024)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
by: Liang, Kaier, et al.
Published: (2024)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
by: Cohen, Max H., et al.
Published: (2024)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
by: Bahati, Gilbert, et al.
Published: (2025)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Spacecraft Attitude Control with Nonconvex Constraints: An Explicit Reference Governor Approach
by: Nicotra, Marco, et al.
Published: (2019)

High-Order Matrix Control Barrier Functions: Well-Posedness and Feasibility via Matrix Relative Degree
by: Gessow, Samuel G., et al.
Published: (2026)

Data-driven Invariance for Reference Governors
by: Kashani, Ali, et al.
Published: (2023)

Multiagent Social Influence: Modeling Persuasion in Contested Social Networks
by: Tumu, Renukanandan, et al.
Published: (2025)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Robust Control of Constrained Linear Systems using Online Convex Optimization and a Reference Governor
by: Nonhoff, Marko, et al.
Published: (2026)

Composition of Control Barrier Functions With Differing Relative Degrees for Safety Under Input Constraints
by: Rabiee, Pedram, et al.
Published: (2023)

A Safe and Stable Controller for Fuel Cell Systems Using Adaptation and Reference Governors
by: Amoafo, Mychal, et al.
Published: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Discrete-Time Implementation of Explicit Reference Governor
by: Momani, Mu'taz A., et al.
Published: (2024)

Less Conservative Robust Reference Governors and Their Applications
by: Castroviejo-Fernandez, Miguel, et al.
Published: (2024)

Addressing Relative Degree Issues in Control Barrier Function Synthesis with Physics-Informed Neural Networks
by: Brunke, Lukas, et al.
Published: (2025)

Optimization-Free Constrained Control with Guaranteed Recursive Feasibility: A CBF-Based Reference Governor Approach
by: Nakano, Satoshi, et al.
Published: (2026)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)

Synthesizing Safety in Infinite-Horizon Optimal Control for Disturbed High-Relative-Degree Systems via Barrier-Regulating Auxiliary Variables
by: Shangguan, Zhanglin, et al.
Published: (2026)

CPU- and GPU-Based Parallelization of the Robust Reference Governor
by: Ossareh, Hamid R., et al.
Published: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Hierarchical Fuel-Cell Airpath Control: an Efficiency-Aware MIMO Control Approach Combined with a Novel Constraint-Enforcing Reference Governor
by: Bacher-Chong, Eli, et al.
Published: (2023)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
by: Ilyes, Roland, et al.
Published: (2025)

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, et al.
Published: (2026)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)

Periodic Event-Triggered Explicit Reference Governor for Constrained Attitude Control on SO(3)
by: Nakano, Satoshi, et al.
Published: (2026)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
by: Peng, Yuzhang, et al.
Published: (2026)

Input Dexterity and Output Negotiation in Feedback-Linearizable Nonlinear Systems
by: Mizzoni, Mirko, et al.
Published: (2026)

A Machine Learning-Based Reference Governor for Nonlinear Systems With Application to Automotive Fuel Cells
by: Ayubirad, Mostafaali, et al.
Published: (2024)

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

Compliant Explicit Reference Governor for Contact Friendly Robotic Manipulators
by: Gautam, Yaashia, et al.
Published: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2024)

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