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 Supervisory Controllers using CIF., , , and . ECEASST, (2009)Modeling and Analysis of Manufacturing Systems., and . Handbook of Dynamic System Modeling, Chapman and Hall/CRC, (2007)Integration and Test Sequencing for Complex Systems., , , , and . IEEE Trans. Syst. Man Cybern. Part A, 39 (1): 177-187 (2009)Analyzing a chi model of a turntable system using Spin, CADP and Uppaal., , , , , , , and . J. Log. Algebraic Methods Program., 65 (2): 51-104 (2005)Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems., , and . Autom., 48 (7): 1237-1247 (2012)Supervisor Synthesis: Bridging Theory and Practice., , , , and . Computer, 55 (10): 48-54 (2022)Application of supervisory control theory to theme park vehicles., , , and . Discret. Event Dyn. Syst., 22 (4): 511-540 (2012)Efficient nonconflict check by using automaton abstractions., , , and . ECC, page 1997-2002. IEEE, (2009)Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure., , , , , and . ECC, page 3204-3211. IEEE, (2019)State feedback control of switching server flowline with setups., , and . ACC, page 3618-3623. IEEE, (2007)