×

zbMATH — the first resource for mathematics

Kapinski, James

Compute Distance To:
Author ID: kapinski.james Recent zbMATH articles by "Kapinski, James"
Published as: Kapinski, James; Kapinski, Jim
Documents Indexed: 9 Publications since 2003

Serials

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 23 times in 19 Documents Cited by Year
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
10
2014
Verification of supervisory control software using state proximity and merging. Zbl 1143.68457
Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H.
6
2008
Powertrain control verification benchmark. Zbl 1362.93070
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken
3
2014
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003
Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027
Kapinski, James; Deshmukh, Jyotirmoy
1
2015
Discovering forward invariant sets for nonlinear dynamical systems. Zbl 1327.37027
Kapinski, James; Deshmukh, Jyotirmoy
1
2015
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
10
2014
Powertrain control verification benchmark. Zbl 1362.93070
Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken
3
2014
Verification of supervisory control software using state proximity and merging. Zbl 1143.68457
Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H.
6
2008
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003

Citations by Year