Live Breaking News & Updates on Exploratory research for advanced technology

Mathematical formulation of hazardous scenarios for automated driving systems

Mathematical formulation of hazardous scenarios for automated driving systems
techxplore.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from techxplore.com Daily Mail and Mail on Sunday newspapers.

Kyoto , Japan , Hasuo-ichiro , Mitsubishi-electric-corporation , Japan-automobile-manufactures-association-inc , Exploratory-research-for-advanced-technology , School-of-informatics-kyoto-university , Professor-of-the-department-informatics , Professor-hasuo-ichiro , National-institute , Waga-masaki , Assistant-professor

Scientists Use Computational Results to Create Innovative Drugs

Chemists frequently use computer simulations as a guide much like a compass helps an explorer efficiently reach a destination on their map to effectively work out the specifics of a basic reaction notion they have in mind.

Japan , Tsuyoshi-mita , Yu-harabuchi , Hiroki-hayashi , Alex-smith , Satoshi-maeda , Hitomi-katsuyama , Hideaki-takano , Scientific-research , Fugaku-trust-for-medical-research , Technology-agency , Hokkaido-university

Hitting rewind to predict multi-step chemical reactions

Hitting rewind to predict multi-step chemical reactions
miragenews.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from miragenews.com Daily Mail and Mail on Sunday newspapers.

Japan , Yuuya-nagata , Yosuke-sumiya , Yu-harabuchi , Satoshi-maeda , Maeda-group , World-premier-international-research-initiative , Exploratory-research-for-advanced-technology , Institute-for-chemical-reaction-design , Technology-agency , Ministry-of-education , Hokkaido-university

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.

Japan , 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

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 presented in ICST 2021 ( 2), a flagship conference on software testing held during April 12-16 2021.

Japan , 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