19 citations · 33 across the 4 of their papers we have counts for
Showing 2010Show all
2 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…