State feedback control of real-time discrete event systems with infinite states |
| |
Authors: | Seong-Jin Park |
| |
Affiliation: | Department of Electrical and Computer Engineering, Ajou University, Suwon, 443-749, Korea |
| |
Abstract: | In this paper, we study a state feedback supervisory control of timed discrete event systems (TDESs) with infinite number of states modelled as timed automata. To this end, we represent a timed automaton with infinite number of untimed states (called locations) by a finite set of conditional assignment statements. Predicates and predicate transformers are employed to finitely represent the behaviour and specification of a TDES with infinite number of locations. In addition, the notion of clock regions in timed automata is used to identify the reachable states of a TDES with an infinite time space. For a real-time specification described as a predicate, we present the controllability condition for the existence of a state feedback supervisor that restricts the behaviour of the controlled TDES within the specification. |
| |
Keywords: | real-time discrete event systems timed automata infinite states state feedback control predicates |
|
|