Powertrain control verification benchmark

DOI10.1145/2562059.2562140MaRDI QIDQ2986973zbMATH OpenOpenAlexFDO

Authors Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Ken Butts, Xiao-Qing Jin

Publication date 16 May 2017

Published in Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2562059.2562140

zbMATH Keywords

automotive control systemshybrid systems benchmarksmodel comparisonmodel-based testingverification

Mathematics Subject Classification ID

Other applications of logic (03B80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95)

Recommendations

• Verified hybrid controllers for automated vehicles
• Robust control for electric vehicle powertrains
• Numerically-aided deductive safety proof for a powertrain control system
• An overview of various control benchmarks with a focus on automotive control

Cites work

• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Constrained model predictive control: Stability and optimality
• Convex Analysis
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Minkowski terminal cost functions for MPC
• On infinity norms as Lyapunov functions for piecewise affine systems
• Set-theoretic methods in control
• Stability analysis of piecewise discrete-time linear systems

Cited in

(13)

• Clairvoyant monitoring for signal temporal logic
• Robust online monitoring of signal temporal logic
• Numerically-aided deductive safety proof for a powertrain control system
• The refinement calculus of reactive systems
• Mining requirements from closed-loop control models
• An overview of various control benchmarks with a focus on automotive control
• Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
• HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
• Quantifying conformance using the Skorokhod metric
• Multi-Requirement Testing Using Focused Falsification
• Runtime verification of real-time event streams using the tool HStriver
• Online causation monitoring of signal temporal logic
• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness

Describes a project that uses

Uses Software

• YALMIP
• CPLEX
• MPT

This page was built for publication: Powertrain control verification benchmark

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986973)