Logo des Repositoriums

Auflistung nach Autor:in "Neumann, Bastian"

1 - 1 von 1
  • Konferenzbeitrag
    Formale Eigenschaften des SILKE-Ansatzes zur Kontrolle selbstoptimierender Systeme
    (INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2, 2008) Rosemann, Nils; Neumann, Bastian; Brockmann, Werner
    Im Rahmen des Organic Computing werden auch eingebettete Echtzeitsysteme immer öfter mit selbstoptimierenden Eigenschaften ausgestattet. Die selbsttätige Adaption des Systemverhaltens kann aber potentiell zu kritischen Systemzuständen führen. Für spezielle lernfähige Fuzzy-Systeme wurde der sogenannte SILKE-Ansatz entwickelt, um kontrollierend auf den Selbstoptimierungsprozess einzuwirken und ihn zu gewünschten (Meta-)Eigenschaften hinzuleiten. In dieser Arbeit wird als Erweiterung zu bisherigen empirischen Untersuchungen diese Fähigkeit exemplarisch für die ausgleichende Wirkung des SILKE-Ansatzes formal nachgewiesen.