Copertina

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

Fuente: arXiv

Salvato in:

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

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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