In this paper we analyze an active leveler designed for automotive applications. The objective of the system is to maintain the height of the car body to a fixed value, despite changes is loads and driving conditions. The objective of this paper is to propose a verification method for checking that certain design specifications, or system performances are achieved. We are able to compute exact bounds on the maximum suspension deflection for the given model of the system and road disturbance. The motivation for this work comes from the disappointing results of  where the problem was approached by using HYTECH. The numerical and computational complexity problems reported in  have their common roots in the need to fit and approximate the actual model with a linear hybrid model.
|Original language||English (US)|
|Number of pages||5|
|Journal||Proceedings of the American Control Conference|
|State||Published - Dec 1 1999|
|Event||Proceedings of the 1999 American Control Conference (99ACC) - San Diego, CA, USA|
Duration: Jun 2 1999 → Jun 4 1999