:: Library Catalog

Cover Image

Saved in:

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

Similar Items

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
by: Sato, Sota, et al.
Published: (2024)

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

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

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

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

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

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

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

Elliptical Pursuit and Evasion -Extended Version-
by: Yoshihara, Sota
Published: (2024)

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

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
by: Combrink, Alvin, et al.
Published: (2025)

CORL: Reinforcement Learning of MILP Policies Solved via Branch and Bound
by: Anand, Akhil S, et al.
Published: (2025)

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

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
by: Fujinami, Hiroya, et al.
Published: (2024)

Cooperative Global $\mathcal{K}$-exponential Tracking Control of Multiple Mobile Robots -- Extended Version
by: Xu, Liang, et al.
Published: (2024)

Demand Response Optimization MILP Framework for Microgrids with DERs
by: Babu, K. Victor Sam Moses, et al.
Published: (2025)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

Neural Robust Control on Lie Groups Using Contraction Methods (Extended Version)
by: Lo, Yi Lok, et al.
Published: (2026)

Identification of non-causal systems with random switching modes (Extended Version)
by: Zhang, Yanxin, et al.
Published: (2025)

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

Safe and Stable Formation Control with Autonomous Multi-Agents Using Adaptive Control (Extended Version)
by: Solano-Castellanos, Jose A., et al.
Published: (2024)

A Stochastic-MILP dispatch optimization model for Concentrated Solar Thermal under uncertainty
by: Mohammadzadeh, Navid, et al.
Published: (2024)

On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN
by: Do, Huu-Thinh, et al.
Published: (2024)

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

An Error-Based Safety Buffer for Safe Adaptive Control (Extended Version)
by: Fisher, Peter A., et al.
Published: (2025)

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

HyMGP: A Customized MILP-Based Tool for Techno-Economic Planning of Islanded Microgrids
by: Intriago, Andres, et al.
Published: (2026)

Efficient MILP-based Urban Network Traffic Control in Mixed Autonomy with Dynamic Saturation Rates
by: Haris, Muhammad, et al.
Published: (2026)

Micro-Macro Backstepping Control of Large-Scale Hyperbolic Systems (Extended Version)
by: Humaloja, Jukka-Pekka, et al.
Published: (2025)

Delay Optimization in a Simple Offloading System: Extended Version
by: Jeff, Darin, et al.
Published: (2025)

Efficient Recursive Data-enabled Predictive Control (Extended Version)
by: Shi, Jicheng, et al.
Published: (2023)

Network Epidemic Control via Model Predictive Control: Extended Version
by: Talaei, Mahtab, et al.
Published: (2026)

Distributed MPC for Self-Organized Cooperation of Multiagent Systems -- Extended Version
by: Köhler, Matthias, et al.
Published: (2022)

Adaptive Control of Dubins Vehicle in the Presence of Loss of Effectiveness (Extended Version)
by: Naranjo, Daniel Maldonado, et al.
Published: (2025)

Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]
by: Lin, Yankai, et al.
Published: (2025)

Modeling and Scheduling of Fusion Patterns in Autonomous Driving Systems (Extended Version)
by: Sobhani, Hoora, et al.
Published: (2025)

A MILP-Based Solution to Multi-Agent Motion Planning and Collision Avoidance in Constrained Environments
by: Jaitly, Akshay, et al.
Published: (2025)

Extended Version: Non-Preemptive Scheduling of Flexible Loads in Smart Grids via Convex Optimization
by: Davoudi, Mehdi, et al.
Published: (2025)

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

A Dual-level Model Predictive Control Scheme for Multi-timescale Dynamical Systems--Extended Version
by: Zhang, Xinglong, et al.
Published: (2019)