Software for Complex Controllers

Computer, 1984

Bridging the gap between control theory and its application to complex industrial processes requires translating process requirements into economical, reliable software-a task control engineers can now undertake.

KI, 2004

Understanding how humans manage information and carry out actions provides a foundation for the software engineering of intelligent control systems. The Real-time Control System (RCS) design methodology and reference architecture, founded on human information management concepts, provides a domain independent approach to the acquisition and representation of expert knowledge and supports implementation in a form conducive to maintenance of the knowledge base. Its architecture provides a structured framework for sensory, semantic, episodic, and procedural knowledge.

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller.

2008

Abstract—Control of complex systems is one of important files in complex systems, that not only relies on the essence of complex systems which is denoted by the core concept – emergence, but also embodies,the elementary concept in control theory. Aiming at giving a clear and self-contained description of emergence, the paper introduces a formal way,to completely describe the formation and dynamics of emergence in complex systems. Consequently, this paper indicates the Emergence-Oriented Control methodology,that contains three kinds of basic control schemes: the direct control, the system re-structuring and the system calibration. As a universal ontology, the Emergence-Oriented Control provides a powerful tool for identifying and resolving control problems in specific systems. Keywords—Complex,System Control; Emergence; Emergence-

BIT, 1983

Proceedings of the 1st International Workshop on Control Theory for Software Engineering - CTSE 2015, 2015

One of the main challenges towards a software-based theory of control consists in finding an effective method for decomposing monolithic event-based interactive applications into modules. The task is challenging since this requires in turn to decompose both the invariants to be maintained as well as the main control loop. We present a formalisms for gathering portion of behaviour by special units, called holons, which are both parts and wholes and which can be arranged into part-whole taxonomies. Each holon hosts a state machine and embodies different invariants which give semantics to its states. Control is achieved by both taking autonomously internal actions by the state machine in order to maintain such state invariants, as well as by having the the state machine move from one invariant to another by actions driven by external events. Such an approach requires to introduce non trivial solutions in order to allow communication among such modules, mainly by implementing control loops among couple of holons. The proposed model consists essentially in shaping each module in order to be both a controller and a controllable entity. Each module may control a definite number of modules and is controlled by a single module. Control is exercised by discrete events which travel through a communication medium. Control actions as well as feedback events travel thus from a module to the another, thus achieving local control loops which, taken globally, decompose the main control loop.

2002

Understanding how humans manage information and carry out actions provides a foundation for the software engineering of intelligent control systems. The Real-time Control System (RCS) design methodology and reference architecture, founded on human information management concepts, provides a domain independent approach to the acquisition and representation of expert knowledge and supports implementation in a form conducive to maintenance of the knowledge base. Its architecture provides a structured framework for sensory, semantic, episodic, and procedural knowledge.

IEEE Parallel and …, 1994

n e Development Fra mewo rk t ra nsla tes application-specific system specifications into parallel, hard real-time implementations, using methods that are both familiar to developers and optimal for the application.

Lecture Notes in Computer Science, 1980

A new style of language is proposed for the programming of systems exhibiting complex concurrent or non-determinate behaviour. One working hypothesis proposed is that the fundamental objects defined by a program should correspond to the control phases that systems components are conceived of as passing through; further, that the enablement of the main program actions should depend primarily on the presence or absence of these phase objects. Another hypothesis is that phase objects should also constitute the (dynamically changing) hierarchy of system components. Some problems and benefits are discussed.

IEEE Transactions on Reliability - TR, 2001

Software implementation of control laws for industrial systems seem straightforward, but is not. The computer code stemming from the control laws is mostly not more than 10 to 30% of the total. A building-block approach for embedded control system development is advocated to enable a fast and efficient software design process. We have developed the CTJ library, Communicating Threads for Java¿, resulting in fundamental elements for creating building blocks to implement communication using channels. Due to the simulate-ability, our building block method is suitable for a concurrent engineering design approach. Furthermore, via a stepwise refinement process, using verification by simulation, the implementation trajectory can be done efficiently.