This paper presents a system specification of the steam boiler control system described in [?]: To manage complexity and to foster separation of concerns the design model is divided into three views: The architectural view specified with object and class diagrams, the reactive view specified with statecharts, and the functional view specified with Z. A systematic relationship between the reacti...

Reactive distillation is an emerging process intensification technology, although its operation and control are complex due to the interactions between reaction separation within column. In this work, impact of separation, as well design parameters, on controllability reactive processes investigated, using a systematic methodology developed. Case studies industrial interest considered, varying ...

We describe a denotational model of higher-order functional reactive programming using ultrametric spaces, which provide a natural Cartesian closed generalization of causal stream functions. We define a domain-specific language corresponding to the model. We then show how reactive programs written in this language may be implemented efficiently using an imperatively updated dataflow graph and g...

Semiconductor-metal hybrid nanoparticles manifest efficient light-induced spatial charge separation at the semiconductor-metal interface, as demonstrated by their use for hydrogen generation via water splitting. Here, we pioneer a study of their functionality as efficient photocatalysts for the formation of reactive oxygen species. We observed enhanced photocatalytic activity forming hydrogen p...