An Investigation Of Controls For Concurrent Systems Based On Abstract Control Languages

Abstract

The behaviour of the controlled system determines the control. This concise statement summarizes our approach to the investigation of controls. Using abstract languages to define the behaviour and subbehaviour of a system, and therewith the behaviour of the uncontrolled and of the controlled system, we are able to describe and study different types of control rules and properties to be realized by control like deadlock avoidance, liveness and fairness.