Publication | Open Access

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant

Artificial IntelligenceSbr PlantEngineeringIntelligent ProcessingProcess MonitoringProcess ControlProcess AnalysisSystems EngineeringComputer ScienceIntelligent SystemsAi-based Process OptimizationFormal VerificationWastewater Treatment