Reachability Analysis and Safety Verification method for Turbocharged System with Uncertainties

Abstract

The turbocharged systems in automotive engines have a physical restriction called a surge constraint and actual machines of the systems have always uncertain parameters, which cause the system to violate the constraint. Therefore, the reachability analysis of the systems is an important task for its safety verification. In this paper, we propose a reachable set computation method for general nonlinear systems with uncertain parameters based on the sensitivity analysis. By employing the sensitivity analysis, the proposed method approximately computes the set in an efficient way. Finally, we apply the proposed reachability computation method for the turbocharged systems.