×

Symbolic control of stochastic systems via approximately bisimilar finite abstractions. (English) Zbl 1360.93445

Editorial remark: No review copy delivered.

MSC:

93C65 Discrete event control/observation systems
68Q45 Formal languages and automata
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93B50 Synthesis problems
93E03 Stochastic systems in control theory (general)
PDFBibTeX XMLCite
Full Text: DOI arXiv