Controlling races in asynchronous sequential machines

Thomas E. Murphy; Xiaojun Geng; Jacob Hammer

doi:10.3182/20020721-6-es-1901.00499

Controlling races in asynchronous sequential machines

Thomas E. Murphy, Xiaojun Geng, Jacob Hammer

Electrical & Computer Engineering

Research output: Contribution to book or proceeding › Conference article › peer-review

17 Scopus citations

Abstract

State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine.

Original language	English
Title of host publication	IFAC Proceedings Volumes (IFAC-PapersOnline)
Editors	Gabriel Ferrate, Eduardo F. Camacho, Luis Basanez, Juan. A. de la Puente
Publisher	IFAC Secretariat
Pages	67-72
Number of pages	6
Edition	1
ISBN (Print)	9783902661746
DOIs	https://doi.org/10.3182/20020721-6-es-1901.00499
State	Published - 2002
Event	15th World Congress of the International Federation of Automatic Control, 2002 - Barcelona, Spain Duration: Jul 21 2002 → Jul 26 2002

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	1
Volume	15
ISSN (Print)	1474-6670

Conference

Conference	15th World Congress of the International Federation of Automatic Control, 2002
Country/Territory	Spain
City	Barcelona
Period	07/21/02 → 07/26/02

Scopus Subject Areas

Control and Systems Engineering

Keywords

Asynchronous sequential logic
Control
Critical races
Finite state machines

Access to Document

10.3182/20020721-6-es-1901.00499

Cite this

@inproceedings{94be7c5b862a48708060a7906bdb701b,

title = "Controlling races in asynchronous sequential machines",

abstract = "State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine.",

keywords = "Asynchronous sequential logic, Control, Critical races, Finite state machines",

author = "Murphy, {Thomas E.} and Xiaojun Geng and Jacob Hammer",

note = "Publisher Copyright: Copyright {\textcopyright} 2002 IFAC.; 15th World Congress of the International Federation of Automatic Control, 2002 ; Conference date: 21-07-2002 Through 26-07-2002",

year = "2002",

doi = "10.3182/20020721-6-es-1901.00499",

language = "English",

isbn = "9783902661746",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

publisher = "IFAC Secretariat",

number = "1",

pages = "67--72",

editor = "Gabriel Ferrate and Camacho, {Eduardo F.} and Luis Basanez and {de la Puente}, {Juan. A.}",

booktitle = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

edition = "1",

}

Murphy, TE, Geng, X & Hammer, J 2002, Controlling races in asynchronous sequential machines. in G Ferrate, EF Camacho, L Basanez & JA de la Puente (eds), IFAC Proceedings Volumes (IFAC-PapersOnline). 1 edn, IFAC Proceedings Volumes (IFAC-PapersOnline), no. 1, vol. 15, IFAC Secretariat, pp. 67-72, 15th World Congress of the International Federation of Automatic Control, 2002, Barcelona, Spain, 07/21/02. https://doi.org/10.3182/20020721-6-es-1901.00499

Controlling races in asynchronous sequential machines. / Murphy, Thomas E.; Geng, Xiaojun; Hammer, Jacob.
IFAC Proceedings Volumes (IFAC-PapersOnline). ed. / Gabriel Ferrate; Eduardo F. Camacho; Luis Basanez; Juan. A. de la Puente. 1. ed. IFAC Secretariat, 2002. p. 67-72 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 15, No. 1).

Research output: Contribution to book or proceeding › Conference article › peer-review

TY - GEN

T1 - Controlling races in asynchronous sequential machines

AU - Murphy, Thomas E.

AU - Geng, Xiaojun

AU - Hammer, Jacob

PY - 2002

Y1 - 2002

N2 - State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine.

AB - State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine.

KW - Asynchronous sequential logic

KW - Control

KW - Critical races

KW - Finite state machines

UR - http://www.scopus.com/inward/record.url?scp=84945587978&partnerID=8YFLogxK

U2 - 10.3182/20020721-6-es-1901.00499

DO - 10.3182/20020721-6-es-1901.00499

M3 - Conference article

AN - SCOPUS:84945587978

SN - 9783902661746

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 67

EP - 72

BT - IFAC Proceedings Volumes (IFAC-PapersOnline)

A2 - Ferrate, Gabriel

A2 - Camacho, Eduardo F.

A2 - Basanez, Luis

A2 - de la Puente, Juan. A.

PB - IFAC Secretariat

T2 - 15th World Congress of the International Federation of Automatic Control, 2002

Y2 - 21 July 2002 through 26 July 2002

ER -

Controlling races in asynchronous sequential machines

Abstract

Publication series

Conference

Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this