Robust supervisory control of discrete event systems against intermittent loss of observations
- 18 November 2019
- journal article
- research article
- Published by Taylor & Francis in International Journal of Control
- Vol. 94 (7) , 2008-2020
Abstract
We address in this paper the design of robust supervisors that are able to cope with intermittent loss of observations and also make the controlled system achieve the specification language under nominal operation. In order to do so, we introduce a definition of robust observability that leverages possible observations of the events that are subject to intermittent loss of observations and address language permissiveness by extending the recently introduced definition of relative observability to robust relative observability. We present necessary and sufficient conditions for the existence of robust supervisors that make the controlled system achieve robustly controllable and observable or relatively observable languages and present a characterisation of all achievable languages. A running example illustrates all the results presented in the paper, and an example taken from the open literature is used to illustrate the efficiency of the robust design strategy proposed in the paper.Keywords
Funding Information
- Conselho Nacional de Desenvolvimento Científico e Tecnológico (462307/2014-0)
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Finance Code 001)
This publication has 23 references indexed in Scilit:
- State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks2019
- Detection and mitigation of classes of attacks in supervisory control systemsAutomatica, 2018
- Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 EnvironmentsIEEE Transactions on Industrial Informatics, 2017
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable SublanguageIEEE Transactions on Automatic Control, 2016
- The role of supervisory controller synthesis in automatic control software developmentScience of Computer Programming, 2015
- Relative Observability of Discrete-Event Systems and Its Supremal SublanguagesIEEE Transactions on Automatic Control, 2014
- Robust diagnosis of discrete event systems against intermittent loss of observationsAutomatica, 2012
- Introduction to Discrete Event Systems2008
- Robustness of supervisors for discrete-event systemsIEEE Transactions on Automatic Control, 1999
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988