Mine-Pump CPS Case Study for Temporal-Property-Driven DSE
Stochastic mine-pump CPS model with STL property monitoring and Fault Injection for temporal-property-driven Design-Space Exploration
Ahora está siguiendo esta publicación
- Verá actualizaciones en las notificaciones de contenido en seguimiento.
- Podrá recibir correos electrónicos, en función de las preferencias de comunicación que haya establecido.
Citar como
Fabarisov, Tagir, Maxime Cordy (2026). Mine-Pump CPS Case Study for Temporal-Property-Driven DSE (https://github.com/TagirFabarisov/mine-pump-cps-dse/releases/tag/v1.0), GitHub. Retrieved August 24, 2026.
Agradecimientos
Inspirado por: Fault Injection Block (FIBlock)
Información general
- Versión 1.0 (603 KB)
-
Ver licencia en GitHub
Compatibilidad con la versión de MATLAB
- Compatible con cualquier versión
Compatibilidad con las plataformas
- Windows
- macOS
- Linux
| Versión | Publicado | Notas de la versión | Action |
|---|---|---|---|
| 1.0 |
Para consultar o notificar algún problema sobre este complemento de GitHub, visite el repositorio de GitHub.
Para consultar o notificar algún problema sobre este complemento de GitHub, visite el repositorio de GitHub.
