:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sato, Sota, An, Jie, Zhang, Zhenya, Hasuo, Ichiro
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2408.06983
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
by: Jouve-Genty, Martin, et al.
Published: (2026)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
by: Phalakarn, Kittiphon, et al.
Published: (2024)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
by: Marchesini, Gregorio, et al.
Published: (2025)

Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)

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)

Communication-Constrained STL Task Decomposition through Convex Optimization
by: Marchesini, Gregorio, et al.
Published: (2024)

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

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
by: Su, Han, et al.
Published: (2024)

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

Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems
by: Cheng, Shiyu, et al.
Published: (2025)

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

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
by: Liu, Wenliang, et al.
Published: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Self-Identifying Internal Model-Based Online Optimization
by: van Weerelt, Wouter J. A., et al.
Published: (2025)

Sample Complexity of Chance Constrained Optimization in Dynamic Environment
by: Shukla, Apurv, et al.
Published: (2024)

Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory
by: Yoshihara, Sota, et al.
Published: (2025)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
by: Ghorbel, Bassem, et al.
Published: (2024)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Direct closed-loop identification of continuous-time systems using fixed-pole observer model
by: Maruta, Ichiro, et al.
Published: (2022)

Fast Sampling for System Identification: Overcoming Noise, Offsets, and Closed-Loop Challenges with State Variable Filter
by: Maruta, Ichiro, et al.
Published: (2025)

Ray-Tracing Channel Modeling for LEO Satellite-to-Ground Communication Systems
by: Ning, Jiahao, et al.
Published: (2025)

Data-Driven Regularized Time-Limited h2 Model Reduction from Noisy Impulse Responses
by: Sakamoto, Hiroki, et al.
Published: (2026)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)

Analysis and Synthesis of Switched Optimization Algorithms
by: Miller, Jared, et al.
Published: (2025)

Optimization-Based Robust Permissive Synthesis for Interval MDPs
by: Huynh, Khang Vo, et al.
Published: (2025)

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

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
by: Zhang, Zengjie, et al.
Published: (2024)

Compression Method for Deep Diagonal State Space Model Based on $H^2$ Optimal Reduction
by: Sakamoto, Hiroki, et al.
Published: (2025)

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

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)

System Identification for Virtual Sensor-Based Model Predictive Control: Application to a 2-DoF Direct-Drive Robotic Arm
by: Tsuji, Kosei, et al.
Published: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Ontology-Driven Robotic Specification Synthesis
by: Figat, Maksym, et al.
Published: (2026)

Variance-Reduced Gradient Estimator for Nonconvex Zeroth-Order Distributed Optimization
by: Mu, Huaiyi, et al.
Published: (2024)

Distributed Stochastic Bilevel Optimization: Improved Complexity and Heterogeneity Analysis
by: Niu, Youcheng, et al.
Published: (2023)

Certified Inductive Synthesis for Online Mixed-Integer Optimization
by: Zamponi, Marco, et al.
Published: (2025)

Modeling and Simulation of Virtual Rigid Body Formations and Their Applications Using Multiple Air Vehicles
by: Sato, Suguru, et al.
Published: (2026)

DiffOP: Reinforcement Learning of Optimization-Based Control Policies via Implicit Policy Gradients
by: Bian, Yuexin, et al.
Published: (2024)

Multi-Agent Fact Checking
by: Verma, Ashwin, et al.
Published: (2025)