19 citations · 33 across the 4 of their papers we have counts for
4 papers
Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks
Milosh Stolikj, Thomas M. M. Meyfroyt, Pieter J. L. Cuijpers +1
Trickle is a polite gossip algorithm for managing communication traffic. It is of particular interest in low-power wireless networks for reducing the amount of control traffic, as…
A theory of desynchronisable closed loop system
Harsh Beohar, Pieter Cuijpers
The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata.…
Hierarchical states in the Compositional Interchange Format
H. Beohar, D. E. Nadales Agut, D. A. van Beek +1
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other lan…
Design of asynchronous supervisors
Harsh Beohar, Pieter Cuijpers, Jos Baeten
One of the main drawbacks while implementing the interaction between a plant and a supervisor, synthesised by the supervisory control theory of \citeauthor{RW:1987}, is the inexact…