Author of the publication

On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering.

, , , , and . IEEE Trans Autom. Sci. Eng., 18 (1): 369-381 (2021)

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

Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells., , and . ICRA, page 2273-2278. IEEE, (2004)Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation., , , , , , and . ICRA, page 10560-10566. IEEE, (2023)On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic., , , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 281-297. Springer, (2022)Restarting Manufacturing Systems; Restart States and Restartability., , and . 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., , , , , , and . CoRR, (2022)Supervisory Control Theory in System Safety Analysis., , and . SAFECOMP Workshops, volume 12235 of Lecture Notes in Computer Science, page 9-22. Springer, (2020)Calculating restart states using reset transitions., and . ICRA, page 3345-3350. IEEE, (2014)Automatically learning formal models: an industrial case from autonomous driving development., , , and . MoDELS (Companion), page 33:1-33:10. ACM, (2020)Synthesis of Supervisors for Unknown Plant Models Using Active Learning., and . CASE, page 502-508. IEEE, (2019)Supervisory Control of Discrete-Event Systems in an Asynchronous Setting., , and . CASE, page 494-501. IEEE, (2019)