Richard Seeber

RATSY – a new requirements analysis tool with synthesis

Formal specifications play an increasingly important role in system design-flows Yet, they are not always easy to deal with In this paper we present RATSY, a successor of the Requirements Analysis Tool RAT RATSY extends RAT in several ways First, it includes a new graphical user interface to specify system properties as simple Buchi word automata Second, it can help debug incorrect specifications by means of a game-based approach Third, it allows correct-by-construction synthesis of systems from their temporal properties These new features and their seamless integration assist in property-based design processes.

Stability proof for a well-established super-twisting parameter setting

Abstract Several sufficient stability conditions exist for the super-twisting algorithm. For its tuning in practical applications, however, a popular parameter set is regularly used, which is provided in literature without any stability proof. This short note provides a novel, simple sufficient stability condition which includes this very popular parameter setting.

Erweiterung eines modellbasierten Regelungskonzepts für Biomassefeuerungsanlagen

Zusammenfassung Dieser Beitrag stellt die Weiterentwicklung eines erprobten, modellbasierten Regelungskonzepts für eine Biomassefeuerungsanlage dar. Das zur Zustandsschätzung eingesetzte Erweiterte Kalman-Filter wird um Formfilter und Sensormodelle ergänzt, um unter anderem die Auswirkungen von Schwankungen des Brennstoffabbaus zu berücksichtigen. Das verwendete Regelgesetz zur exakten Linearisierung wird dahingehend modifiziert, dass vom Kalman-Filter geschätzte Störgrößen verwendet werden. Abschließend werden die Modifikationen im Rahmen von Versuchen an einer realen Anlage verifiziert.

Ein Modalmaß für Beobachtbarkeit und perspektivische Beobachtbarkeit linearer zeitinvarianter Systeme

Zusammenfassung Das Modalmaß nach Litz stellt eine einfache Möglichkeit zur quantitativen Bewertung der Beobachtbarkeit eines Systems dar. Einen durch mehrfache Eigenwerte verursachten Beobachtbarkeitsverlust zeigt es jedoch mitunter nicht korrekt an. Vorliegender Beitrag schlägt eine Erweiterung vor, welche dieses Problem behebt. Im Weiteren wird gezeigt, dass sich das modifizierte Maß leicht auf die perspektivische Beobachtbarkeit erweitern lässt. Die praktische Anwendbarkeit des erweiterten Maßes wird anhand eines anschaulichen Beispiels demonstriert.

Control of a biomass-furnace based on input-output-linearization

The operation of modern biomass combustion plants with high efficiencies and low emissions requires advanced control strategies. In this paper the controller design for a medium-scale biomass furnace based on input-output-linearization is presented. A fourth order nonlinear model with four inputs and four outputs forms the basis for controller design. Due to a time-delayed input the stabilization of the internal dynamics is challenging. Two stabilization methods are suggested and a stability analysis is given. Finally, experimental results are presented and discussed.