Fuyuki Ishikawa News Today : Breaking News, Live Updates & Top Stories | Vimarsana

Stay updated with breaking news from Fuyuki ishikawa. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.

Top News In Fuyuki Ishikawa Today - Breaking & Trending Today

Activities of National Institute of Informatics in Japan

Activities of National Institute of Informatics in Japan
acm.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from acm.org Daily Mail and Mail on Sunday newspapers.

Isao Echizen , Mikkel Thorup , Shigeo Urushidani , Himari Sato , Antony Hoare , Fuyuki Ishikawa , Hiroki Takakura , Masaru Kitsuregawa , Ichiro Hasuo , Kazutsuna Yamaji , Kensaku Mori , National Research , Digital Library , Acm Inc , Technology Review , Academic Services In Support Of Research , Ministry Of Education , Team Science See , Japan Radiological Society , Australian Research Data Commons , Global Research Center , Research For Societal , Kyushu University , Korean Research Data Platform , Education Network , University Of Tokyo ,

Transformation of controller software to ensure safe behavior under perceptual uncertainty

E-Mail
IMAGE: Figure 1. (a) Example of safe uncertainty-aware controller software (b) Challenges of developing such controller software equipped with uncertain sensors.
view more
Credit: © National Institute of Informatics
A research team consisting of Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa, and Shinya Katsumata at the National Institute of Informatics (NII, Japan) and Rick Salay and Krzysztof Czarnecki at University of Waterloo (Canada) developed a method that automatically transforms models of controller software into models that satisfy safety requirements even when there is uncertainty in sensing the state of the environment. In addition to the transformation, the method generates formulas that represent the degree of uncertainty that the controller software can tolerate. The method can be applied to various controller systems that interact with the external environment, including autonomous vehicles. ....

Ichiro Hasuo , Tsutomu Kobayashi , Fuyuki Ishikawa , Krzysztof Czarnecki , Shinya Katsumata , Science Information Network , Krzysztof Czarnecki At University Of Waterloo Canada , Exploratory Research For Advanced Technology , National Institute Of Informatics , Technology Agency , National Institute , Rick Salay , Japan Science , Methods Symposium , Robustifying Controller Specifications , Shin Ya Katsumata , Systems Design Project , Exploratory Research , Advanced Technology , க்ரிஸ்டாஃப் கிசார்னேக்கி , அறிவியல் தகவல் வலைப்பின்னல் , தேசிய நிறுவனம் ஆஃப் தகவல் , தேசிய நிறுவனம் , ஜப்பான் அறிவியல் , ஆய்வு ஆராய்ச்சி ,

Technique to automatically discover simulation configurations for behaviors hard to test

E-Mail
IMAGE: The research team at National Institute of Informatics developed a technique to search automatically for simulation configurations that test various behaviors of automated driving systems. This research was conducted under.
view more
Credit: © National Institute of Informatics
The research team led by Fuyuki Ishikawa at the National Institute of Informatics (NII, Japan) developed a technique to search automatically for simulation configurations that test various behaviors of automated driving systems. This research was conducted under the ERATO-MMSD project ( 1) funded by the Japan Science and Technology Agency (JST, Japan). The proposed technique iterates trials on simulations using an optimization method called evolutionary computation so that it discovers simulation configurations that lead to specific features of driving behaviors such as high acceleration, deceleration, and steering operation. The outcome of this research was present ....

Paolo Arcaini , Kun Liu , Florian Hauer , Xiao Yi Zhang , Fuyuki Ishikawa , Shaukat Ali , Software Testing , International Conference On Software Testing , International Workshop On Search , National Institute Of Informatics , Technology Agency , Science Information Network , Research Method , Research Track Practical Experience , International Symposium On Software Reliability Engineering , Exploratory Research For Advanced Technology , National Institute , Japan Science , Systems Design Project , Exploratory Research , Advanced Technology , Alessandro Cal , Generating Avoidable Collision Scenarios , Testing Autonomous Driving Systems , Industrial Path Planner , Collision Avoidance ,