Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications

Takai, Shigemasa

doi:10.1109/9.981732

Cited by 19 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In such publications (see refs. [5][6][7][8]) the authors start from a nominal plant model and seek a controller, which will achieve a prescribed behavior on this nominal model and at the same time maximize the family of plants, for which the closed-loop behavior will remain within specified bounds.…”

Section: Introductionmentioning

confidence: 99%

Efficient robust supervisors for discrete event systems

Economacos

Koumboulis

2009

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

This paper is a sequel to a previous publication by the same authors, in which an efficient modular solution to a robust supervisory control problem for discrete event systems modeled by finite automata with prefix-closed specification languages has been presented. This solution is based on a general recursive robust control scheme, which has been successfully applied to a number of problems. The additional contributions of the present paper are: (a) a slight generalization of the problem assumptions; (b) an alternative derivation of some of the results and an alternative formulation of the controller; (c) a detailed description of a very efficient on-line implementation algorithm; and (d) an illustrative practical example.robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller

show abstract

Section: Introductionmentioning

confidence: 99%

Efficient robust supervisors for discrete event systems

Economacos

Koumboulis

2009

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

show abstract

“…O objetivo ao se projetar um controle supervisório robusto é alcançar o comportamento de-sejado mesmo em presença de incertezas no modelo ou de perturbações. Na área de Sistemas a Eventos Discretos, o problema de robustez tem sido abordado sob diversos enfoques em controle supervisório [2][3][4][5][6][7][8][9][10][11] e diagnose de falhas [12][13][14][15][16][17][18].…”

Section: Introductionunclassified

“…Em um contexto diferente, CURY e KROGH [3] formularam um novo problema de controle supervisório robusto que consiste em projetar um supervisor não bloqueante, maximamente permissivo para o modelo nominal e que maximiza o conjunto de plantas que, sob a ação do controle supervisório projetado, atende às especificações desejadas. O problema proposto por [3] foi revisitado por TAKAI [5,7] supondo, respectivamente, observação completa e parcial.…”

Section: Introductionunclassified

Supervisory Control of Networked Discrete Event Systems With Timing Structure

Alves

Carvalho

Basilio

2021

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

A minha mãe, Noêmia, ao meu pai, Marcelo, e aos meus irmãos Marcelo, Charlles e Carlos. iv Agradecimentos Gostaria de agradecer primeiramente a Deus e à minha família, pelo amparo nos momentos difíceis. Em especial, à minha mãe, Noêmia, pelo amor e imenso zelo ao cuidar dos seus filhos. Ao meu pai, Marcelo, pelo esforço e luta para nos dar conforto. Aos meus irmãos, Carlos, Charlles e Marcelo, verdadeiros companheiros em todos os desafios da vida. À minha namorada, Mayne, que sempre me motivou e apoiou nos momentos mais complicados durante todo o curso de mestrado. Obrigado pelo seu amor e carinho. Aos meus orientadores, Professor Basilio e Professora Lilian, pela dedicação e paciência ao guiarem meus passos neste trabalho. Ao Professor Carrilho, que participou ativamente da elaboração desse trabalho. Ao Dr. Kurt Rohloff, por nos dar acesso às suas anotações referentes ao seu trabalho em controle supervisório robusto seguro em presença de falhas permanentes de sensores. Aos colegas do Laboratório de Controle e Automação da UFRJ, em especial: Carlos Eduardo, Gustavo, Felipe e Félix. v Resumo da Dissertação apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Mestre em Ciências (M.Sc.

show abstract

“…In this work, states can undergo a specified maximum number of unobserved transitions. Model uncertainties in DES is also addressed in [16], [17]. However, the objective in this case was to synthesize a controller which maximizes the family of plants for which the closed-loop behavior is within specified bounds.…”

Section: Introductionmentioning

confidence: 99%

Robust state-based supervisory control of discrete event systems

Abdelwahed¹,

Karsai²,

Biswas

Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005.

View full text Add to dashboard Cite

In this paper we present an approach for robust supervisory control of Discrete Event Systems. In the proposed approach, we assume that the current state is known only to be within a nonempty subset of the system states. We extend the definition of discrete event system controllability to take into account such uncertainty about the current state. We show that if the system behavior can be traced within the uncertainty set then an optimal non-blocking supervisor can be constructed for the system based on the optimal supervisor under full observation.

show abstract

Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications

Cited by 19 publications

References 11 publications

Efficient robust supervisors for discrete event systems

Efficient robust supervisors for discrete event systems

Supervisory Control of Networked Discrete Event Systems With Timing Structure

Robust state-based supervisory control of discrete event systems

Contact Info

Product

Resources

About