12 citations · 34 across the 15 of their papers we have counts for
Showing 2010 · cs.LOShow all
2 papers · 2 filters
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…