关注
Isaac Hisahiro Ito
Isaac Hisahiro Ito
在 mathworks.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
2672018
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
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
1182019
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
692018
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
2D flow analysis of film casting process
H Ito, M Doi, T Isaki, M Takeo, K Yagi
Nihon Reoroji Gakkaishi 31 (3), 149-155, 2003
382003
Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles
CE Tuncali, G Fainekos, H Ito, J Kapinski
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
332018
Simulation-guided approaches for verification of automotive powertrain control systems
J Kapinski, J Deshmukh, X Jin, H Ito, K Butts
2015 American Control Conference (ACC), 4086-4095, 2015
322015
A model of neck-in phenomenon in film casting process
H Ito, M Doi, T Isaki, M Takeo
Nihon Reoroji Gakkaishi 31 (3), 157-163, 2003
322003
Interface-aware signal temporal logic
T Ferrère, D Nickovic, A Donzé, H Ito, J Kapinski
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
302019
The present and future of ductile-regime grinding of optical parts
S Yoshida, H Ito
Bulletin of the Japan Society of Precision Engineering 24 (4), 239-243, 1990
141990
Development of high level modeling method for rapid modeling process
H Ito, H Yohata, J Kako, Y Kuroda
SAE International Journal of Engines 6 (2), 669-679, 2013
82013
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.
H Ito, A Ohata, KR Butts, J Gerhard, M Abbaszadeh, D Linder, E Postman, ...
EOOLT, 27-34, 2011
82011
Development of High Level Modeling Method for Rapid Modeling Process
S Yoshida, H Ito, T Morikawa, J Kako, Y Kuroda
Transactions of Society of Automotive Engineers of Japan 46 (1), 2015
32015
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
JV Deshmukh, H Ito, X Jin, J Kapinski, KR Butts, J Gerhard, B Samadi, ...
ARCH@ CPSWeek, 98-112, 2015
22015
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components
C Erkan Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski
arXiv e-prints, arXiv: 1908.01094, 2019
2019
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
C Erkan Tuncali, J Kapinski, H Ito, JV Deshmukh
arXiv e-prints, arXiv: 1804.03973, 2018
2018
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components
C Erkan Tuncali, G Fainekos, H Ito, J Kapinski
arXiv e-prints, arXiv: 1804.06760, 2018
2018
Low number of circulating CD34 positive cell is associated with greater progression of coronary calcium determined by MDCT
T Miyoshi, M Doi, K Nakamura, H Ito
Atherosclerosis 252, e188-e189, 2016
2016
Proton magnetic resonance spectroscopy of the cerebrum in West syndrome.
K Mori, H Ito, Y Touda, M Miyazaki, Y Kuroda, T Hashimoto
EPILEPSIA 46, 21-21, 2005
2005
系统目前无法执行此操作,请稍后再试。
文章 1–20