Hisahiro Ito

According to our database, Hisahiro Ito authored at least 8 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski

IEEE Trans. Intell. Veh., 2020

2019

Interface-aware signal temporal logic.

Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.

Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

Proceedings of the 55th Annual Design Automation Conference, 2018

2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.

James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts

Proceedings of the American Control Conference, 2015

2011

Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.

Hisahiro Ito, Akira Ohata, Kenneth R. Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011