BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Korea
1 × Portugal
1 × Sweden
1 × Taiwan
1 × USA
Collaborated with:
H.Hu D.A.v.Beek J.C.M.Baeten D.A.v.Beek W.Fokkink D.Hendriks A.Hofkamp J.M.v.d.Mortel-Fronczak M.A.Reniers
Talks about:
supervisori (4) control (4) framework (3) synthesi (3) supervis (3) system (3) base (3) reliabl (2) process (2) plant (2)

Person: Jasen Markovski

DBLP DBLP: Markovski:Jasen

Contributed to:

CASE 20152015
CASE 20142014
TACAS 20142014
CASE 20132013
SAC 20132013
CASE 20122012
IFM 20122012

Wrote 7 papers:

CASE-2015-MarkovskiH #framework #manycore #question #synthesis
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? (JM, HH), pp. 521–525.
CASE-2014-MarkovskiH #framework #modelling #reliability
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
TACAS-2014-BeekFHHMMR #modelling
CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
CASE-2013-Markovski #analysis #synthesis
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
SAC-2013-Markovski #communication #coordination #probability #process #reliability
Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
CASE-2012-Markovski #framework
A process-theoretic state-based framework for live supervision (JM), pp. 680–685.
IFM-2012-MarkovskiBB #component #requirements
Partially-Supervised Plants: Embedding Control Requirements in Plant Components (JM, DAvB, JCMB), pp. 253–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.