Publications

Filters: Author is Jasen Markovski [Clear All Filters]

In Press

J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.

2013

J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.

J. Markovski, “Process-theoretic supervisor synthesis framework with data”, in ICCA, 2013.

J. Markovski, “Reliable supervisory coordination of stochastic communicating processes with data”, in SAC, 2013.

J. Markovski and M. A. Reniers, “Supervisory Movement Coordination in Pipeless Chemical Plants”, in ETFA, 2013.

J. Markovski, “Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data”, in ACSD, 2013.

J. Markovski, “Towards Supervisory Control of Generally-Distributed Discrete-Event Systems”, in EPEW, 2013.

2012

J. Markovski and M. A. Reniers, “An integrated state- and event-based framework for verifying liveness in supervised systems”, in ICARCV, 2012.

J. Markovski and J. M. van de Mortel-Fronczak, “Modeling for Safety in a Synthesis-Centric Systems Engineering Framework”, in SAFECOMP Workshops, 2012.

J. Markovski, D. A. van Beek, and J. C. M. Baeten, “Partially-Supervised Plants: Embedding Control Requirements in Plant Components”, in IFM, 2012.

J. Markovski, “Process theory for supervisory control of stochastic systems with data”, in ETFA, 2012.

J. Markovski, “Process theory for supervisory control with partial observation of events and states”, in CDC, 2012.

J. Markovski, “A process-theoretic state-based framework for live supervision”, in CASE, 2012.

J. Markovski, P. R. D'Argenio, J. C. M. Baeten, and E. P. de Vink, “Reconciling real and stochastic time: the need for probabilistic refinement”, Formal Aspects of Computing, vol. 24, p. 497-518, 2012.

J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.

J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.