19 citations · 33 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2010★ 2 cited
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.…
cs.LO2010★ 9 cited
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…
cs.LO2009★ 3 cited
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…