STATE-FEEDBACK CONTROL OF CONDITION EVENT SYSTEMS/

We consider the problem of synthesizing state feedback control policie s for condition/event (C/E) systems where the control signals can be b oth 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. R n algorithm is presented for synthesizing state feedback policies that keep the state of the C/E system out of a given set of forbidden stat es. The problem formulation and solution is illustrated for a process control example.