Backup diff of Introduction(Old) (No. 3)

• List of Backups
• View the diff current.
• View the source.
• Go to Introduction(Old).
  • 1 (2014-08-01 (Fri) 09:28:08)
  • 2 (2014-08-01 (Fri) 09:47:36)
  • 3 (2014-08-07 (Thu) 01:28:09)

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.

* ハイブリッドシステム [#n6644e92]
時間の経過に伴って状態が連続変化したり、状態や方程式が離散変化するシステムをハイブリッドシステムと呼ぶ。

例：
- 床を跳ねるボールの動き（連続変化：自由落下　離散変化：跳ねる）
- アクセルとブレーキを使用した車の制御（連続変化：加速、減速　離散変化：アクセルとブレーキの切り替え）
- 電子回路（離散変化：スイッチの切り替え）

ハイブリッドシステムのモデリングは物理学や制御工学、生命工学などの様々な分野において重要な役割を果たす。

* HydLa [#n6644e92]
HydLa は 2008 年から上田研究室で開発しているハイブリッドシステムのための制約に基づく宣言型言語である。