Imagen de Portada

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sato, Sota, An, Jie, Zhang, Zhenya, Hasuo, Ichiro
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
por: Das, Ratnangshu, et al.
Publicado: (2025)

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

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

Reducing Computational Complexity of Rigidity-Based UAV Trajectory Optimization for Real-Time Cooperative Target Localization
por: Lee, Halim, et al.
Publicado: (2025)

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

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

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