Login / Signup
Safety Analysis of the Height Control System for the Elbtunnel.
Frank Ortmeier
Gerhard Schellhorn
Andreas Thums
Wolfgang Reif
Bernhard Hering
Helmut Trappschuh
Published in:
SAFECOMP (2002)
Keyphrases
</>
safety analysis
control system
closed loop
fuzzy logic
nuclear power plant
control strategy
real time
control algorithm
safety critical
fuzzy control
control scheme
fault model
control method
symbolic model checking