Imagen de Portada

Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Han, Tao, Li, Shaoyuan, Yin, Xiang
Formato:	Preprint
Publicado:	2025
Materias:	Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization
por: Claudet, Thomas, et al.
Publicado: (2023)

Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization
por: Uzun, Samet, et al.
Publicado: (2026)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
por: Wang, Siqi, et al.
Publicado: (2023)

Maximally Resilient Controllers under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2025)

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
por: Uzun, Samet, et al.
Publicado: (2024)

Distributionally Robust Probabilistic Prediction for Stochastic Dynamical Systems
por: Xu, Tao, et al.
Publicado: (2024)

Optimal Control of Switched Systems Governed by Logical Switching Dynamics
por: Zhang, Xiao, et al.
Publicado: (2026)

Online Learning of Interaction Dynamics with Dual Model Predictive Control for Multi-Agent Systems Using Gaussian Processes
por: Baltussen, T. M. J. T., et al.
Publicado: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2022)

Model Predictive Control of Nonlinear Dynamics Using Online Adaptive Koopman Operators
por: Uchida, Daisuke, et al.
Publicado: (2024)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2024)

Online Learning-Based Predictive Control for Nonlinear System
por: Zhang, Yuanqing, et al.
Publicado: (2025)

Analysis of Discrete-Time Switched Linear Systems under Logic Dynamic Switchings
por: Zhang, Xiao, et al.
Publicado: (2022)

Model Predictive Control for T-S Fuzzy Markovian Jump Systems Using Dynamic Prediction Optimization
por: Zhang, Bin
Publicado: (2024)

Online Tracking with Predictions for Nonlinear Systems with Koopman Linear Embedding
por: Pai, Chih-Fan, et al.
Publicado: (2026)

Gain-Scheduling Controller Synthesis for Nested Systems with Full Block Scalings
por: Rösinger, Christian A., et al.
Publicado: (2022)

Real-Time Algorithms for Model Predictive Control of Hybrid Dynamical Systems
por: Nurkanović, Armin, et al.
Publicado: (2026)

Convergence Filters for Efficient Economic MPC of Non-dissipative Systems
por: He, Defeng, et al.
Publicado: (2025)

Online Trajectory Optimization for Persistent Monitoring Problems in Partitioned Environments
por: Hall, Jonas, et al.
Publicado: (2024)

Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
por: Ning, Chao, et al.
Publicado: (2025)

Stochastic Model Predictive Control with Online Risk Allocation and Feedback Gain Selection
por: Barbosa, Filipe Marques, et al.
Publicado: (2026)

Parallel Model Predictive Control for Deterministic Systems
por: Li, Yuchao, et al.
Publicado: (2023)

Temporal Variabilities Limit Convergence Rates in Gradient-Based Online Optimization
por: Van Scoy, Bryan, et al.
Publicado: (2025)

Barrier Certificates for Uncertain Temporal Specifications
por: Mamduhi, Mohammad H., et al.
Publicado: (2026)

Nested Extremum Seeking Converges to Stackelberg Equilibrium
por: Ratto, Brad, et al.
Publicado: (2026)

Adaptive Partitioning in Column Generation for Nested Paths
por: van Rossum, Bart, et al.
Publicado: (2026)

IMPACT: A Toolchain for Nonlinear Model Predictive Control Specification, Prototyping, and Deployment
por: Florez, Alvaro, et al.
Publicado: (2023)

Collaborating Unmanned Aerial Vehicle and Ground Sensors for Urban Signalized Network Traffic Monitoring
por: Yao, Jiarong, et al.
Publicado: (2025)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
por: Ye, Bowen, et al.
Publicado: (2024)

Online Control with Adversarial Disturbance for Continuous-time Linear Systems
por: Li, Jingwei, et al.
Publicado: (2023)

Real-Time Online Learning for Model Predictive Control using a Spatio-Temporal Gaussian Process Approximation
por: Bartels, Lars, et al.
Publicado: (2026)

Online Nonstochastic Prediction: Logarithmic Regret via Predictive Online Least Squares
por: Pai, Chih-Fan, et al.
Publicado: (2026)

Temporal Robustness in Discrete Time Linear Dynamical Systems
por: Metya, Nilava, et al.
Publicado: (2025)

Distributed Stochastic Model Predictive Control with Temporal Aggregation for the Joint Dispatch of Cascaded Hydropower and Renewables
por: Santosuosso, Luca, et al.
Publicado: (2025)

Dynamic Incentive Selection for Hierarchical Convex Model Predictive Control
por: Thirugnanam, Akshay, et al.
Publicado: (2025)

Competitive Facility Location under Cross-Nested Logit Customer Choice Model: Hardness and Exact Approaches
por: Le, Ba Luat, et al.
Publicado: (2024)

Constraint Horizon in Model Predictive Control
por: Nascimento, Allan Andre Do, et al.
Publicado: (2025)

Accelerating Stochastic Energy System Optimization Models: Temporally Split Benders Decomposition
por: Sasanpour, Shima, et al.
Publicado: (2025)

Data-Driven Stochastic Distribution System Hardening Based on Bayesian Online Learning
por: Shi, Wenlong, et al.
Publicado: (2025)