Gunther Reissig, Matthias Rungger.
Feedback Refinement Relations for Symbolic Controller Synthesis.
Proc. 53nd IEEE Conf. Decision and Control (CDC), Los Angeles, CA, U.S.A., 15-17 Dec. 2014, pp. 88-94.

Full text. (Definitive publication; restricted access.)
Full text. (Free access.)

Abstract:
A common issue with existing approaches to symbolic controller synthesis lies in the huge complexity of the resulting controllers. In particular, the latter usually need full plant state information and contain an abstraction of the plant as a building block. In this note, we present an extension which helps reduce that complexity. Our technique is based on the novel concept of feedback refinement relations to compare plants with their finite-state approximations. As an additional feature, our approach builds on infinitary completed trace semantics and allows for the synthesis of controllers for arbitrary, not necessarily prefix-closed specifications. We also reveal if and how existing symbolic controller synthesis procedures should be extended to benefit from the advantages of our technique.

BibTeX entry:

@InProceedings{ReissigRungger17aC,
 author = {Gunther Reissig and Matthias Rungger},
 title  = {Feedback Refinement Relations for Symbolic Controller Synthesis},
 booktitle = {Proc. 53rd IEEE Conf. Decision and Control (CDC), Los Angeles, CA, U.S.A., 15-17 } # dec # { 2014},
 pages = {88-94},
 year = {2014},
 address = {New York},
 publisher = {IEEE}
 doi   = {10.1109/CDC.2014.7039364}
}

Impressum und Haftungsausschluß