๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Normal Form for Function Rings of Piecewise Functions

โœ Scribed by M. VON MOHRENSCHILDT

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
420 KB
Volume
26
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

โœฆ Synopsis

Computer algebra systems often have to deal with piecewise continuous functions. These are, for example, the absolute value function, signum, piecewise defined functions but also functions that are the supremum or infimum of two functions. We present a new algebraic approach to these types of problems. This paper presents a normal form for a function ring containing piecewise polynomial functions of a real variable. We give a complete rule system to compute the normal form of an expression. The main result is that this normal form can be used to decide extensional equality of two piecewise functions. Also we define supremum and infimum for piecewise functions; in fact, we show that the function ring forms a lattice. Additionally, a method to solve equalities and inequalities in this function ring is presented. Finally, we give a "user interface" to the algebraic representation of the piecewise functions.

๐Ÿ“œ SIMILAR VOLUMES

Construction of Lyapunov Functions for N
Construction of Lyapunov Functions for Nonlinear Systems Using Normal Forms
โœ Carla A Schwartz; Aiguo Yan ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 191 KB

In 8 , the authors used normal form theory to construct Lyapunov functions for critical nonlinear systems in normal form coordinates. In this work, the authors expand on those ideas by providing a method for constructing the associated normal form transformations that gives rise to the systematic de

Piecewise constant Lyapunov functions fo
Piecewise constant Lyapunov functions for the construction of robust regions of attraction
โœ N. Kazakova-Frehse; T. Moor ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 132 KB ๐Ÿ‘ 2 views

This paper deals with the estimation of a robust domain of attraction for nonlinear systems with structured uncertainties. For this goal a piecewise constant parameter-dependent Lyapunov function is used. This type of a Lyapunov function is based on dividing the uncertainty bounding set into a "nite