Modelling and Formal Verification Approach for Microgrid Energy Management Systems under Random Load - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Modelling and Formal Verification Approach for Microgrid Energy Management Systems under Random Load

Dates et versions

hal-04662607 , version 1 (26-07-2024)

Identifiants

Citer

Karim Fellah, Rosa Abbou. Modelling and Formal Verification Approach for Microgrid Energy Management Systems under Random Load. 17th IFAC Workshop on discrete Event Systems WODES 2024, May 2024, Rio De Janeiro, Brazil. pp.270-275, ⟨10.1016/j.ifacol.2024.07.046⟩. ⟨hal-04662607⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

More