Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
| Hi-index | 0.00 |
Supervisory control is a logical control method of discrete event systems introduced by Ramadge and Wonham.We propose a novel coalgebraic formulation of a supervisory control problem and design a controller called supervisor satisfying a given specification under partial observations. In this paper, plants, specifications, and supervisors are modeled by Mealy automata, automata, and Moore automata, respectively. We define a composition of a supervisor and a plant coinductively, which is called a supervisory composition, to represent a behavior of the controlled plant. We formulate a supervisory control problem using the supervisory composition. We define two relations: a partial bisimulation relation and a modified normal relation. We show that these relations are related to the controllability/observability and the modified normality which are the key notions in the supervisory control theory.