A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics

Documenti analoghi

• Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
  di: Adhikary, Sunandan, et al.
  Pubblicazione: (2026)
• Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
  di: Kranzlmüller, Miriam, et al.
  Pubblicazione: (2026)
• The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
  di: Nesti, Federico, et al.
  Pubblicazione: (2025)
• $k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
  di: Oumer, Mohammed Adib, et al.
  Pubblicazione: (2025)
• Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
  di: Zhong, Bingzhuo, et al.
  Pubblicazione: (2024)