Abstract: A method of controlling a traffic system having a plurality of intersections with switchable traffic lights and road sections located between the intersections includes detecting traffic loads of multiple relevant road sections, determining a local stress function for each relevant road section depending on the detected traffic load of the respective relevant road section, determining a global stress function for the entire traffic system based on the local stress functions, determining, using a quantum concept processor, improved switching times for the traffic lights of the intersections adjacent to the relevant road sections, wherein the improved switching times are determined such that the global stress function reaches a smallest detectable value, and switching the traffic lights according to a switching model based on the improved switching times.

Abstract: A method of generating a representation of a program logic includes: capturing first program code in a low-level programming language, the program code having been generated by compiling program logic defined in a high-level language; dividing the captured first program code into a sequence of code sections based on a predetermined set of at least partially parameterized code patterns, wherein specific parameter values are captured for each code section and a terminal symbol of an intermediate language is assigned to each code section; assigning the assigned terminal symbols to non-terminal symbols of the intermediate language based on a context-free grammar, wherein a totality of the assigned non-terminal symbols describes the program logic of the first program code in the intermediate language; and generating a representation of the program logic independent of the first processor architecture based on the associated non-terminal symbols of the intermediate language and the detected parameter values.