Abstract:
A method for controlling an electric machine or electric unit by actuating a component of the electric machine or unit using a predicate and by automatically examining the component in regard to the performance of the predicate to permit examination of an automated system for possible errors in a simply manner, wherein the predicate contains an expected value of a (physical) quantity of the component, and wherein in the examination of the component, a check is performed to determine whether the expected value actually arises when the predicate is performed such that erroneous situations can be detected by a runtime system without explicit programming being necessary therefor.
Abstract:
A method for controlling an electric machine or electric unit by actuating a component of the electric machine or unit using a predicate and by automatically examining the component in regard to the performance of the predicate to permit examination of an automated system for possible errors in a simply manner, wherein the predicate contains an expected value of a (physical) quantity of the component, and wherein in the examination of the component, a check is performed to determine whether the expected value actually arises when the predicate is performed such that erroneous situations can be detected by a runtime system without explicit programming being necessary therefor.
Abstract:
A stage lighting system is comprised of a plurality of lamp units which may have diverse communication protocols, functions and data parameters. The stage lighting system is controlled by a modular control system comprised of a modular controller mainframe interconnected with a plurality of control devices which may have diverse communications protocols and data formats. The modular controller mainframe consists of a plurality of input and output modules, mass storage devices and a main processor kernel, all interconnected by a number of data buses. The input modules serve as an interface between the modular controller mainframe and the diverse protocols of the various control devices. Similarly, the output modules serve as an interface between the modular controller mainframe and the diverse protocols of the various types of lamp units. The modular controller mainframe serves as an interface system by providing one or more of said input or output modules with the capability of translating parameter commands, where necessary, to accommodate control devices having diverse communications protocols and output devices having diverse communications protocols, functions and data formats. The system may also include a distributed control system for a lighting system in which two or more fully-functional control devices are online simultaneously to control any function of any of a plurality of luminaries from the control devices. Various methods for arbitrating and resolving conflicts between or among plural control consoles are also used.