Discrete-event control of nondeterministic systems

Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on automatic control Ročník 43; číslo 1; s. 3 - 17
Hlavní autoři: Heymann, M., Lin, F.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY IEEE 01.01.1998
Institute of Electrical and Electronics Engineers
Témata:
Applied sciences
Automata
Automata. Logic controller
Automatic control
Computer science; control theory; systems
Control system synthesis
Control systems
Control theory. Systems
Discrete event systems
Exact sciences and technology
Law
Legal factors
Observability
Sufficient conditions
Supervisory control
Systems, networks and services of telecommunications
Telecommunications
Telecommunications and information theory
Transmission and modulation (techniques and equipments)
Supervisor
Control
Automaton
Language
Transmission channel
Trajectory
Algorithm
Non determinism
Message transmission
Discrete event system
ISSN:0018-9286
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann et al. (1991). This formalism has been used in by Shayman et al. (1995) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications.
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9286
DOI:10.1109/9.654883