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

*Welcome to Intelligent Systems Area [#ac91f102]
#menu(MenuBar(English))


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)]]