Cover Image

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Yuda, Li, Shaoyuan, Yin, Xiang
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
by: Li, Yuda, et al.
Published: (2026)

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

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)

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

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

Fitted Q-Iteration via Max-Plus-Linear Approximation
by: Liu, Y., et al.
Published: (2024)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
by: Lv, Peng, et al.
Published: (2024)

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

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets
by: Xu, Yuezhu, et al.
Published: (2025)

Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
by: Deglurkar, Sampada, et al.
Published: (2026)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

An Algorithm for Distributed Computation of Reachable Sets for Multi-Agent Systems
by: Thapliyal, Omanshu, et al.
Published: (2024)

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

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
by: Wang, Shuqi, et al.
Published: (2024)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
by: Huang, Yushen, et al.
Published: (2024)

VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
by: Wetzlinger, Mark, et al.
Published: (2022)

Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks
by: Zorzenon, Davide, et al.
Published: (2022)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
by: Chen, Qianqian, et al.
Published: (2024)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
by: Aggarwal, Naman, et al.
Published: (2024)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Dynamics of Implicit Time-Invariant Max-Min-Plus-Scaling Discrete-Event Systems
by: Markkassery, Sreeshma, et al.
Published: (2026)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
by: Haimovich, Hernan, et al.
Published: (2026)

Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
by: Rose, Alex, et al.
Published: (2025)

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
by: Liu, Fengjiao, et al.
Published: (2024)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
by: Patel, Jinaykumar, et al.
Published: (2026)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)