Powertrain control verification benchmark

DOI10.1145/2562059.2562140zbMath1362.93070OpenAlexW2068619069MaRDI QIDQ2986973

Koichi Ueda, Ken Butts, Jyotirmoy V. Deshmukh, James Kapinski, 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

verificationmodel comparisonmodel-based testingautomotive control systemshybrid systems benchmarks

Mathematics Subject Classification ID

Related Items (8)

Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Robust online monitoring of signal temporal logic ⋮ The refinement calculus of reactive systems ⋮ Multi-Requirement Testing Using Focused Falsification ⋮ Runtime verification of real-time event streams using the tool HStriver ⋮ Quantifying conformance using the Skorokhod metric ⋮ Clairvoyant monitoring for signal temporal logic ⋮ Numerically-aided deductive safety proof for a powertrain control system

Uses Software

• CPLEX
• YALMIP
• MPT

Cites Work

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

This page was built for publication: Powertrain control verification benchmark