Autor der Publikation

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

, , , und . SoSE, Seite 1-6. IEEE, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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