Jasen Markovski

A state-based framework for supervisory control synthesis and verification

Jasen Markovski, D.A. van Beek, R.J.M. Theunissen et al. · 2010 · 54 citations

Engineering, Control Structure, Model-based Control Technique +14

Coordination of Resources using Generalized State-Based Requirements

Jasen Markovski, Karen Jacobs, D.A. van Beek et al. · IFAC Proceedings Volumes · 2010 · 51 citations

Resource Constraint, Engineering, Generalized State-based Requirements +6

Real and stochastic time in process algebras for performance evaluation

Jasen Markovski · Data Archiving and Networked Services (DANS) · 2008 · 42 citations · Full text

Engineering, Markovian Performance Models, Stochastic Simulation +24

A process-theoretic approach to supervisory control theory

J. C. M. Baeten, D.A. van Beek, Bas Luttik et al. · 2011 · 34 citations

Control Theory, Engineering, Discrete Event System +15

A Process Algebra for Supervisory Coordination

J. C. M. Baeten, Bert van Beek, Allan van Hulst et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 21 citations · Full text

Engineering, Discrete Event System, Formal Modeling +15