特許
J-GLOBAL ID：201603015858151722
ハイブリッドシステムの検証方法、検証装置、及び検証コンピュータプログラム、並びに、ハイブリッドシステムのモデル変換方法、変換装置、及び変換コンピュータプログラム
発明者：
,
出願人/特許権者：
代理人 (1件)：
特許業務法人サンクレスト国際特許事務所
公報種別：特許公報
出願番号（国際出願番号）：特願2011-135201
公開番号（公開出願番号）：特開2013-003897
特許番号：特許第5843230号
出願日： 2011年06月17日
公開日（公表日）： 2013年01月07日
請求項（抜粋）：
【請求項1】 連続値と離散値とが相互に影響を与えながら動作するハイブリッドシステムの検証方法であって、
前記ハイブリッドシステムの動作を、プログラミング言語によってコーディングしたモデルを作成する作成ステップと、
前記モデルのコードを、形式的検証を行うプログラム検証器によって検証することで、前記ハイブリッドシステムの検証を行う検証ステップと、
を含み、
前記プログラミング言語は、無限小を示す記号が導入されたプログラミング言語であり、
前記モデルは、前記ハイブリッドシステムにおける前記連続値の微小変化量が、無限小を示す前記記号を用いてコーディングされている
ハイブリッドシステムの検証方法。
IPC (2件)：
G06F 17/50 ( 200 6.01)
, G06F 11/36 ( 200 6.01)
G06F 17/50 612 L
, G06F 17/50 664 Z
, G06F 9/06 620 R
