From post

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.

 

Другие публикации лиц с тем же именем

Application of supervisory control theory to theme park vehicles., , , и . Discret. Event Dyn. Syst., 22 (4): 511-540 (2012)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , и . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)Integration and Test Sequencing for Complex Systems., , , , и . IEEE Trans. Syst. Man Cybern. Part A, 39 (1): 177-187 (2009)Modeling for Safety in a Synthesis-Centric Systems Engineering Framework., и . SAFECOMP Workshops, том 7613 из Lecture Notes in Computer Science, стр. 36-49. Springer, (2012)Supervisor Synthesis: Bridging Theory and Practice., , , , и . Computer, 55 (10): 48-54 (2022)Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure., , , , , и . ECC, стр. 3204-3211. IEEE, (2019)A configurator for supervisory controllers of roadside systems., , , , и . CASE, стр. 784-791. IEEE, (2021)Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex., , , и . CCTA, стр. 843-850. IEEE, (2019)CIF 3: Model-Based Engineering of Supervisory Controllers., , , , , , и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 575-580. Springer, (2014)Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays., , , и . CoRR, (2021)