Novel model-based innovation techniques enable simultaneous optimization of catalyst formulations and operating reactors