NDLI: An improved suboptimal solution for supervisory control and observation problem

Content Provider	IEEE Xplore Digital Library
Author	Haji-Valizadeh, A. Loparo, K.A.
Copyright Year	1994
Description	Author affiliation: Dept. of Syst. Eng., Case Western Reserve Univ., Cleveland, OH, USA (Haji-Valizadeh, A.; Loparo, K.A.)
Abstract	In some discrete event dynamical systems (DEDS) only partial observations of the system behavior are available. The supervisory control and observation problem (SCOP) is of particular importance in these applications. In the DEDS literature, a necessary and sufficient condition for the existence of a solution for SCOP has been developed. Given a desired closed loop language K, SCOP has a solution if and only if it is both observable and controllable. However, the set of all observable and controllable sublanguages of K, denoted by DD(K), is not closed under the set union operation. Thus an optimal solution does not exist. An adopted method to deal with this problem is to consider the set of all L/sub m/(G)-closed sublanguages of K whose prefix closures are normal and controllable, denoted by DD'(K). DD'(K) is a proper subset of DD(K) and is closed under the set union operation. Therefore DD'(K) contains a unique supremal element, sup DD'(K). We introduce a new property for nonclosed languages similar to the normality condition. We use this property to construct an improved suboptimal solution for SCOP.<>
Starting Page	3655
Ending Page	3660
File Size	444567
Page Count	6
File Format	PDF
ISBN	0780319680
DOI	10.1109/CDC.1994.411723
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1994-12-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Supervisory control Sufficient conditions Systems engineering and theory Formal languages Automata Feedback
Content Type	Text
Resource Type	Article

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

A new class of supervisors for timed discrete event systems under partial observation

Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions

Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems

Blocking and controllability of Petri nets in supervisory control

Supervisory control of a class of concurrent discrete event systems under partial observation

Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions

Finite state supervisors in discrete event systems under partial observations

Optimal solutions of modular supervisory control problems with indecomposable specification languages

Hierarchical supervisory control of discrete-event systems under partial observation

An improved suboptimal solution for supervisory control and observation problem

Similar Documents

A new class of supervisors for timed discrete event systems under partial observation

Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions

Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems

Blocking and controllability of Petri nets in supervisory control

Supervisory control of a class of concurrent discrete event systems under partial observation

Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions

Finite state supervisors in discrete event systems under partial observations

Optimal solutions of modular supervisory control problems with indecomposable specification languages

Hierarchical supervisory control of discrete-event systems under partial observation

An improved suboptimal solution for supervisory control and observation problem