Abstract
We consider the problem of synthesizing state feedback control policies for condition/event (C/E) systems where the control signals can be both conditions, which enable and inhibit state transitions, and events, which force state transitions. To represent the causal structure of condition and event feedback, a new feedback composition is defined. An algorithm is presented for synthesizing state feedback policies that keep the state of the C/E system out of a given set of forbidden states. The problem formulation and solution is illustrated for a process control example.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have