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

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi., , , , , , and . LIX, volume 209 of Electronic Notes in Theoretical Computer Science, page 21-53. Elsevier, (2006)Model-Based Engineering of Supervisory Controllers using CIF., , , and . ECEASST, (2009)Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner., , , , and . IEEE Trans Autom. Sci. Eng., 11 (1): 20-32 (2014)A state-based framework for supervisory control synthesis and verification., , , , and . CDC, page 3481-3486. IEEE, (2010)Improving evolvability of a patient communication control system using state-based supervisory control synthesis., , and . Adv. Eng. Informatics, 26 (3): 502-515 (2012)Supervisory control synthesis for a patient support system., , , and . ECC, page 4647-4652. IEEE, (2009)Control of input/output discrete-event systems., , , , , and . ECC, page 1967-1972. IEEE, (2009)Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata., , , , and . CASE, page 486-493. IEEE, (2019)