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

authored by

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.

Organisation(s)

Software Engineering Section

Type

Conference contribution

Pages

167-182

No. of pages

16

Publication date

2018

Publication status

Published

Peer reviewed

Yes

ASJC Scopus subject areas

Computer Science Applications

Sustainable Development Goals

SDG 7 - Affordable and Clean Energy

Electronic version(s)

https://dl.gi.de/handle/20.500.12116/14937 (Access: Open)