Concepedia

James Kapinski

JK

26

Publications

946

Citations

18

H-Index

2003

Active since

Affiliations

Toyota Motor Corporation (Switzerland)(Current)

Toyota Motor North America (United States)

Toyota Research Institute

University of Colorado Boulder

Carnegie Mellon University

James Kapinski is an author at Toyota Motor Corporation (Switzerland) specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationComputer EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisControl Systems

Publications per year

2003–2019

26

Publications

26

Powertrain control verification benchmark

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 172 citations

Engineering, Real-time System Design, Verification +18

Simulation-guided lyapunov analysis for hybrid dynamical systems

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan et al. · 2014 · 137 citations

Mathematical Programming, Automotive Powertrain Control, Engineering +13

Multiple shooting, CEGAR-based falsification for hybrid systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan et al. · 2014 · 60 citations

Engineering, Reachability Problem, Verification +18

Transient Electromechanical Modeling for Short Secondary Linear Induction Machines

David Hall, James Kapinski, M. P. Krefta et al. · IEEE Transactions on Energy Conversion · 2008 · 55 citations

Electric Machine, Engineering, Aerospace Simulation +18

Locally optimal reach set over-approximation for nonlinear systems

Chuchu Fan, James Kapinski, Xiaoqing Jin et al. · 2016 · 54 citations · Full text

Stochastic Hybrid System, Reachability Analysis, Engineering +15

Rows per page

1–5 of 26