Author of the publication

A Unifying Semantics for Sequential Function Charts.

, , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 400-418. Springer, (2004)

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

Computer-automated multiparadigm modeling in control systems technology., , and . IEEE Trans. Contr. Sys. Techn., 12 (2): 223-234 (2004)Timed automata based scheduling for a miniature pipeless plant with mobile robots., , , and . CCA, page 240-245. IEEE, (2012)Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System., , , and . CCA, page 1432-1437. IEEE, (2007)Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata)., , and . Automatisierungstechnik, 56 (4): 171-180 (2008)Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems., , , , , and . Scalable Computing: Practice and Experience, (1998)Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems., , , and . EUROSIM, page 421-426. Elsevier, (1995)Ein Verfahren zur Auslegung schneller Fuzzy-Regelungen., and . Inform., Forsch. Entwickl., 12 (1): 7-13 (1997)Systematic Initialization Techniques for Hybrid Evolutionary Algorithms for Solving Two-Stage Stochastic Mixed-Integer Programs., and . IEEE Trans. Evolutionary Computation, 15 (2): 196-214 (2011)Model-Based Performance Optimizing Control.. Encyclopedia of Systems and Control, Springer, (2015)Constraint handling in the evolutionary optimization of pipeless chemical batch plants., and . IEEE Congress on Evolutionary Computation, page 2547-2553. IEEE, (2009)