( en | de | ru )

 

Disambiguation of "Markovski, Jasen"

Author of the publication

copydeleteadd this publication to your clipboard
CIF 3: Model-Based Engineering of Supervisory Controllers.

, , , , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 575-580. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Markovski

Zuzana Jasen áková

Anne-Katherine Jasensky

Axel Jasenek

 

Other publications of authors with the same name

Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems.. CASE, page 1075-1082. IEEE, (2013)Scalable Minimization Algorithm for Partial Bisimulation. WS-FMDS, volume 86 of EPTCS, page 9-16. (2012)Controllability for Nondeterministic Discrete-Event Systems with Data.. ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 199-214. Springer, (2013)The role of supervisory controller synthesis in automatic control software development., and . Sci. Comput. Program., (2015)Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting., , , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 47-61. Springer, (2010)Controllability for Nondeterministic Finite Automata with Variables.. ICSOFT, page 438-446. SciTePress, (2013)Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.. EPEW, volume 8168 of Lecture Notes in Computer Science, page 43-57. Springer, (2013)Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems., and . ACSD, page 180-189. IEEE, (2008)Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?, and . CASE, page 521-525. IEEE, (2015)Extending Timed Process Algebra with Discrete Stochastic Time., and . AMAST, volume 5140 of Lecture Notes in Computer Science, page 268-283. Springer, (2008)