×

Feedback refinement relations for the synthesis of symbolic controllers. (English) Zbl 1366.93363

Editorial remark: No review copy delivered.

MSC:

93C65 Discrete event control/observation systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
37N35 Dynamical systems in control
68W30 Symbolic computation and algebraic computation
PDFBibTeX XMLCite
Full Text: DOI arXiv