Formal synthesis of control strategies for positive monotone systems. (English) Zbl 1482.93189
Editorial remark: No review copy delivered.
MSC:
93B50 | Synthesis problems |
03B44 | Temporal logic |
93B05 | Controllability |
93C55 | Discrete-time control/observation systems |