Author of the publication

Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.

. Kaiserslautern University of Technology, Germany, (1998)

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

A survey on compositional algorithms for verification and synthesis in supervisory control., , and . Discret. Event Dyn. Syst., 33 (3): 279-340 (September 2023)Robust stutter bisimulation for abstraction and controller synthesis with disturbance., , , and . Autom., (February 2024)Advanced selfloop removal in compositional nonblocking verification of discrete event systems.. CASE, page 819-824. IEEE, (2015)A modular architecture for diagnosis of discrete event systems., , and . CDC, page 417-422. IEEE, (2002)Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events., and . FTSCS, volume 419 of Communications in Computer and Information Science, page 160-177. Springer, (2013)Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study., and . IFM, volume 3771 of Lecture Notes in Computer Science, page 33-52. Springer, (2005)Generalised verification of the observer property in discrete event systems., , , , and . WODES, page 337-342. International Federation of Automatic Control, (2012)Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction., , , and . IEEE Trans. Automat. Contr., 60 (1): 118-129 (2015)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications., , , , and . Autom., (2021)