Buchumschlag

Reachability Analysis Using Constrained Polynomial Logical Zonotopes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hafez, Ahmad, Jiang, Frank J., Johansson, Karl H., Alanwar, Amr
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

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

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

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Inclusion conditions for the Constrained Polynomial Zonotopic case
von: Gheorghe, Bogdan, et al.
Veröffentlicht: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
von: Hafez, Ahmad, et al.
Veröffentlicht: (2025)

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

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2026)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
von: Farjadnia, Mahsa, et al.
Veröffentlicht: (2024)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
von: Zhang, Zhen, et al.
Veröffentlicht: (2025)

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

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

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

The Reachability Problem for Neural-Network Control Systems
von: Schilling, Christian, et al.
Veröffentlicht: (2024)

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

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
von: Ho, Qi Heng, et al.
Veröffentlicht: (2024)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
von: Xie, Peng, et al.
Veröffentlicht: (2026)

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

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
von: Xie, Peng, et al.
Veröffentlicht: (2026)

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

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
von: Xie, Peng, et al.
Veröffentlicht: (2025)

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

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

Forex Trading Robot Using Fuzzy Logic
von: Shabani, Mustafa, et al.
Veröffentlicht: (2025)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
von: Robbins, Joshua A., et al.
Veröffentlicht: (2025)

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

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Inferentialist Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
von: Rego, Brenner S., et al.
Veröffentlicht: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis with Optimal Input Design
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

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

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