Generalized projections in finite state automata & decidability of state determinacy

Ishanu Chattopadhyay, Asok Ray

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Under loss of sensors and communication links in Discrete Event Systems (DES), 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 generalized projection maps in DES, including the maps that introduce possibly unbounded memory.

Original languageEnglish (US)
Title of host publicationProceedings of the 2007 American Control Conference, ACC
Pages5664-5669
Number of pages6
DOIs
StatePublished - Dec 1 2007
Event2007 American Control Conference, ACC - New York, NY, United States
Duration: Jul 9 2007Jul 13 2007

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619

Other

Other2007 American Control Conference, ACC
CountryUnited States
CityNew York, NY
Period7/9/077/13/07

Fingerprint

Computability and decidability
Discrete event simulation
Finite automata
Observability
Telecommunication links
Data storage equipment
Sensors

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Cite this

Chattopadhyay, I., & Ray, A. (2007). Generalized projections in finite state automata & decidability of state determinacy. In Proceedings of the 2007 American Control Conference, ACC (pp. 5664-5669). [4282235] (Proceedings of the American Control Conference). https://doi.org/10.1109/ACC.2007.4282235
Chattopadhyay, Ishanu ; Ray, Asok. / Generalized projections in finite state automata & decidability of state determinacy. Proceedings of the 2007 American Control Conference, ACC. 2007. pp. 5664-5669 (Proceedings of the American Control Conference).
@inproceedings{dcf07ab435534f4385f2085268878a3a,
title = "Generalized projections in finite state automata & decidability of state determinacy",
abstract = "Under loss of sensors and communication links in Discrete Event Systems (DES), 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 generalized projection maps in DES, including the maps that introduce possibly unbounded memory.",
author = "Ishanu Chattopadhyay and Asok Ray",
year = "2007",
month = "12",
day = "1",
doi = "10.1109/ACC.2007.4282235",
language = "English (US)",
isbn = "1424409888",
series = "Proceedings of the American Control Conference",
pages = "5664--5669",
booktitle = "Proceedings of the 2007 American Control Conference, ACC",

}

Chattopadhyay, I & Ray, A 2007, Generalized projections in finite state automata & decidability of state determinacy. in Proceedings of the 2007 American Control Conference, ACC., 4282235, Proceedings of the American Control Conference, pp. 5664-5669, 2007 American Control Conference, ACC, New York, NY, United States, 7/9/07. https://doi.org/10.1109/ACC.2007.4282235

Generalized projections in finite state automata & decidability of state determinacy. / Chattopadhyay, Ishanu; Ray, Asok.

Proceedings of the 2007 American Control Conference, ACC. 2007. p. 5664-5669 4282235 (Proceedings of the American Control Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Generalized projections in finite state automata & decidability of state determinacy

AU - Chattopadhyay, Ishanu

AU - Ray, Asok

PY - 2007/12/1

Y1 - 2007/12/1

N2 - Under loss of sensors and communication links in Discrete Event Systems (DES), 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 generalized projection maps in DES, including the maps that introduce possibly unbounded memory.

AB - Under loss of sensors and communication links in Discrete Event Systems (DES), 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 generalized projection maps in DES, including the maps that introduce possibly unbounded memory.

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

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

U2 - 10.1109/ACC.2007.4282235

DO - 10.1109/ACC.2007.4282235

M3 - Conference contribution

AN - SCOPUS:46449083814

SN - 1424409888

SN - 9781424409884

T3 - Proceedings of the American Control Conference

SP - 5664

EP - 5669

BT - Proceedings of the 2007 American Control Conference, ACC

ER -

Chattopadhyay I, Ray A. Generalized projections in finite state automata & decidability of state determinacy. In Proceedings of the 2007 American Control Conference, ACC. 2007. p. 5664-5669. 4282235. (Proceedings of the American Control Conference). https://doi.org/10.1109/ACC.2007.4282235