Concepedia
European Journal of Control · 2001 · 22 citations · 2 references
EngineeringIndustrial EngineeringSystems EngineeringProcess ControlProcess Systems EngineeringHybrid SystemsHybrid Systems VerificationBatch Plant DesignHybrid Batch ProcessesHybrid Model CheckingStability Verification
2
Verification of logic controllers for continuous plants using timed condition/event-system models
Stefan Kowalewski, Sebastian Engell, Jörg Preußig et al. · Automatica · 1999 · 47 citations
Engineering, Systems Engineering, Formal Methods +15
Model-based verification of batch process control software
Stefan Kowalewski, R. Gesthuisen · 2002 · 12 citations
Engineering, Computer Science, Systems Engineering +16