Publications at the Faculty of Computer Science and Automation since 2015

Results: 1918
Created on: Wed, 17 Apr 2024 23:11:53 +0200 in 0.1041 sec


Li, Pu; Vu, Quoc Dong
A simple method for identifying parameter correlations in partially observed linear dynamic models. - In: BMC systems biology, ISSN 1752-0509, Bd. 9.2015, 92 (14. Dez.), insges. 14 S.

http://dx.doi.org/10.1186/s12918-015-0234-3
Füßl, Franz Felix; Streitferdt, Detlef; Triebel, Anne
Modeling knowledge bases for automated decision making systems - a literature review. - In: International Journal of Advanced Computer Science and Applications, ISSN 2156-5570, Bd. 6 (2015), 9, S. 185-189

http://dx.doi.org/10.14569/IJACSA.2015.060925
Zschäck, Stephan;
Mehrgrößenregelung von Nanopositionier- und Nanomessmaschinen mit großen Bewegungsbereichen, 2015. - Online-Ressource (PDF-Datei: XV, 157 S., 8,32 MB) Ilmenau : Techn. Univ., Diss., 2015

Gegenstand der vorliegenden Dissertation ist die Entwicklung eines modellbasierten Regelungskonzeptes für wälzkörpergeführte mehrachsige Nanopositionier- und Nanomessmaschinen mit Bewegungsbereichen von mehreren hundert Millimetern. Das Ziel ist eine signifikante Reduzierung der dynamischen Regelfehler gegenüber bisherigen Ansätzen. Aufgrund der Wälzkörperführungen wird das Systemverhalten besonders bei niedrigen Bewegungsgeschwindigkeiten durch nichtlineare Reibkräfte dominiert. Darüber hinaus hat eine Bewegung in einer Maschinenachse im Allgemeinen Auswirkungen auf die anderen Bewegungsachsen. Um die notwendigen Positioniergenauigkeiten zu erreichen, muss das Regelungssystem daher die Reibkraft effektiv kompensieren und gleichzeitig die Verkopplungen zwischen den Maschinenachsen explizit berücksichtigen. Das Zielsystem ist der Prototyp einer dreiachsigen Nanopositionier- und Nanomessmaschine mit einem Bewegungsbereich von 200 x 200 x 25 mm 3 , welche an der Technischen Universität Ilmenau entwickelt wurde. Ausgangspunkt des Regelungsentwurfes ist die Modellierung des Zielsystems. Besonderer Fokus liegt dabei auf der dynamischen Beschreibung der Reibkraft. Dazu wird ein physikalisch motivierter Ansatz verwendet und zu einem Reibmodell mit mehreren Zustandsgrößen weiterentwickelt. Für die Einzelachsen werden zunächst ein adaptiver Zustandsregler sowie ein nichtlinearer Kompensationsregler, mit dem Ziel einer effektiven Reibkraftkompensation, entworfen. Die Reibparameter des adaptiven Zustandsreglers werden mittels rekursiver Regression nachgeführt, während beim Kompensationsregler die unbekannten Zustände durch ein erweitertes Kalman-Filter geschätzt werden. Die experimentellen Untersuchungen bezüglich der beiden Regler zeigen deutlich die Überlegenheit des Kompensationsreglers gegenüber dem adaptiven Zustandsregler. Um zusätzlich zur Reibkraftkompensation eine Entkopplung der Bewegungsachsen zu erreichen, wird der nichtlineare Kompensationsregler mit dem Konzept eines Entkopplungsreglers kombiniert. Die Leistungsfähigkeit dieser Mehrgrößenregelung wird abschließend am Zielsystem untersucht. Es zeigt sich, dass sowohl für Bewegungen entlang einer Achse als auch für Bewegungen im Raum Positionierabweichungen erzielt werden, die bisher mit wälzkörpergeführten Messsysteme nicht erreicht wurden.



http://www.db-thueringen.de/servlets/DocumentServlet?id=27057
Bodenstein, Christoph; Dietrich, Thomas; Zimmermann, Armin;
Computationally efficient multiphase heuristics for simulation-based optimization. - In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July 2015, ISBN 978-989-758-120-5, (2015), S. 95-100

Stochastic colored Petri nets are an established model for the specification and quantitative evaluation of complex systems. Automated design-space optimization for such models can help in the design phase to find good variants and parameter settings. However, since only indirect heuristic optimization based on simulation is usually possible, and the design space may be huge, the computational effort of such an algorithm is often prohibitively high. This paper extends earlier work on accuracy-adaptive simulation to speed up the overall optimization task. A local optimization heuristic in a "divide-and-conquer" approach is combined with varying simulation accuracy to save CPU time when the response surface contains local optima. An application example is analyzed with our recently implemented software tool to validate the advantages of the approach.



Ganishev, Vasilii; Fengler, Olga; Fengler, Olga *1968-*; Fengler, Wolfgang;
Fault detection by backwards analysis in coloured workflow nets. - In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July 2015, ISBN 978-989-758-120-5, (2015), S. 88-94

Kunze, Tim; Hunold, Alexander; Haueisen, Jens; Jirsa, Viktor K.; Spiegler, Andreas
Investigating the effect of electrical brain stimulation using a connectome-based brain network model. - In: BMC neuroscience, ISSN 1471-2202, Bd. 16.2015, Suppl. 1, O13, insges. 2 S.

https://doi.org/10.1186/1471-2202-16-S1-O13
Lepper, Markus;
A simple and efficient step towards type-correct XSLT transformations. - In: 26th International Conference on Rewriting Techniques and Applications, (2015), S. 350-364

https://doi.org/10.4230/LIPIcs.RTA.2015.350
Wendland, Philip; Roßberg, Michael; Schäfer, Günter
Eine offene Software-Architektur für moderne Smartcards. - In: D-A-CH Security 2015, (2015), S. 267-278

Schlegel, Marius;
Analyse und Simulation dynamischer RBAC-Zugriffssteuerungsmodelle. - In: D-A-CH Security 2015, (2015), S. 110-121

Amthor, Peter;
A uniform modeling pattern for operating systems access control policies with an application to SELinux. - In: Proceeedings of the 12th International Conference on Security and Cryptography, Colmar, Alsace, France, 20 - 22 July, 2015, ISBN 978-989-758-117-5, (2015), S. 88-99