Search results

Heiner, M.; Rohr, C.; Schwarick , M.: MARCIE – Model Checking and Reachability Analysis Done Efficiently. In: Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science, Vol. 7927, pp. 389 - 399. International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013, Milano, Italy, June 24, 2013 - June 28, 2013. Springer, Berlin, Heidelberg (2013)

Hess, M. W.; Benner, P.: Reduced Basis Generation for Maxwell’s Equations by Rigorous Error Estimation. In: Proceedings of the 19th International Conference on the Computation of Electromagnetic Fields (COMPUMAG 2013), p. PD2-10. 19th International Conference on the Computation of Electromagnetic Fields (COMPUMAG 2013), Budapest, Hungary, June 30, 2013 - July 04, 2013. (2013)

Horosanskaia, E.; Lorenz, H.; Seidel-Morgenstern, A.: Purification of reaction mixture containing Artemisinin via crystallization. In: Proceedings on BIWIC 2013 20th International Workshop on Industrial Crystallization, pp. 325 - 329 (Ed. Qu, H.). BIWIC 2013 - 20th International Workshop on Industrial Crystallization, Odense, Denmark, September 18, 2013 - September 20, 2013. (2013)

Isakov, A. I.; Kotelnikova, E. N.; Kryuchkova, L. Y.; Lorenz, H.: Isomorphism and polymorphism in the system of malic acid enantiomers on the basis of X-ray and high-temperature X-ray diffractometry. In: Proceedings on BIWIC 2013 20th International Workshop on Industrial Crystallization, pp. 395 - 402 (Ed. Qu, H.). BIWIC 2013 - 20th International Workshop on Industrial Crystallization, Odense, Denmark, September 18, 2013 - September 20, 2013. (2013)

Kern, B.; Findeisen, R.: Analysis and constrained control of nonlinear interconnected systems exploiting positively invariant family of sets. 52th IEEE Conference on Decision and Control, Florence, Italy, December 10, 2013 - December 13, 2013. 52th IEEE Conference on Decision and Control, pp. 3806 - 3811 (2013)

Klauer, C.; Passon, A.; Raisch, J.; Schauer, T.: Virtual Weight-Compensating Exosketeleton using λ-Controlled FES. In: Proceedings of the AUTOMED 2013: Automatisierungstechnische Verfahren für die Medizin, pp. 38 - 39. AUTOMED 2013, Dresden, October 10, 2013 - October 11, 2013. (2013)

Klauer, C.; Raisch, J.; Schauer, T.: Nonlinear Joint-Angle Feedback Control of Electrically Stimulated and lambda-Controlled Antagonistic Muscle Pairs. In: 2013 - European Control Conference (ECC 2013), pp. 3101 - 3107. European Control Conference 2013, Zuerich, Switzerland, July 17, 2013 - July 19, 2013. (2013)

Kögel, M.; Findeisen, R.: On efficient predictive control of linear systems subject to quadratic constraints using condensed, structure-exploiting interior point methods. In: European Control Conference (ECC 2013), pp. 27 - 34. European Control Conference (ECC 2013), Zurich, Switzerland, July 17, 2013 - July 19, 2013. (2013)

Kögel, M.; Findeisen, R.: Stability of NMPC with Cyclic Horizons. 9th IFAC Symposium on Nonlinear Control Systems - NOLCOS 2013, Toulouse, France, September 04, 2013 - September 06, 2013. IFAC Proceedings Volumes 46 (23), pp. 809 - 814 (2013)

Kögel, M.; Findeisen, R.: Distributed control of interconnected systems with lossy communication networks. 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Koblenz, Germany, July 25, 2013 - July 26, 2013. IFAC Proceedings Volumes 46 (27), pp. 363 - 368 (2013)

Kögel, M.; Findeisen, R.: Set-point tracking using distributed MPC. 10th IFAC International Symposium on Dynamics and Control of Process Systems, Mumbai, India, December 18, 2013 - December 20, 2013. IFAC Proceedings Volumes 46 (32), pp. 57 - 62 (2013)

Kouhi, Y.; Bajcinca, N.; Sanfelice, R. G.: Suboptimal bounds for linear quadratic problems in hybrid linear systems. In: 2013 - European Control Conference (ECC 2013), pp. 2663 - 2668. European Control Conference 2013, Zuerich, Switzerland, July 17, 2013 - July 19, 2013. (2013)

Kouhi, Y.; Bajcinca, N.; Shorten, R.; Raisch, J.: A new stability result for switched linear systems. In: 2013 - European Control Conference (ECC 2013), pp. 2152 - 2156. European Control Conference 2013 (ECC 2013), Zuerich, Switzerland, July 17, 2013 - July 19, 2013. (2013)

Kramer, B.; Conradi, C.: On Bistability Causing Structures in Escherichia Coli’s Metabolism. In: Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, pp. 276 - 277. 11th International Conference, CMSB 2013, Klosterneuburg, Österreich, September 22, 2014 - September 24, 2014. (2013)

Meyer, J.; Medeiros de Souza, L. G.; Janiga, G.; Thévenin, D.: Simulation des Trennungsvorgangs einer instabilen Emulsion mittels numerischer Strömungsmechanik. Jahrestagung der Fachgemeinschaft Fluiddynamik und Trenntechnik, Würzburg, Germany, September 25, 2013 - September 27, 2013. Chemie-Ingenieur-Technik 85 (9), pp. 1379 - 1380 (2013)

Nenchev, V.; Raisch, J.: Towards time-optimal exploration and control by an autonomous robot. In: Proceedings of the 21st Mediterranean Conference on Control & Automation, pp. 1236 - 1241. 21st Mediterranean Conference on Control & Automation (MED), Platanias-Chania, Crete, Greece, June 25, 2013 - June 28, 2013. (2013)

Padilla, A.; Yuz, J.I.: Continuous-time system identification of a ship on a river. In: Proceedings of the IEEE Conference on Decision and Control, 6760592, pp. 4553 - 4558. 52nd IEEE Conference on Decision and Control, CDC 2013, Florenz, Italy, December 10, 2013 - December 13, 2013. (2013)

Palis, S.; Binev, D.; Lorenz, H.; Seidel-Morgenstern, A.; Kienle, A.: Population balance modeling of crystallization in a fluidized bed. In: Proceedings on BIWIC 2013 20th International Workshop on Industrial Crystallization, pp. 252 - 259 (Ed. Qu, H.). BIWIC 2013 - 20th International Workshop on Industrial Crystallization, Odense, Denmark, September 18, 2013 - September 20, 2013. (2013)

Palis, S.; Bück, A.; Kienle, A.: Adaptive Discrepancy Based Control of Continuous Fluidized Bed Spray Granulation with Internal Classification. 9th IFAC Symposium on Nonlinear Control Systems, 2013, Toulouse, September 04, 2013 - September 06, 2013. IFAC Proceedings Volumes 46 (23), pp. 400 - 405 (2013)

Palis, S.; Kienle, A.; Bück, A.: Discrepancy based control of systems of population balances. 1st IFAC Workshop on Control of Systems Governed by Partial Differential Equations - CPDE 2013, Paris, France, September 25, 2013 - September 27, 2013. IFAC Proceedings Volumes 46 (26), pp. 172 - 176 (2013)