Ichiro Hasuo News Today : Breaking News, Live Updates & Top Stories | Vimarsana

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 echizenMikkel thorupShigeo urushidaniHimari satoAntony hoareFuyuki ishikawaHiroki takakuraMasaru kitsuregawaIchiro hasuoKazutsuna yamajiKensaku moriNational researchDigital libraryAcm incTechnology reviewAcademic services in support of research

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 hasuoTsutomu kobayashiFuyuki ishikawaKrzysztof czarneckiShinya katsumataScience information networkKrzysztof czarnecki at university of waterloo canadaExploratory research for advanced technologyNational institute of informaticsTechnology agencyNational instituteRick salayJapan scienceMethods symposiumRobustifying controller specificationsShin ya katsumata