Image de couverture de livre

Runtime Enforcement of CPS against Signal Temporal Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Su, Han, Shankar, Saumya, Pinisetty, Srinivas, Roop, Partha S., Zhan, Naijun
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
par: Su, Han, et autres
Publié: (2024)

Exact Moment Estimation of Stochastic Differential Dynamics
par: Feng, Shenghua, et autres
Publié: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes
par: Shen, Henghua, et autres
Publié: (2025)

Optimal Honeypot Ratio and Convergent Fictitious-Play Learning in Signaling Games for CPS Defense
par: Xu, Yueyue, et autres
Publié: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
par: Kordabad, Arash Bahari, et autres
Publié: (2024)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
par: Su, Han, et autres
Publié: (2023)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
par: Ilyes, Roland, et autres
Publié: (2025)

Optimal Planning and Control under Signal Temporal Logic Specifications
par: Pan, Zuodong, et autres
Publié: (2026)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
par: Wang, Siqi, et autres
Publié: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
par: Yang, Shuo, et autres
Publié: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
par: Zhao, Jianing, et autres
Publié: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
par: Jagabathula, Vaishnavi, et autres
Publié: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
par: Yuan, Yating, et autres
Publié: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
par: Cui, Bohan, et autres
Publié: (2025)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
par: Yu, Xinyi, et autres
Publié: (2023)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
par: Wu, Hao, et autres
Publié: (2023)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
par: Parameshwaran, Aditya, et autres
Publié: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
par: Rousseas, Panagiotis, et autres
Publié: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
par: Serizawa, Kazunobu, et autres
Publié: (2025)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
par: Choi, Joonwon, et autres
Publié: (2026)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
par: Le, Nhan-Khanh, et autres
Publié: (2024)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
par: Arias, Andres, et autres
Publié: (2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
par: Marchesini, Gregorio, et autres
Publié: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
par: Halder, Patrick, et autres
Publié: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
par: Vlahakis, Eleftherios E., et autres
Publié: (2024)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
par: Peng, Yuzhang, et autres
Publié: (2026)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
par: Vlahakis, Eleftherios E., et autres
Publié: (2023)

Foundation Models for CPS-IoT: Opportunities and Challenges
par: Baris, Ozan, et autres
Publié: (2025)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
par: Vlahakis, Eleftherios E., et autres
Publié: (2025)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
par: Liu, Siyuan, et autres
Publié: (2023)

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization
par: Claudet, Thomas, et autres
Publié: (2023)

Temporal Logic Resilience for Dynamical Systems
par: Saoud, Adnane, et autres
Publié: (2024)