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: Markovski:Jasen
Contributed to:
20152014
20142013
20132012
2012Wrote 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.