Abstract. 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 Büchi 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.

No abstract

No abstract

The super-twisting algorithm is a well known technique in the field of sliding mode control or observation. In this contribution, an exact analytic expression for this algorithm's finite reaching time in the unperturbed case is derived. Based on this derivation, a novel estimation for the upper bound of the algorithm's reaching time the presence of perturbations is presented. The considered perturbations may be composed of additive components that are either Lipschitz continuous in time or Hölder continuous in the sliding variable. Both analytically and in the course of numerical examples the new strategy is shown to yield significant improvements compared to existing reaching time estimates.

No abstract

No abstract

No abstract

No abstract