Buchumschlag

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Engelaar, Maico H. W., Zhang, Zengjie, Lazar, Mircea, Haesaert, Sofie
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Situation-Aware Interactive MPC Switching for Autonomous Driving
von: Qi, Shuhao, et al.
Veröffentlicht: (2025)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
von: Zhang, Zengjie, et al.
Veröffentlicht: (2024)

ARCH-COMP25 Category Report: Stochastic Models
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Barrier Certificates for Uncertain Temporal Specifications
von: Mamduhi, Mohammad H., et al.
Veröffentlicht: (2026)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
von: Tang, Valdemar, et al.
Veröffentlicht: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
von: Ghorbel, Bassem, et al.
Veröffentlicht: (2024)

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

Quantitative Monitoring of Signal First-Order Logic
von: Chalupa, Marek, et al.
Veröffentlicht: (2026)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Sound Value Iteration for Simple Stochastic Games
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2024)

Stratifying Reinforcement Learning with Signal Temporal Logic
von: Curry, Justin, et al.
Veröffentlicht: (2026)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

Efficient Discovery of Actual Causality using Abstraction-Refinement
von: Rafieioskouei, Arshia, et al.
Veröffentlicht: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
von: Rickard, Luke, et al.
Veröffentlicht: (2023)

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, et al.
Veröffentlicht: (2023)

Solvability of Approximate Reach-Avoid Games
von: Gleirscher, Mario
Veröffentlicht: (2025)