Synthesis of cost-optimized controllers from scenario-based GR(1) specifications

verfasst von

Daniel Gritzner, Joel Greenyer

Abstract

Modern systems often consist of many software-controlled components which must cooperate to fulAll difficult to achieve goals. Trying to reduce the cost of running such a system, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These formal speciAcations allow defects to be detected and fixed early in development. In this paper we present and evaluate an extension to our approach which enables engineers to model costs of processes and thus to synthesize controllers which guarantee that the speciAed goals are fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost of running a system.

Organisationseinheit(en)

Fachgebiet Software Engineering

Typ

Aufsatz in Konferenzband

Seiten

167-182

Anzahl der Seiten

16

Publikationsdatum

2018

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Angewandte Informatik

Ziele für nachhaltige Entwicklung

SDG 7 – Erschwingliche und saubere Energie

Elektronische Version(en)

https://dl.gi.de/handle/20.500.12116/14937 (Zugang: Offen)