Whole trees from energy thinnings constitute one of many forest fuel sources, yet ten widely applied supply chains could be defined for this feedstock alone. These ten represent only a subset of the real possibilities, as felling method was held constant and only a single market (combustion of whole tree chips) was considered. Stages included in-field, roadside landing, terminal, and conversion...

A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be autom...