Mathematical model of biomass gasification using high temperature air in fixed beds