Residual generation for linear differential-algebraic systems is considered. A new systematic method for observer-based residual generation is presented. The proposed design method places no restrictions on the system to be diagnosed. If the fault of interest can be detected in the system, the output from the design method is a residual generator in statespace form that is sensitive to the faul...

lthough fuzzy set theory and  sheaf theory have been developed and studied independently,  ulrich hohle shows that a large part of fuzzy set  theory  is in fact a subfield of sheaf theory. many authors have studied mathematical structures, in particular, algebraic structures, in both  categories of these generalized (multi)sets. using hohle's idea, we show that for a (universal) algebra $a$, th...

This presentation introduces a process-algebraic framework with data for modelling and generating Markov automata. We show how an existing linearisation procedure for process-algebraic representations of probabilistic automata can be reused to transform systems in our new framework to a special format. This format enables easy state space generation and facilitates the definition of syntactic r...

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...

The discovery of invariants and ranking functions plays a central role in program verification. In our previous work, we investigated invariant generation and non-linear ranking function discovering of polynomial programs by reduction to semi-algebraic systems solving. In this paper we will first summarize our results on the two topics and then show how to generalize the approach to discovering...

A novel dimensional synthesis technique for solving the mixed exact and approximate motion synthesis problem for spatial CC kinematic chains is presented. The methodology uses an analytic representation of the spatial CC dyad’s rigid body constraint equation in combination with an algebraic geometry formulation of the perpendicular screw bisector to yield designs that exactly reach the prescrib...

Numerical simulation and optimization of gaits for quadruped robots based on nonlinear multibody dynamics models of legged locomotion have made progress recently. A fully threedimensional dynamical model of Sony’s four-legged robot is used to state an optimal control problem for a symmetric, dynamically stable gait. The optimal control problem is solved by a sparse direct collocation method. Nu...

We show how to produce algebraically a complete orthogonal set of Latin squares from a left quasifield and how to generate algebraically a maximal set of self-orthogonal Latin squares from a left nearfield. For a left Veblen-Wedderburn system, we establish the algebraic relationships between the standard projective plane construction of a complete set of Latin squares, our projective plane cons...