In this paper we present some personal experiences with Computer Algebra applications to industrial problems. In many cases the involved Computer Algebra problems seem as challenging as climbing up a difficult peak. Then one finds out that the trail leads up to a quite rugged hill . . . This point of view will be illustrated with “real” examples coming from robot kinematics and path planning, p...

In the last 20-30 years, the world of modern cryptography has been largely dominated by traditional systems such as the Data Encryption Standard and the RSA algorithm. Such systems have provided a secure way for storing and transmitting information and they are nowadays incorporated in many network protocols and secure storage media. More recently, the increasing advance of crypto-analytical te...

This thesis investigates the synthesis of controllers for time varying systems in order to satisfy an induced 2-norm closed loop performance bound. This performance criterion is a generalisation of the well known H1 norm criterion used in the frequency domain for analysis and synthesis of linear time invariant control systems. A number of di erent time varying system frameworks are considered, ...

Many mathematical models arising in science and engineering, including circuit and device simulation in VLSI, constrained mechanical systems in robotics and vehicle simulation, certain models in early vision and incompressible uid ow, lead to computationally challenging problems of di erential equations with constraints, and more particularly to high-index, semi-explicit di erential-algebraic e...