Author of the publication

Modeling for supervisor synthesis - a lock-bridge combination case study.

, , , and . Discret. Event Dyn. Syst., 30 (3): 499-532 (2020)

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