Author of the publication

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

Planning in assembly systems - A common modeling for products and resources., , , , and . ETFA, page 1-8. IEEE, (2012)Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations., and . CASE, page 515-520. IEEE, (2012)Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells., , , and . CASE, page 325-330. IEEE, (2006)Modular specification of forbidden states for supervisory control., , and . WODES, page 412-417. International Federation of Automatic Control, (2010)A Class of Non-Deterministic Specifications for Supervisory Control., and . Eur. J. Control, 3 (1): 81-90 (1997)Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams., , and . CDC/ECC, page 2751-2756. IEEE, (2005)MIDES: A Tool for Supervisor Synthesis via Active Learning., , and . CASE, page 792-797. IEEE, (2021)Formal verification of deadlock avoidance rules for AGV systems., , , , and . MED, page 982-987. IEEE, (2022)On the Safe IOCOS relation for Testing Safety PLC Code., and . ETFA, page 1449-1452. IEEE, (2019)Towards Automatic Learning of Discrete-Event Models from Simulations., , and . CASE, page 857-862. IEEE, (2018)