NDLI: Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems

Content Provider	IEEE Xplore Digital Library
Author	Liyong Lin Stefanescu, A. Rong Su Weilin Wang Shehabinia, A.R.
Copyright Year	2014
Description	Author affiliation: Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore, Singapore (Liyong Lin; Rong Su; Weilin Wang; Shehabinia, A.R.) \|\| Dept. of Comput. Sci., Univ. of Pitesti, Pitesti, Romania (Stefanescu, A.)
Abstract	This note studies two closely related decision problems from the area of decentralized synthesis. The first problem is about deciding the existence of a non-empty decomposable sublanguage of a regular language, called Decomposable Sublanguage Problem; the second is Joint Observability Problem, which is known in the literature. We provide characterizations of the decidability of both decision problems. Then, we study the undecidability of related problems such as Distributed Supervisory Control Problem and Parametrized Control Synthesis Problem. To address these undecidability results, we also propose a couple of heuristics that can provide solutions to the two studied problems, but also to more general problems from control or trace theory.
Starting Page	2047
Ending Page	2052
File Size	286053
Page Count	6
File Format	PDF
ISBN	9781479932726
ISSN	07431619
e-ISBN	9781479932740
DOI	10.1109/ACC.2014.6858608
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-06-04
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	American Automatic Control Council(AACC)
Subject Keyword	Joints Observability Supervisory control Approximation methods Tin Decentralized control Educational institutions trace theory discrete-event systems decomposability decentralized observation decidability
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Undecidable Problems of Decentralized Observation and Control

Undecidable problems of decentralized observation and control (2001).

Undecidable Problems of Decentralized Observation and Control (2001)

Remarks on the difficulty of top-down supervisor synthesis

Supervisory control of nondeterministic systems under partial observation

Bisimilarity control of decentralized nondeterministic discrete-event systems

Strong co-observability conditions for decentralized supervisory control of discrete event systems

Online computation of supremal relatively observable sublanguage of discrete-event systems

Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems

Similar Documents

Undecidable Problems of Decentralized Observation and Control

Undecidable problems of decentralized observation and control (2001).

Undecidable Problems of Decentralized Observation and Control (2001)

Remarks on the difficulty of top-down supervisor synthesis

Supervisory control of nondeterministic systems under partial observation

Bisimilarity control of decentralized nondeterministic discrete-event systems

Strong co-observability conditions for decentralized supervisory control of discrete event systems

Online computation of supremal relatively observable sublanguage of discrete-event systems

Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems