Deadlock-freeness-an informational characterization

Mark S Andersland; Demosthenis Teneketzis

doi:10.1109/CDC.1989.70635

Back

Deadlock-freeness-an informational characterization

Conference proceeding

Peer reviewed

Deadlock-freeness-an informational characterization

Mark S Andersland and Demosthenis Teneketzis

Proceedings of the 28th IEEE Conference on Decision and Control, pp.2542-2547

1989

DOI: 10.1109/CDC.1989.70635

View Online

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.

Computer Science

Control Systems

Cities and towns

Communication system control

Extraterrestrial measurements

Operating systems

Process control

Protocols

Stochastic systems

System recovery

Details

Title: Subtitle: Deadlock-freeness-an informational characterization
Creators: Mark S Andersland - University of Iowa, Electrical and Computer Engineering
Demosthenis Teneketzis - University of Michigan
Resource Type: Conference proceeding
Publication Details: Proceedings of the 28th IEEE Conference on Decision and Control, pp.2542-2547
DOI: 10.1109/CDC.1989.70635
Publisher: IEEE
Language: English
Date published: 1989
Academic Unit: Electrical and Computer Engineering
Record Identifier: 9984304536902771

Metrics

19 Record Views