1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2025
Overview of Controllability Definitions in Supervisory Control Theory
Jeroen J. A. Keiren, Michel A. Reniers
In the field of supervisory control theory, the literature often proposes different definitions for the same concept, making it difficult to understand how these definitions are re…
cs.LO2023★ 1 cited
Expressiveness Results for Timed Modal Mu-Calculi
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (…