A symbolic software package for nonlinear control systems

The paper describes the key elements of the recently developed symbolic software for nonlinear control systems, based on algebraic lattice theory. The software is incorporated into the package NLControl that assists the solution of various modeling, analysis and synthesis problems and using the tools of webMathematica made available for researches having no access to Mathematica. Besides the smooth systems, the tools are also applicable to certain subclasses of non-smooth systems depending on such phenomena as saturation, friction, hysteresis and backlash.