Author of the publication

A design flow with integrated verification of requirements and faults in safety-critical systems.

, , , and . SoSE, page 1-6. IEEE, (2017)

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

Application for a manipulator-gripper in an assembly cell., , , , and . ICRA, page 2021-2032. IEEE, (1987)A Learning Control System for an Articulated Gripper., and . ISER, volume 190 of Lecture Notes in Control and Information Sciences, page 99-111. Springer, (1991)A design flow with integrated verification of requirements and faults in safety-critical systems., , , and . SoSE, page 1-6. IEEE, (2017)Nonlinear control experiments on an axial flow compressor., , , and . CDC, page 1329-1334. IEEE, (2000)Parallel Composition of Scheduling Solvers., , and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 159-169. Springer, (2016)Constraint-Based Lagrangian Relaxation., , and . CP, volume 8656 of Lecture Notes in Computer Science, page 324-339. Springer, (2014)IAda: A language for robot programming based on Ada., , and . Robotics Auton. Syst., 9 (4): 299-304 (1992)Nonlinear control experiments on an axial flow compressor., , , and . IEEE Trans. Contr. Sys. Techn., 12 (5): 683-693 (2004)Useful nonlinearities and global stabilization of bifurcations in a model of jet engine surge and stall., , , and . IEEE Trans. Autom. Control., 43 (12): 1739-1745 (1998)TORA example: cascade- and passivity-based control designs., , and . IEEE Trans. Contr. Sys. Techn., 4 (3): 292-297 (1996)