Jasen Markovski

According to our database, Jasen Markovski authored at least 51 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A process-theoretic approach to supervisory coordination under partial observation.

Jasen Markovski

Sci. Comput. Program., 2016

2015

The role of supervisory controller synthesis in automatic control software development.

Jos C. M. Baeten, Jasen Markovski

Sci. Comput. Program., 2015

Employing behavioral preorders to define controllability for nondeterministic discrete-event systems.

Jasen Markovski

Discret. Event Dyn. Syst., 2015

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?

Jasen Markovski, Hesuan Hu

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

CIF 3: Model-Based Engineering of Supervisory Controllers.

D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions.

Jasen Markovski, Hesuan Hu

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.

Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski

Proceedings of the Software Engineering and Formal Methods, 2013

Reliable supervisory coordination of stochastic communicating processes with data.

Jasen Markovski

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Performance-model abstraction in a synthesis-centric model-driven systems engineering framework.

Jasen Markovski, Michel A. Reniers

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

A Model-Driven Engineering Approach for Immersive Mixed-Reality Environments.

Marija Nakevska, Jasen Markovski, Matthias Rauterberg

Proceedings of the Entertainment Computing - ICEC 2013 - 12th International Conference, 2013

Supervisory Coordination of Timed Communicating Processes.

Jasen Markovski

Proceedings of the ICT Innovations 2013, 2013

Controllability for Nondeterministic Discrete-Event Systems with Data.

Jasen Markovski

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Controllability for Nondeterministic Finite Automata with Variables.

Jasen Markovski

Proceedings of the ICSOFT 2013, 2013

Process-theoretic supervisor synthesis framework with data.

Jasen Markovski

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation.

Jasen Markovski

Proceedings of the 12th European Control Conference, 2013

Supervisory movement coordination in pipeless chemical plants.

Jasen Markovski, Michel A. Reniers

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.

Jasen Markovski

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems.

Jasen Markovski, Rong Su

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems.

Jasen Markovski

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data.

Jasen Markovski

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Reconciling real and stochastic time: the need for probabilistic refinement.

Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink

Formal Aspects Comput., 2012

Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking.

Jasen Markovski, E. S. Estens Musa, Michel A. Reniers

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Communicating Processes with Data for Supervisory Coordination

Jasen Markovski

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Scalable Minimization Algorithm for Partial Bisimulation

Jasen Markovski

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

Coarsest controllability-preserving plant minimization.

Jasen Markovski

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Performance evaluation with cost estimation for supervised systems.

Jasen Markovski

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Modeling for Safety in a Synthesis-Centric Systems Engineering Framework.

Jasen Markovski, Joanna M. van de Mortel-Fronczak

Proceedings of the Computer Safety, Reliability, and Security, 2012

Partially-Supervised Plants: Embedding Control Requirements in Plant Components.

Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.

Jasen Markovski, Michel A. Reniers

Proceedings of the ICT Innovations 2012, 2012

An integrated state- and event-based framework for verifying liveness in supervised systems.

Jasen Markovski, Michel A. Reniers

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Process theory for supervisory control of stochastic systems with data.

Jasen Markovski

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Process theory for supervisory control with partial observation of events and states.

Jasen Markovski

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A process-theoretic state-based framework for live supervision.

Jasen Markovski

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Verifying Performance of Supervised Plants.

Jasen Markovski, Michel A. Reniers

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

A Process Algebra for Supervisory Coordination

Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Saving Time in a Space-Efficient Simulation Algorithm.

Jasen Markovski

Proceedings of the 11th International Conference on Quality Software, 2011

Towards supervisory control of Interactive Markov Chains: Plant minimization.

Jasen Markovski

Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

A process-theoretic approach to supervisory control theory.

Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda

Proceedings of the American Control Conference, 2011

Towards Supervisory Control of Interactive Markov Chains: Controllability.

Jasen Markovski

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Coordination of resources using generalized state-based requirements.

Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.

Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

A state-based framework for supervisory control synthesis and verification.

Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Compositionality for Markov reward chains with fast and silent transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Perform. Evaluation, 2009

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra.

Jasen Markovski, Erik P. de Vink

Fundam. Informaticae, 2009

2008

Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions.

Jasen Markovski, Nikola Trcka

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

Extending Timed Process Algebra with Discrete Stochastic Time.

Jasen Markovski, Erik P. de Vink

Proceedings of the Algebraic Methodology and Software Technology, 2008

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.

Jasen Markovski, Erik P. de Vink

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Compositionality for Markov Reward Chains with Fast Transitions.

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Real-Time Process Algebra with Stochastic Delays.

Jasen Markovski, Erik P. de Vink

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Lumping Markov Chains with Silent Steps.

Jasen Markovski, Nikola Trcka

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Embedding Real Time in Stochastic Process Algebras.

Jasen Markovski, Erik P. de Vink

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006