New methods for control engineering: mathematically exact description, visualization, verification and implementation of complex controllers and system models


Due to the increasing complexity in nearly all areas of function and system development in automobiles, physical models in control software are now state of the art. The classical development methods (such as directed block diagrams, linearization, explicit time discretization, unit delays for breaking up algebraic loops) reach their limits in mastering the intricacies within these models. This novel kind of complexity requires new systematic methods and approaches for the modern functional and software design of embedded systems.


With SCODE-CONGRA, mathematically described relationships from control engineering (controller, observer, pilot control, plant models) can be modelled in a simple way. Only the undirected equation systems have to be entered. These can contain non-linear differential algebra equations and thus model physics as accurately as possible. A graph is automatically generated from these equation systems. All that remains is to click on the desired solution direction, and everything else including the mathematical symbolic solution, finding pole positions, handling algebraic loops (symbolic or numeric) and generating code for simulation or for the control unit happens automatically. In particular, a forward and a backward model can be created from a model approach within a very short time without errors.

Analyses of computability, over/underdetermination, diagnosis, sensitivity and observability are made possible interactively. MATLAB® M code, Simulink® blocks, FMUs, ESDL and C code are supported as output.

With SCODE-ANALYZER the logical decision paths of a system can easily be described. The system is divided into operating modes, which are verified in the background as soon as they are entered. This ensures that no matter how high the number of logical combinations for the system is, none of them is forgotten in the system approach (100% coverage) and the operating modes do not overlap (determinism in switching behavior). Existing state machines can thus be made error-free. Runnable test cases with the same strong mathematical properties are automatically generated. Additionally, we support output in the form of MATLAB® M code, Simulink® blocks, ESDL and C code.


With SCODE-CONGRA & SCODE-ANALYZER, universities can easily apply structural control engineering and verification in logic and quickly reach simulation and embedded software. These new methods are currently being introduced in the entire automotive industry, to both OEMs and Tier1s, and are already being used in series development as well as in innovative products.