Reachability Analysis and Safety Verification method for Turbocharged System with Uncertainties

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, the authors 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, the authors apply the proposed reachability computation method for the turbocharged systems.

Language

  • English
  • Japanese

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01712120
  • Record Type: Publication
  • Source Agency: Japan Science and Technology Agency (JST)
  • Files: TRIS, JSTAGE
  • Created Date: Jul 22 2019 8:01PM