Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification

Documenti analoghi

• Data-Driven Abstractions for Control Systems via Random Exploration
  di: Coppola, Rudi, et al.
  Pubblicazione: (2024)
• Data-driven Interval MDP for Robust Control Synthesis
  di: Coppola, Rudi, et al.
  Pubblicazione: (2024)
• Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
  di: Coppola, Rudi, et al.
  Pubblicazione: (2025)
• Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
  di: Delimpaltadakis, Giannis, et al.
  Pubblicazione: (2022)
• Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
  di: Delimpaltadakis, Giannis, et al.
  Pubblicazione: (2020)