:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Serizawa, Kazunobu, Hashimoto, Kazumune, Hashimoto, Wataru, Kishida, Masako, Takai, Shigemasa
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2504.19846
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reference-Free Iterative Learning Model Predictive Control with Neural Certificates
by: Hashimoto, Wataru, et al.
Published: (2025)

Receding-Horizon Maximum-Likelihood Estimation of Neural-ODE Dynamics and Thresholds from Event Cameras
by: Hashimoto, Kazumune, et al.
Published: (2026)

MM-LMPC: Multi-Modal Learning Model Predictive Control via Bandit-Based Mode Selection
by: Hashimoto, Wataru, et al.
Published: (2025)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs
by: Hashimoto, Kazumune, et al.
Published: (2026)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
by: Fushimi, Kosei, et al.
Published: (2026)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Application of Deep Reinforcement Learning to Event-Triggered Control for Networked Artificial Pancreas Systems
by: Ikemoto, Junya, et al.
Published: (2026)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties
by: Shen, Xun, et al.
Published: (2024)

Learning-based Event-triggered MPC with Gaussian processes under terminal constraints
by: Onoue, Yuga, et al.
Published: (2021)

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

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

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
by: Yuan, Yating, et al.
Published: (2025)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

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

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

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

Long-term Safe Reinforcement Learning with Binary Feedback
by: Wachi, Akifumi, et al.
Published: (2024)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)

Robust Neural Policy Distillation of Long-Horizon FCS-MPC for Flying-Capacitor Three-Level Boost Converters
by: Sheng, Jinjian, et al.
Published: (2026)

Energetic Resilience under Temporal Logic Specifications
by: Das, Ratnangshu, et al.
Published: (2026)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
by: Arias, Andres, et al.
Published: (2024)

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

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

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

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
by: Ilyes, Roland, 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)

Reliability Quantification of Deep Reinforcement Learning-based Control
by: Yoshioka, Hitoshi, et al.
Published: (2023)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
by: Le, Nhan-Khanh, et al.
Published: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

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

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
by: Yu, Xinyi, et al.
Published: (2023)

Runtime Enforcement of CPS against Signal Temporal Logic
by: Su, Han, et al.
Published: (2025)