Supervisory Control of Hybrid Systems Under Partial Observation Based on -Complete Approximations
This paper addresses a supervisory management problem for time invariant hybrid dynamical systems based mostly on the l-complete approximation scheme by Moor and Raisch (“Discrete supervisory management of hybrid systems based mostly on l-complete approximations,” 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state area, and its external behavior is described by discrete input/output signals with finite vary, and some output signal is assumed to be unmeasurable. For the strongest l-complete approximation of the plant, which is realized by a finite state machine, we present a methodology to design a finite state supervisor to attain a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here