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

Mechanical Engineering

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 (US)
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

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Computer Science Applications

Access to Document

10.1080/00207170801888837

Cite this

@article{20d20fc5c2364fbd82ee9e636b550d42,

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.",

author = "Ishanu Chattopadhyay and Asok Ray",

note = "Funding Information: This work has been supported in part by the U.S. Army Research Laboratory and the U.S. Army Research Office under Grant Nos. W911NF-07-1-0376 and W911NF-06-1-0469.",

year = "2008",

month = oct,

doi = "10.1080/00207170801888837",

language = "English (US)",

volume = "81",

pages = "1626--1644",

journal = "International Journal of Control",

issn = "0020-7179",

publisher = "Taylor and Francis Ltd.",

number = "10",

}

TY - JOUR

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

AU - Chattopadhyay, Ishanu

AU - Ray, Asok

N1 - Funding Information: This work has been supported in part by the U.S. Army Research Laboratory and the U.S. Army Research Office under Grant Nos. W911NF-07-1-0376 and W911NF-06-1-0469.

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.

UR - https://www.scopus.com/pages/publications/49449098773

UR - https://www.scopus.com/pages/publications/49449098773#tab=citedBy

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

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this