Deadlock-freeness-an informational characterization

Author

Andersland, Mark S. ; Teneketzis, Demosthenis

Author_Institution

Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA

fYear

1989

fDate

13-15 Dec 1989

Firstpage

2542

Abstract

Necessary and sufficient conditions for ensuring that a generic stochastic system, represented within the framework of Witsenhausen´s intrinsic model, is deadlock-free are introduced. These conditions are shown to ensure that an expected payoff can be defined for every control policy and, consequently, that well-posed control problems can be formulated. The conditions subsume Witsenhausen´s causality conditions and differ from other conditions developed within the computer science and control communities in that they are informational (knowledge-based) as opposed to logical or temporal

Keywords

concurrency control; operating systems (computers); stochastic systems; system recovery; Witsenhausen´s causality conditions; Witsenhausen´s intrinsic model; concurrency control; deadlock-free; expected payoff; generic stochastic system; informational characterization; operating systems; system recovery; well-posed control problems; Cities and towns; Communication system control; Computer science; Control systems; Extraterrestrial measurements; Operating systems; Process control; Protocols; Stochastic systems; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1989., Proceedings of the 28th IEEE Conference on

Conference_Location

Tampa, FL

Type

conf

DOI

10.1109/CDC.1989.70635

Filename

70635