Jasen Markovski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2016

A process-theoretic approach to supervisory coordination under partial observationJasen Markovski. SCP, 115:127-145, 2016. [doi]

2015

The role of supervisory controller synthesis in automatic control software developmentJos C. M. Baeten, Jasen Markovski. SCP, 97:17-22, 2015. [doi]

Employing behavioral preorders to define controllability for nondeterministic discrete-event systemsJasen Markovski. deds, 25(1-2):227-250, 2015. [doi]

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?Jasen Markovski, HeSuan Hu. case 2015: 521-525 [doi]

2014

A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributionsJasen Markovski, HeSuan Hu. case 2014: 436-442 [doi]

CIF 3: Model-Based Engineering of Supervisory ControllersD. A. van Beek, Wan Fokkink, D. Hendriks, A. Hofkamp, Jasen Markovski, J. M. van de Mortel-Fronczak, Michel A. Reniers. TACAS 2014: 575-580 [doi]

2013

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with DataAleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski. SEFM 2014: 101-112 [doi]

Reliable supervisory coordination of stochastic communicating processes with dataJasen Markovski. SAC 2013: 1347-1354 [doi]

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systemsJasen Markovski. case 2013: 1075-1082 [doi]

Process-theoretic supervisor synthesis framework with dataJasen Markovski. icca 2013: 816-821 [doi]

Towards Supervisory Control of Generally-Distributed Discrete-Event SystemsJasen Markovski. epew 2013: 43-57 [doi]

Controllability for Nondeterministic Finite Automata with VariablesJasen Markovski. ICSOFT 2013: 438-446 [doi]

Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with DataJasen Markovski. acsd 2013: 31-40 [doi]

Controllability for Nondeterministic Discrete-Event Systems with DataJasen Markovski. ICSOFT 2014: 199-214 [doi]

An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluationJasen Markovski. eucc 2013: 650-657 [doi]

Supervisory Coordination of Timed Communicating ProcessesJasen Markovski. ictinnovations 2014: 209-218 [doi]

Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systemsJasen Markovski, Rong Su. cdc 2013: 7615-7620 [doi]

Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model CheckingJasen Markovski, E. S. Estens Musa, Michel A. Reniers. ENTCS, 296:163-181, 2013. [doi]

Performance-model abstraction in a synthesis-centric model-driven systems engineering frameworkJasen Markovski, Michel A. Reniers. med 2013: 1092-1097 [doi]

Supervisory movement coordination in pipeless chemical plantsJasen Markovski, Michel A. Reniers. etfa 2013: 1-4 [doi]

A Model-Driven Engineering Approach for Immersive Mixed-Reality EnvironmentsMarija Nakevska, Jasen Markovski, Matthias Rauterberg. iwec 2013: 147-150 [doi]

2012

Modeling for Safety in a Synthesis-Centric Systems Engineering FrameworkJasen Markovski, J. M. van de Mortel-Fronczak. safecomp 2012: 36-49 [doi]

Partially-Supervised Plants: Embedding Control Requirements in Plant ComponentsJasen Markovski, Dirk A. van Beek, Jos C. M. Baeten. IFM 2012: 253-267 [doi]

Process theory for supervisory control of stochastic systems with dataJasen Markovski. etfa 2012: 1-4 [doi]

Performance evaluation with cost estimation for supervised systemsJasen Markovski. SMC 2012: 6-11 [doi]

Process theory for supervisory control with partial observation of events and statesJasen Markovski. cdc 2012: 5804-5809 [doi]

A process-theoretic state-based framework for live supervisionJasen Markovski. case 2012: 680-685 [doi]

Coarsest controllability-preserving plant minimizationJasen Markovski. wodes 2012: 251-258 [doi]

Reconciling real and stochastic time: the need for probabilistic refinementJasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink. fac, 24(4-6):497-518, 2012. [doi]

An integrated state- and event-based framework for verifying liveness in supervised systemsJasen Markovski, Michel A. Reniers. icarcv 2012: 246-251 [doi]

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2Jasen Markovski, Michel A. Reniers. ictinnovations 2013: 295-304 [doi]

Verifying Performance of Supervised PlantsJasen Markovski, Michel A. Reniers. acsd 2012: 52-61 [doi]

2011

2010

2009

Compositionality for Markov reward chains with fast and silent transitionsJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink. pe, 66(8):435-452, 2009. [doi]

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process AlgebraJasen Markovski, Erik P. de Vink. FUIN, 95(1):157-186, 2009. [doi]

2008

Aggregation Methods for Markov Reward Chains with Fast and Silent TransitionsJasen Markovski, Nikola Trcka. mmb 2008: 93-108

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systemsJasen Markovski, Erik P. de Vink. acsd 2008: 180-189 [doi]

Extending Timed Process Algebra with Discrete Stochastic TimeJasen Markovski, Erik P. de Vink. amast 2008: 268-283 [doi]

2007

Compositionality for Markov Reward Chains with Fast TransitionsJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink. epew 2007: 18-32 [doi]

Real-Time Process Algebra with Stochastic DelaysJasen Markovski, Erik P. de Vink. acsd 2007: 177-186 [doi]

2006

Lumping Markov Chains with Silent StepsJasen Markovski, Nikola Trcka. qest 2006: 221-232 [doi]

Embedding Real Time in Stochastic Process AlgebrasJasen Markovski, Erik P. de Vink. epew 2006: 47-62 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Jasen Markovski'

Viewing Publication 1 - 48 from 48

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Jasen Markovski'

Viewing Publication 1 - 48 from 48

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1