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

Documenti analoghi

• On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
  di: Li, Yuda, et al.
  Pubblicazione: (2026)
• Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
  di: Chen, Yu, et al.
  Pubblicazione: (2025)
• Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
  di: Chen, Yu, et al.
  Pubblicazione: (2025)
• Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
  di: Huang, Junyue, et al.
  Pubblicazione: (2026)
• Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
  di: Wetzlinger, Mark, et al.
  Pubblicazione: (2023)