3 citations · 4 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2017
Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models
Jan Olaf Blech, Lasith Fernando, Keith Foster +2
This report presents our SmartSpace event handling framework for managing smart-grids and renewable energy installations. SmartSpace provides decision support for human stakeholder…
cs.SE2016★ 1 cited
Towards the Formalization of a Factory Demonstrator in BeSpaceD
Keith Foster, Jan Olaf Blech, Guillaume Prevost
This report gives an overview of our efforts towards a formalization for a food processing demonstrator plant. Our BeSpaceD framework is used for the formalization. The formalizati…
cs.SE2016★ 3 cited
Operators for Space and Time in BeSpaceD
Jan Olaf Blech, Keith Foster
In this report, we present some spatio-temporal operators for our BeSpaceD framework. We port operators known from functional programming languages such as filtering, folding and n…