トップ   編集 凍結 差分 バックアップ 添付 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

Welcome to Intelligent Systems Area

Most of existing systems consist of several components that operate concurrently. Such systems are called concurrent systems. For systems whose main components are computers, it is necessary to analyze and control their discrete behavior. We are interested in developing efficient techniques for verification, control, and optimization of concurrent systems using mathematical models.

Our recent research topics include

  • Analysis and Control of Discrete Event Systems Based on Automata and Petri Nets,
  • Control and Scheduling of Vehicles,
  • Modeling and Verification of Distributed Software, and so on.

Members (English)

Last-modified: 2011-09-05 (月) 16:38:54 (2212d)