제어로봇시스템학회:학술대회논문집
- 2001.10a
- /
- Pages.104.4-104
- /
- 2001
Supervisor for Real-Time Nondeterministic Discrete Event Systems Under Bounded Time Constraints
- Park, Seong-Jin (Samsung Electronics) ;
- Cho, Kwang-Hyun (Ulsan Univ.) ;
- Lim, Jong-Tae (KAIST)
- Published : 2001.10.01
Abstract
This paper addresses a supervisory control problem to meet bounded time constraints in real-time nondeterministic discrete event systems (DESs) represented as timed transition models. For a timed language specification representing a bounded time constraint, this paper introduces the notions of trace-controllability and time-controllability. Based on the notions, this paper presents the necessary and sufficient conditions for the existence of a supervisor for a real-time nondeterministic DES to achieve the specification.
Keywords