システム制御情報学会論文誌
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
線形ハイブリッドシステムの可到達性について
穴井 宏和Volker WEISPFENNING
著者情報
ジャーナル フリー

2002 年 15 巻 3 号 p. 109-116

詳細
抄録

In this paper we present new decidability results, wider decidable classes of linear hybrid systems with linear vector field of the form x=Ax+Bu at each discrete location. Combination of the systematic treatment for the decidability problems of the linear differential systems x=Ax+Bu by H. Anai et al [4] and the framework dealing with decidability problems of hybrid systems based on the mathematical logic and model theory introduced by G. Lafferriere et al [13, 14] enables these decidability results. Moreover, we also discuss some extensions of these decidability results.

著者関連情報
© システム制御情報学会
次の記事
feedback
Top