Robust Supervisory Control of Uncertain Timed Discrete Event Systems Based on Activity Models and Eligible Time Bounds(Systems and Control)
スポンサーリンク
概要
- 論文の詳細を見る
This paper addresses a robust supervisory control problem for uncertain timed discrete event systems (DESs) modeled as a set of some possible timed models. To avoid the state space explosion problem caused by tick transitions in timed models, the notion of eligible time bounds is presented. Based on the notion and activity (logical) models, this paper shows how the controllability condition of a given language specification is presented as a necessary and sufficient condition for the existence of a robust supervisor to achieve the specification for any timed model in the set.
- 一般社団法人電子情報通信学会の論文
- 2005-03-01