Generalised projections in finite state automata and decidability of state determinacy

Ishanu Chattopadhyay; Asok Ray

doi:10.1080/00207170801888837

Generalised projections in finite state automata and decidability of state determinacy

Ishanu Chattopadhyay, Asok Ray

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection maps in DES, including the maps that introduce possibly unbounded memory.

Original language	English
Pages (from-to)	1626-1644
Number of pages	19
Journal	International Journal of Control
Volume	81
Issue number	10
DOIs	https://doi.org/10.1080/00207170801888837
State	Published - Oct 2008

Keywords

Discrete event systems
Formal languages
Partial observation

ASJC Scopus subject areas

Control and Systems Engineering
Computer Science Applications

Access to Document

10.1080/00207170801888837

Cite this

@article{74a106bac6564e36817a20939d63fd32,

title = "Generalised projections in finite state automata and decidability of state determinacy",

abstract = "Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection maps in DES, including the maps that introduce possibly unbounded memory.",

keywords = "Discrete event systems, Formal languages, Partial observation",

author = "Ishanu Chattopadhyay and Asok Ray",

year = "2008",

month = oct,

doi = "10.1080/00207170801888837",

language = "English",

volume = "81",

pages = "1626--1644",

number = "10",

}

TY - JOUR

T1 - Generalised projections in finite state automata and decidability of state determinacy

AU - Chattopadhyay, Ishanu

AU - Ray, Asok

PY - 2008/10

Y1 - 2008/10

N2 - Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection maps in DES, including the maps that introduce possibly unbounded memory.

AB - Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection maps in DES, including the maps that introduce possibly unbounded memory.

KW - Discrete event systems

KW - Formal languages

KW - Partial observation

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

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

U2 - 10.1080/00207170801888837

DO - 10.1080/00207170801888837

M3 - Article

AN - SCOPUS:49449098773

SN - 0020-7179

VL - 81

SP - 1626

EP - 1644

JO - International Journal of Control

JF - International Journal of Control

IS - 10

ER -

Generalised projections in finite state automata and decidability of state determinacy

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this