Incremental design of a Power transformer station controller using a controller synthesis methodology

Abstract

AbstractÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from this set of control objectives. In our case, the plant is specified at a high level, using the data-flow synchronous SIGNAL language, and then by its logical abstraction, named polynomial dynamical system. The control objectives are specified as invariance, reachability, ... properties, as well as partial order relations to be checked by the plant. The control objectives equations are synthesized using algebraic transformations.

Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures

“…In this work, we use DCS operations corresponding to different algorithms to synthesize controllers [23] for: invariance w.r.t. a subset of states, reachability of a subset of states, one-step optimization of a cost on the next state, and path optimization of a cost of the bounded path to a target state [9].…”

“…a subset of states, reachability of a subset of states, one-step optimization of a cost on the next state, and path optimization of a cost of the bounded path to a target state [9]. Such operations have been implemented in the Sigali DCS tool [23]. In particular, we use the user-friendly tool BZR * [8], whose compilation involves the Sigali tool to perform DCS.…”

“…One-step optimal objectives. One-step optimal objectives aim to minimise or maximise costs associated with states and/or transitions in a single step [23]. Objective 6 of Section 3.5 belongs to this type.…”

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

“…Contracts are enforced by a controller computed by the Sigali DCS tool [11]. An Heptagon program is compiled into a C file that implements its behavior, and into a Z3Z file that encodes the program into a symbolic transition system over the Z/3Z domain [13]. This Z3Z file is then passed to Sigali to generate a discrete controller enforcing, if possible, the contracts on the symbolic transition system.…”

The Sigali Tool Box Environment

“…• In [8], the synthesis methodology has been applied to the incremental design of a power transformer station controller.…”