2011年
Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling
Automata, Languages and Programming, ICALP, Pt II
- ,
- 巻
- 6756
- 号
- 開始ページ
- 392
- 終了ページ
- 403
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-642-22012-8_31
- 出版者・発行元
- SPRINGER-VERLAG BERLIN
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.
- リンク情報
-
- DOI
- https://doi.org/10.1007/978-3-642-22012-8_31
- DBLP
- https://dblp.uni-trier.de/rec/conf/icalp/SuenagaH11
- J-GLOBAL
- https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201102262371706075
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000353449500031&DestApp=WOS_CPL
- URL
- http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#conf/icalp/SuenagaH11
- ID情報
-
- DOI : 10.1007/978-3-642-22012-8_31
- ISSN : 0302-9743
- ISBN : 9783642220111
- DBLP ID : conf/icalp/SuenagaH11
- J-Global ID : 201102262371706075
- Web of Science ID : WOS:000353449500031