The reversible computation paradigm aims to provide a new foundation for general classical digital computing that is capable of circumventing the thermodynamic limits to the energy efficiency of the conventional, non-reversible paradigm. However, to date, the essential rationale for and analysis of classical reversible computing (RC) has not yet been expressed in terms that leverage the modern formal methods of non-equilibrium quantum thermodynamics (NEQT). In this paper, we begin developing an NEQT-based foundation for the physics of reversible computing. We use the framework of Gorini-Kossakowski-Sudarshan-Lindblad dynamics (a.k.a. Lindbladians) with multiple asymptotic states, incorporating recent results from resource theory, full counting statistics, and stochastic thermodynamics. Important conclusions include that, as expected: (1) Landauer's Principle indeed sets a strict lower bound on entropy generation in traditional non-reversible architectures for deterministic computing machines when we account for the loss of correlations; and (2) implementations of the alternative reversible computation paradigm can potentially avoid such losses, and thereby circumvent the Landauer limit, potentially allowing the efficiency of future digital computing technologies to continue improving indefinitely. We also outline a research plan for identifying the fundamental minimum energy dissipation of reversible computing machines as a function of speed.

The ongoing challenge to ensure a sustainable and affordable energy supply forces industrial companies to implement appropriate measures. These measures typically lead to an increased system complexity, which has to be addressed during operation. Whereas existing approaches from the field of supervisory and optimal control appear to be capable of mastering this issue, these are still not adopted in industry. Therefore, this work presents a procedure model for the systematic development of application-oriented operating strategies for industrial energy supply systems. The procedure model combines research approaches from the fields of sequencing control and approximate MPC to extract rule-based operating strategies. By splitting the procedure model into five phases, expert knowledge can be integrated in a target-oriented manner. Subsequently to the description, the procedure model is exemplary applied to the example of an industrial heating supply system. Throughout an optimization study, the developed operating strategy is compared to a MPC strategy as well as a baseline strategy. Whereas the conventional MPC approach is the upper bound with regard to optimality, the developed operating strategy is able to generate comparable results. Compared to the baseline strategy, a relative reduction in operating expenses of 5.4 % to 37.0 % are achieved in this specific use case.