A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuous dynamics and emphasis is placed on the nondeterministic nature of the abstracting models. The regulator problem for hybrid systems is formulated for safety specifications and algorithms for control design are presented. The partial financial support of the National Science Foundation (ECS95-31485) and the Army Research Officedoi:10.1007/3-540-46430-1_18 fatcat:2ajwu56l2rh3zaocpk7uqjdcju