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.

 

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

Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells., , и . ICRA, стр. 2273-2278. IEEE, (2004)Formulating constraint satisfaction problems for the inspection of configuration rules., , , , и . Artif. Intell. Eng. Des. Anal. Manuf., 30 (3): 313-328 (2016)Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation., , , , , , и . ICRA, стр. 10560-10566. IEEE, (2023)On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic., , , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 281-297. Springer, (2022)Restarting Manufacturing Systems; Restart States and Restartability., , и . IEEE Trans Autom. Sci. Eng., 7 (3): 486-499 (2010)Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation., , , , , , и . CoRR, (2022)Supervisory Control Theory in System Safety Analysis., , и . SAFECOMP Workshops, том 12235 из Lecture Notes in Computer Science, стр. 9-22. Springer, (2020)Calculating restart states using reset transitions., и . ICRA, стр. 3345-3350. IEEE, (2014)Automatically learning formal models: an industrial case from autonomous driving development., , , и . MoDELS (Companion), стр. 33:1-33:10. ACM, (2020)Synthesis of Supervisors for Unknown Plant Models Using Active Learning., и . CASE, стр. 502-508. IEEE, (2019)