Live Breaking News & Updates on Tsutomu Kobayashi

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

'Nothing is going well' for Japanese retailers jolted by weak yen

Daily News on Japan in English; Business News, Economy, Stock Market, Politics, Society, Electronics; A prime source for staying updated on Japan! ....

Tsutomu Kobayashi , Kikkoman Corp , Japan Ltd , Lawson Inc , Mcdonald Holdings Co , Teikoku Databank Ltd , Asahi Group Holdings Ltd , Super Dry ,

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 , க்ரிஸ்டாஃப் கிசார்னேக்கி , அறிவியல் தகவல் வலைப்பின்னல் , தேசிய நிறுவனம் ஆஃப் தகவல் , தேசிய நிறுவனம் , ஜப்பான் அறிவியல் , ஆய்வு ஆராய்ச்சி ,