Jasen Markovski

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Deterministic Automata

Simple Temporal

Supervisory Control

Systems Engineering

Top Venues

ICT Innovations

Sci. Comput. Program.

Publications

Jasen Markovski
A process-theoretic approach to supervisory coordination under partial observation. Sci. Comput. Program. (2016)
Jasen Markovski, Hesuan Hu
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? CASE (2015)
Jasen Markovski
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Jos C. M. Baeten, Jasen Markovski
The role of supervisory controller synthesis in automatic control software development. Sci. Comput. Program. 97 (2015)
Jasen Markovski, Hesuan Hu
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. CASE (2014)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)
Jasen Markovski
Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. EPEW (2013)
Jasen Markovski
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems. CASE (2013)
Jasen Markovski
An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation. ECC (2013)
Jasen Markovski
Controllability for Nondeterministic Discrete-Event Systems with Data. ICSOFT (Selected Papers) (2013)
Marija Nakevska, Jasen Markovski, Matthias Rauterberg
A Model-Driven Engineering Approach for Immersive Mixed-Reality Environments. ICEC (2013)
Jasen Markovski, Rong Su
Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems. CDC (2013)
Jasen Markovski
Supervisory Coordination of Timed Communicating Processes. ICT Innovations (2013)
Jasen Markovski
Reliable supervisory coordination of stochastic communicating processes with data. SAC (2013)
Jasen Markovski, Michel A. Reniers
Supervisory movement coordination in pipeless chemical plants. ETFA (2013)
Jasen Markovski
Process-theoretic supervisor synthesis framework with data. ICCA (2013)
Jasen Markovski
Controllability for Nondeterministic Finite Automata with Variables. ICSOFT (2013)
Jasen Markovski, Michel A. Reniers
Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED (2013)
Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski
A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. SEFM Workshops (2013)
Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electron. Notes Theor. Comput. Sci. 296 (2013)
Jasen Markovski
Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. ACSD (2013)
Jasen Markovski
A process-theoretic state-based framework for live supervision. CASE (2012)
Jasen Markovski
Process theory for supervisory control of stochastic systems with data. ETFA (2012)
Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24 (4-6) (2012)
Jasen Markovski, Michel A. Reniers
Verifying Performance of Supervised Plants. ACSD (2012)
Jasen Markovski
Scalable Minimization Algorithm for Partial Bisimulation WS-FMDS (2012)
Jasen Markovski, Michel A. Reniers
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations (2012)
Jasen Markovski
Coarsest controllability-preserving plant minimization. WODES (2012)
Jasen Markovski, Michel A. Reniers
An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV (2012)
Jasen Markovski
Process theory for supervisory control with partial observation of events and states. CDC (2012)
Jasen Markovski, Joanna M. van de Mortel-Fronczak
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops (2012)
Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM (2012)
Jasen Markovski
Performance evaluation with cost estimation for supervised systems. SMC (2012)
Jasen Markovski
Communicating Processes with Data for Supervisory Coordination FOCLASA (2012)
Jasen Markovski
Towards supervisory control of Interactive Markov Chains: Plant minimization. ICCA (2011)
Jasen Markovski
Saving Time in a Space-Efficient Simulation Algorithm. QSIC (2011)
Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
A Process Algebra for Supervisory Coordination PACO (2011)
Jasen Markovski
Towards Supervisory Control of Interactive Markov Chains: Controllability. ACSD (2011)
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
A process-theoretic approach to supervisory control theory. ACC (2011)
Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda
Coordination of resources using generalized state-based requirements. WODES (2010)
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
A state-based framework for supervisory control synthesis and verification. CDC (2010)
Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS (2010)
Jasen Markovski, Erik P. de Vink
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Informaticae 95 (1) (2009)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66 (8) (2009)
Jasen Markovski, Erik P. de Vink
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST (2008)
Jasen Markovski, Erik P. de Vink
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD (2008)
Jasen Markovski, Nikola Trcka
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB (2008)
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
Compositionality for Markov Reward Chains with Fast Transitions. EPEW (2007)
Jasen Markovski, Erik P. de Vink
Real-Time Process Algebra with Stochastic Delays. ACSD (2007)
Jasen Markovski, Erik P. de Vink
Embedding Real Time in Stochastic Process Algebras. EPEW (2006)
Jasen Markovski, Nikola Trcka
Lumping Markov Chains with Silent Steps. QEST (2006)