James P. Kapinski, Ph.D.
Affiliations: | 2004 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Electronics and Electrical EngineeringGoogle:
"James Kapinski"Parents
Sign in to add mentor| Bruce H. Krogh | grad student | 2004 | Carnegie Mellon | |
| (Verification and synthesis of hybrid systems using proximity -based automata.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Allgöwer F, Sousa JBd, Kapinski J, et al. (2019) Position paper on the challenges posed by modern applications to cyber-physical systems theory Nonlinear Analysis: Hybrid Systems. 34: 147-165 |
| Fan C, Kapinski J, Jin X, et al. (2017) Simulation-Driven Reachability Using Matrix Measures Acm Transactions in Embedded Computing Systems. 17: 21 |
| Balkan A, Tabuada P, Deshmukh JV, et al. (2017) Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models Acm Transactions in Embedded Computing Systems. 17: 20 |
| Kapinski J, Deshmukh JV, Jin X, et al. (2016) Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques Ieee Control Systems Magazine. 36: 45-64 |
| Aréchiga N, Kapinski J, Deshmukh JV, et al. (2015) Numerically-aided Deductive Safety Proof for a Powertrain Control System Electronic Notes in Theoretical Computer Science. 317: 19-25 |
| Hall D, Kapinski J, Krefta M, et al. (2008) Transient Electromechanical Modeling for Short Secondary Linear Induction Machines Ieee Transactions On Energy Conversion. 23: 789-795 |
| Kapinski J, Schmidt K, Krogh BH. (2004) Reachability analysis using proximity based automata Ifac Proceedings Volumes. 37: 315-320 |