Segui
James Kapinski
James Kapinski
Email verificata su amazon.com - Home page
Titolo
Citata da
Citata da
Anno
Simulation-based adversarial test generation for autonomous vehicles with machine learning components
CE Tuncali, G Fainekos, H Ito, J Kapinski
2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018
2642018
Powertrain control verification benchmark
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
Proceedings of the 17th international conference on Hybrid systems …, 2014
1842014
Simulation-guided Lyapunov analysis for hybrid dynamical systems
J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga
Proceedings of the 17th international conference on Hybrid systems …, 2014
1592014
Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques
J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts
IEEE Control Systems Magazine 36 (6), 45-64, 2016
1412016
Efficient guiding strategies for testing of temporal properties of hybrid systems
T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
1242015
Requirements-driven test generation for autonomous vehicles with machine learning components
CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski
IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019
1142019
Multiple shooting, cegar-based falsification for hybrid systems
A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
752014
Stochastic Local earch for Falsification of Hybrid ystems
J Deshmukh, X Jin, J Kapinski, O Maler
International Symposium on Automated Technology for Verification and …, 2015
722015
Transient electromechanical modeling for short secondary linear induction machines
D Hall, J Kapinski, M Krefta, O Christianson
IEEE Transactions on Energy Conversion 23 (3), 789-795, 2008
712008
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems
CE Tuncali, J Kapinski, H Ito, JV Deshmukh
Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018
682018
On systematic simulation of open continuous systems
J Kapinski, BH Krogh, O Maler, O Stursberg
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
652003
Hyperproperties of real-valued signals
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
532017
Classification and coverage-based falsification for embedded control systems
A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
482017
Position paper on the challenges posed by modern applications to cyber-physical systems theory
F Allgöwer, JB de Sousa, J Kapinski, P Mosterman, J Oehlerking, ...
Nonlinear Analysis: Hybrid Systems 34, 147-165, 2019
462019
Locally optimal reach set over-approximation for nonlinear systems
C Fan, J Kapinski, X Jin, S Mitra
Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016
462016
ST-Lib: A library for specifying and classifying model behaviors
J Kapinski, X Jin, J Deshmukh, A Donze, T Yamaguchi, H Ito, T Kaga, ...
SAE Technical Paper, 2016
462016
A trajectory splicing approach to concretizing counterexamples for hybrid systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski
52nd IEEE Conference on Decision and Control, 3918-3925, 2013
452013
Conformance testing as falsification for cyber-physical systems
H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda
arXiv preprint arXiv:1401.5200, 2014
442014
Verification of supervisory control software using state proximity and merging
F Lerda, J Kapinski, EM Clarke, BH Krogh
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008
402008
Model Checking In-The-Loop
F Lerda, J Kapinski, H Maka, EM Clarke, BH Krogh
35*
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20