A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. (English) Zbl 1359.93295
Editorial remark: No review copy delivered.
MSC:
93C65 | Discrete event control/observation systems |