Author of the publication

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.

, , , , , and . ACC, page 5614-5619. IEEE, (2019)

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

Correction to: Transformational supervisor synthesis for evolving systems., and . Discret. Event Dyn. Syst., 33 (4): 509-513 (December 2023)Synthesis of Successful Actuator Attackers on Supervisors., , , , , and . CoRR, (2018)Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata., , , , and . CASE, page 486-493. IEEE, (2019)Tool interoperability for model-based systems engineering., , , , , , , , , and . CoRR, (2023)Transformational Supervisor Localization., , and . CoRR, (2023)Transformational supervisor synthesis for evolving systems., and . Discret. Event Dyn. Syst., 32 (2): 317-358 (2022)Supervisory Control for Dynamic Feature Configuration in Product Lines., and . FDL, page 1-8. IEEE, (2020)Supervisory Control for Dynamic Feature Configuration in Product Lines., and . CoRR, (2022)Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit., , , , , , , , , and 6 other author(s). TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 44-52. Springer, (2023)Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors., , , , , and . ACC, page 5614-5619. IEEE, (2019)