Recently, we have introduced and modified graph-decomposition theorems based on a graph product motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP) is based on modifications of the well-known Cartesian product and is …

Recently, we have introduced and modified two graph-decomposition theorems based on a new graph product, motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP), is based on modifications of the well-known Cartesian product …

Recently, we have introduced two graph-decomposition theorems based on a new graph product, motivated by applications in the context of synchronising periodic real-time processes. This vertex removing synchronised product (VRSP) is based on modifications of the well-known Cartesian product and is closely …

Recently, we have introduced two graph-decomposition theorems based on a new graph product, motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP) is based on modifications of the well-known Cartesian product and is closely …

This paper describes the concept of a new algorithm to control an Unmanned Aerial System (UAS) for accurate autonomous indoor flight. Inside a greenhouse, Global Positioning System (GPS) signals are not reliable and not accurate enough. As an alternative, Ultra Wide Band (UWB) is used for localization. …

This paper describes the concept of a new algorithm to control an Unmanned Aerial System (UAS) for accurate autonomous indoor flight. Inside a greenhouse, Global Positioning System (GPS) signals are not reliable and not accurate enough. As an alternative, Ultra Wide Band (UWB) is used for localization. The …

In November 2019, the High Performance Greenhouse project (HiPerGreen) was nominated for the RAAK Award 2019, as one of the best applied research projects in the Netherlands. This paper discusses the challenges faced, lessons learned and critical factors in making the project into a success.

Recently, we have introduced a new graph product, motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP) is based on modifications of the well-known Cartesian product, and closely related to the synchronised product due …

Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous …

In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal …