State-Based Control of Discrete-Event Systems Under Partial Observation

State-Based Control of Discrete-Event Systems Under Partial Observation

This paper describes a state-based approach for supervisor synthesis of discrete-event systems under partial observation, based on predicates and predicate transformers. We focus on the normality property and provide an iterative algorithm for state-based normality synthesis. A condition is provided...

Full description

Bibliographic Details
Main Authors: Deguang Wang, Liyong Lin, Zhiwu Li, Walter Murry Wonham
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Discrete-event systems
partial observation
normality
symbolic computation
Online Access:https://ieeexplore.ieee.org/document/8421214/

Internet

https://ieeexplore.ieee.org/document/8421214/

Similar Items