Matthias Rungger, Gunther Reissig, and Majid Zamani.
Symbolic Synthesis with Average Performance Guarantees.
Proc. 55nd IEEE Conf. Decision and Control (CDC), Las Vegas, U.S.A., 12-14 Dec. 2016, pp. 7404-7410.

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

Abstract:
We consider a general quantitative controller synthesis framework to synthesize controllers that not only enforce a desired input-output behavior on the closed-loop, but additionally minimize a certain average cost function, which is used to assess the closed loop behavior. We follow the usual symbolic synthesis approach, based on so-called discrete abstractions (also known as symbolic models) and propose a modification of the well-known system relations which enables the reasoning about the closed loop performance across related systems. We show how to construct symbolic models in terms of the newly introduced system relations for sampled-data, switched, nonlinear systems. A small numerical example is provided, to illustrate some of the theoretical results.

BibTeX entry:

@InProceedings{RunggerReissigZamani17OCPc,
  author = {Matthias Rungger and Gunther Reissig and Majid Zamani},
  title = {Symbolic Synthesis with Average Performance Guarantees},
  booktitle = {Proc. IEEE Conf. Decision and Control (CDC), Las Vegas, U.S.A., 12-14 } # dec # { 2016},
  pages = {7404-7410},
  year = {2016},
  address = {New York},
  publisher = {IEEE},
  doi = {10.1109/CDC.2016.7799413}
}

Impressum und Haftungsausschluß