System-analytic safety evaluation of the hydrogen cycle for energetic utilization

Hydrogen, energy, safety, risk, production, transport, storage, filling station, fuelcell

Knowledge representation with condensed set-valued attributes

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015