Copertina

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jouve-Genty, Martin, Su, Han, Sato, Sota, An, Jie, Zhang, Zhenya, Hasuo, Ichiro
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Elliptical Pursuit and Evasion -Extended Version-
di: Yoshihara, Sota
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Two-Stage Risk-Averse DRO-MILP Methodological Framework for Managing AI/Data Center Demand Shocks
di: Magableh, Sharaf K., et al.
Pubblicazione: (2026)