Author of the publication

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?

, and . CASE, page 521-525. IEEE, (2015)

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.

 

Other publications of authors with the same name

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)Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems.. CASE, page 1075-1082. IEEE, (2013)The role of supervisory controller synthesis in automatic control software development., and . Sci. Comput. Program., (2015)Performance evaluation with cost estimation for supervised systems.. SMC, page 6-11. IEEE, (2012)Performance-model abstraction in a synthesis-centric model-driven systems engineering framework., and . MED, page 1092-1097. IEEE, (2013)Employing behavioral preorders to define controllability for nondeterministic discrete-event systems.. Discrete Event Dynamic Systems, 25 (1-2): 227-250 (2015)Coordination of resources using generalized state-based requirements., , , , and . WODES, page 287-292. International Federation of Automatic Control, (2010)Coarsest controllability-preserving plant minimization.. WODES, page 251-258. International Federation of Automatic Control, (2012)Supervisory Coordination of Timed Communicating Processes.. ICT Innovations, volume 231 of Advances in Intelligent Systems and Computing, page 209-218. Springer, (2013)