1: \begin{abstract}

2: Our aim is twofold:

3: First, we rigorously analyse the generators of quantum-dynamical semigroups of thermodynamic processes.

4: We

5: characterise a wide class of \textsc{gksl}-generators for quantum 

6: maps within

7: thermal operations and argue that every infinitesimal generator of (a one-parameter semigroup of) Markovian thermal operations belongs to this class.

8: We completely classify and visualise

9: them

10: and their non-Markovian counterparts 

11: for the case of a single qubit.

12: 

13: Second, we use this description in the framework of bilinear control systems to characterise reachable sets

14: of coherently controllable quantum 

15: systems with switchable coupling to a thermal bath.

16: The core problem reduces to studying a hybrid control system (``toy model'') on the standard simplex 

17: allowing for two types of evolution:

18: (i) instantaneous permutations and (ii) 

19: a one-parameter semigroup of $d$-stochastic maps. 

20: We generalise upper bounds of the reachable set of this toy model 

21: invoking new results on thermomajorisation.

22: Using 

23: tools of control theory

24: we fully characterise these reachable sets as well as the set of stabilisable states 

25: as exemplified by exact results in qutrit systems.

26: \end{abstract}

27: