Logo image
Back
Online supervisor synthesis for partially observed discrete-event systems
Journal article   Peer reviewed

Online supervisor synthesis for partially observed discrete-event systems

Joseph Prosser, Moshe Kam and Harry Kwatny
IEEE transactions on automatic control, v 43(11), pp 1630-1634
01 Nov 1998
DOI: https://doi.org/10.1109/9.728885
Featured in Collection :   UN Sustainable Development Goals @ Drexel

Abstract

A partial information supervisor that generates a class of closed controllable and observable sublanguages of a specified 'legal' language is presented. This supervisor has the following features: (1) it can be implemented online (i.e., the disabled event set need only be computed once upon observation of each event); (2) the computations of the disabled event set can be performed in O(mn) worst case complexity, where n is the number of states in the legal language generator and m is the number of events; (3) an online supervisor presented previously by Heymann and Lin (1993) is a special case of the new supervisor; and (4) all the languages generated by the new supervisor contain the supremal closed controllable and normal (supCCN) sublanguage of the legal language (in fact, they contain a language developed by Fa et al. (1993) that was shown to contain the supCCN sublanguage). (Author)

Metrics

8 Record Views
16 citations in Web of Science
17 citations in Scopus

Details

UN Sustainable Development Goals (SDGs)

This publication has contributed to the advancement of the following goals:

#11 Sustainable Cities and Communities

InCites Highlights

Data related to this publication, from InCites Benchmarking & Analytics tool:

Web of Science research areas
Automation & Control Systems
Engineering, Electrical & Electronic
Logo image