製品
製品の一覧
Mathematica
Mathematica
学生エディション
Mathematica
ホームエディション
Wolfram
CDF Player
(無料ダウンロード)
CDF(計算可能ドキュメント形式)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
アドオン
Wolfram|Alpha関連製品
ソリューション
ソリューションの一覧
工学
航空宇宙工学と防衛
化学工学
制御系
電気工学
画像処理
生産工学
材料科学
機械工学
オペレーションズリサーチ
光学
石油工学
バイオテクノロジーと医学
バイオインフォマティクス
医用画像処理
金融,統計,ビジネスの分析
保険数理
データの解析とマイニング
計量経済学
経済学
金融工学と数学
財務リスク管理
統計
ソフトウェア工学とコンテンツ配信
オーサリングと出版
インターフェース開発
ソフトウェア工学
Web開発
科学
天文学
バイオサイエンス
化学
環境科学
地球科学
社会・行動科学
デザイン,芸術,娯楽
ゲームデザイン・特殊効果・ジェネレーティブアート
教育
高等教育
短大・専門学校
初等・中等教育
学生
テクノロジー
CDF(計算可能ドキュメント形式)
高性能並列計算(HPC)
参照:テクノロジーガイド
ご購入
オンラインストア
他の購入方法
Volumeライセンスとサイトライセンス
販売部へのご連絡
ソフトウェア
サービス
アップグレード
トレーニング
書籍
Wolframグッズ
サポート
テクニカルサポートページ
Mathematica
ドキュメント
知識ベース
ラーニングセンター
テクニカルサービス
コミュニティ & フォーラム
トレーニング
サイトライセンスの確認
Wolframユーザポータル
会社概要
会社概要
ニュースとイベント
Wolframブログ
パートナーシップ
採用情報
Mathematica
の歴史
Stephen Wolframのホームページ
連絡先
Wolfram Webサイト
サイトの一覧
Wolfram|Alpha
デモンストレーションプロジェクト
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
数学とアルゴリズム
>
制御系
>
LyapunovSolve
>
MATHEMATICA 組込みシンボル
DiscreteLyapunovSolve
ControllabilityGramian
ObservabilityGramian
LinearSolve
関連項目 »
|
制御系
Mathematica バージョン8.0の新機能のまとめ
バージョン8.0の新機能:アルファベット順のリスト
その他 »
LyapunovSolve
LyapunovSolve
行列リャプノフ(Lyapunov)方程式
の解
x
を求める.
LyapunovSolve
を解く.
LyapunovSolve
を解く.
LyapunovSolve
を解く.
詳細
LyapunovSolve
は連続時間のリャプノフとシルベスター(Sylvester)の方程式を解く.
LyapunovSolve
数値行列と記号行列の両方に使うことができる.
例題
すべて閉じる
例
(1)
リャプノフ方程式
を解く:
リャプノフ方程式
を解く:
In[1]:=
Out[1]=
スコープ
(7)
リャプノフ方程式を解く:
解を証明する:
を解く:
次元が異なる係数行列について
を解く:
を解く:
を解く:
記号係数を持つリャプノフ方程式
を解く:
の記号解を得る:
アプリケーション
(7)
の解が負定値
c
について正定値であるかどうかを確かめることで
の安定性を検証する:
予想通り,固有値は左半平面にある:
不安定な系:
安定した連続時間系の可制御性グラミアンを計算する:
安定した連続時間系の可観測性グラミアンを計算する:
漸近的に安定した連続時間系の
ノルムを計算する:
極を所望の位置に置くフィードバックゲインを計算する:
解を検証する:
多重入力多重出力の系の場合,フィードバックゲインは一意的ではない:
状態空間モデルの観測器を構築する:
まず,リャプノフ方程式
が非特異解を与えるような
と
を選ぶ:
次に,
で
となる観測器を構築する.ただし,
は観測器の状態ベクトル,
は出力,
は入力,
は推定状態ベクトルである:
単位ステップ入力で実際と推定の両方の状態をプロットする:
特性と関係
(5)
負定値
c
を持つ方程式
は,
a
の固有値が閉左半平面にあるときかつそのときに限り一意的な正定値解を与える:
安定した系:
a
が漸近的に安定しているとき,定積分
は
の解である:
漸近的に安定した系
の無限期間二次費用を計算する:
直接積分を使って計算する:
行列方程式
を解く:
LyapunovSolve
は同じ解を返す:
LinearSolve
を使ってリャプノフ方程式
を解く:
LyapunovSolve
は同じ解を与える:
関連項目
DiscreteLyapunovSolve
ControllabilityGramian
ObservabilityGramian
LinearSolve
その他
制御系
Mathematica
バージョン8.0の新機能のまとめ
バージョン8.0の新機能:アルファベット順のリスト
バージョン 8 の新機能