京都大学数理解析研究所の勝股です。
来週7月21日木曜午前11時から、京都大学の末永 幸平さんに以下の 講演をしていただくことになりましたので、ご連絡いたします。 どうぞお気軽にお越しください。 ========== Speaker: Kohei Suenaga JSPS Research Fellow (PD), Kyoto University
Title: Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling (Joint work with Ichiro Hasuo)
Date and time: 11:00-12:00, 21 Jul, 2011
Place: Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan), Kyoto university http://www.kyoto-u.ac.jp/en/access/campus/main.htm 京都大学 総合研究2号館 4階 478 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm
Abstract:
We add, to the common combination of a WHILE-language and a Hoare-style program logic, a constant dt that represents an infinitesimal (i.e. infinitely small) value. The outcome is a framework for modeling and verification of hybrid systems: hybrid systems exhibit both continuous and discrete dynamics and getting them right is a pressing challenge.We rigorously define the semantics of programs in the language of nonstandard analysis, on the basis of which the program logic is shown to be sound and relatively complete.