Enterprise-level business decisions are linked with engineering product decisions by integrating enterprise utility optimization and engineering design optimization under a hierarchical, multilevel, decision-based design framework. The enterprise problem sets attribute targets, that is, specifications, for engineering product development, which then optimizes product performance within the feas...

Abstract To improve the vibration isolation performance of suspensions, various new structural forms suspensions have been proposed. However, there is uncertainty in these structure so deterministic research cannot reflect suspension under actual operating conditions. In this paper, a quasi-zero stiffness isolator used automotive to form suspension−quasi-zero air (QZSAS). Due strong nonlinearit...

This paper shows how HyTech a symbolic model checker for linear hybrid systems can be used to verify a part of an abstracted automotive control system The system controls the height of an automo bile by a pneumatic suspension system and has been proposed by BMW AG as a case study taken from a current industrial development For a system which controls one wheel we verify safety properties such a...

In this paper we present a solution to a shape optimization problem involving plate and shell structures subject to natural vibration. The volume is chosen as the response to be minimized under a specified eigenvalue constraint with mode tracking. The designed boundaries are assumed to be movable in the in-plane direction so as to maintain the initial curvatures. The surfaces are discretized by...

This paper discusses the use of hybrid automata to specify and verify embedded distributed systems that consist of both discrete and continuous components The basis of the evaluation is an automotive control system which controls the height of an automobile by pneumatic suspension It has been proposed by BMW AG as a case study taken from a current industrial development Essential parts of the s...

This paper shows how HyTech, a symbolic model checker for linear hybrid systems, can be used to verify a part of an abstracted automotive control system. The system controls the height of an automobile by a pneumatic suspension system and has been proposed by BMW AG as a case study taken from a current industrial development. For a system which controls one wheel we verify safety properties, su...

The paper presents an extension of the mixed Sky-hook and ADD to MagnetoRheological dampers. Firstly, a semi-active automotive suspension equipped with a nonlinear Magneto-Rheological damper is introduced. The interest of this nonlinear model is that the bi-viscous and hysteretic behaviors of MR dampers can be taken into account in the controller design. Hence, the designed controller is more a...

Skyhook control, which is now widely applied to vehicle suspension control, requires two sensors to measure sprung mass acceleration and relative displacement, respectively. In the practical implementation, these two measurement signals are converted into corresponding velocities; then per the skyhook control policy the velocities are employed to decide the desired damping level; finally the da...

To improve vehicle fuel economy whilst enhancing road handling and ride comfort, power generating suspension systems have recently attracted increased attention in automotive engineering. This paper presents our study of a regenerative hydraulic shock absorber system which converts the oscillatory motion of a vehicle suspension into unidirectional rotary motion of a generator. Firstly a model w...

Design of physical systems and associated control systems are coupled tasks; design methods that manage this interaction explicitly can produce system-optimal designs, whereas conventional sequential processes may not. Here, we explore a new technique for combined physical and control system design (co-design) based on a simultaneous dynamic optimization approach known as direct transcription, ...