Electrical Engineering, Computer Science and Mathematics · PDF fileElectrical Engineering,...

Electrical Engineering, Computer Science and Mathematics

Courses leading to a Master’s degree, taught in English

Last revision: February 20th, 2018

Dear Erasmus students,

welcome to Hamburg University of Technology (TUHH). We are a small but high-class university with a clear profile in research and with modern, practice-oriented learning methods. The School of Electrical Engineering, Computer Science and Mathematics offers a wide selection of ambitious classes at Master and Bachelor level. The intent of this brochure is to guide students of the European exchange program ERASMUS through their academic studies at TUHH.

The academic calendar in Germany differs from that of other European countries. The German academic year is divided into two semesters: the Wintersemester (WS) from October 1st to March 31st and the Sommersemester (SS) from April 1st to September 30th. Each semester consists of 14 weeks during which classes take place and a period when there are usually no classes. The first period is called Vorlesungszeit and the second vorlesungsfreie Zeit. The final exams for the classes are during the vorlesungsfreie Zeit. The periods of the Vorlesungszeit slightly vary from year to year. The exact dates you will find on the website of TUHH. In the WS, the Vorlesungszeit at TUHH begins in mid-October and ends in the middle of February with a break of about two weeks around Christmas. In the SS TUHH classes start at the beginning of April until middle of July with a break of one week after Pentecost.

All courses are either taught in the Wintersemester or in the Sommersemester. One exception to this rule are language courses. This brochure contains a list of all courses of the School of Electrical Engineering, Computer Science and Mathematics of our Master programs that are taught in English. There are also a few courses that are only taught in German, they are not listed. The list gives a short overview about the content of each course. The list is divided into two parts: courses of the winter term and of the summer term You also find the name of the lecture. You may also participate in courses taught by other faculties and languages courses. You will find information about these courses on TUHH's website.

The lecture rooms and the lecturing times vary from year to year, again please have a look at the website. In rare cases lectures of different courses may be given at the same time. In this case you have to change your course selection after your arrival in Hamburg. We advise you to participate in a German language course. This will enable you to get an insight into the German culture to get the most out of your stay.

Exams are held during the vorlesungsfreie Zeit. On occasion ERASMUS students have to be at their home university at that time. In this case it is advisable to contact the lecturer of the corresponding class and ask for alternatives.

For all questions regarding your academic stay in Hamburg please consult the International Office of TUHH. It provides a wealth of information through their web site at https://www.tuhh.de/alt/tuhh/education/contacts/international-office.html.

http://intranet.tuhh.de/stud/vvz_eingabe.php3?ssi=23&Lang=en

http://intranet.tuhh.de/stud/vvz_eingabe.php3?ssi=23&Lang=en

https://www.tuhh.de/alt/tuhh/education/contacts/international-office.html

We hope that your stay at TUHH enriches your scientific and cultural views of the planet and we look forward to welcoming you in Hamburg!

Prof. V. Turau ERAMUS coordinator School of Electrical Engineering, Computer Science and Mathematics

List of Lectures SUMMER TERM

Advanced Concepts of Wireless Communications ............................................................................... 12

Application Security .......................................................................................................................... 22

Applied Humanoid Robotics .............................................................................................................. 19

Approximation and Stability .............................................................................................................. 14

Bioelectromagnetics: Principles and Applications ................................................................................ 23

Compilers for Embedded Systems ...................................................................................................... 18

Computational Algebraic Geometry ................................................................................................... 18

Computer Graphics ........................................................................................................................... 11

Control Lab A ................................................................................................................................... 36

Control Lab B .................................................................................................................................... 36

Control Lab C .................................................................................................................................... 37

Curves, Codes and Cryptosystems ...................................................................................................... 17

Design of Dependable Systems .......................................................................................................... 19

Design of highly complex integrated systems and CAD Tools ............................................................... 13

EMC I: Coupling Mechanisms, Countermeasures and Test Procedures ................................................. 24

Electromagnetic Waves ....................................................................................................................... 9

Fibre and Integrated Optics ............................................................................................................... 17

Fundamentals of IC Design ................................................................................................................ 13

Humanoid Robotics ........................................................................................................................... 20

Information Theory and Coding ......................................................................................................... 13

Introduction to Antenna Theory ......................................................................................................... 10

Linear and Nonlinear System Identification ........................................................................................ 20

Machine Learning and Data Mining .................................................................................................... 22

Medical Technology Lab ...................................................................................................................... 9

Microsystem Design ......................................................................................................................... 12

Microwave Semiconductor Devices and Circuits I ................................................................................ 10

Model Checking - Proof Engines and Algorithms ................................................................................. 19

Network Security .............................................................................................................................. 22

Numerical Mathematics II ................................................................................................................. 14

Numerical treatment of ordinary differential equations ...................................................................... 15

Optical Communications ................................................................................................................... 16

Optimal and Robust Control .............................................................................................................. 20

Optoelectronics I: Wave Optics .......................................................................................................... 17

Pattern Recognition and Data Compression .......................................................................................... 9

Process Measurement Engineering .................................................................................................... 11

Randomized Algorithms and Random Graph ....................................................................................... 15

Robotics and Navigation in Medicine ................................................................................................... 9

Semiconductor Seminar .................................................................................................................... 14

Semiconductor Technology ............................................................................................................... 12

Seminar Advanced Topics in Control .................................................................................................. 35

Seminar Communications Engineering ............................................................................................... 32

Seminar Medical Technology ............................................................................................................. 26

Seminar on Electromagnetic Compatibility and Electrical Power Systems ............................................. 41

Simulation of Communication Networks ............................................................................................ 10

Software Testing ............................................................................................................................... 22

Software for Embedded Systems ....................................................................................................... 23

Solvers for sparse linear systems ....................................................................................................... 15

Wireless Sensor Networks ................................................................................................................. 24

WINTER TERM

Advanced System-on-Chip Design ...................................................................................................... 33

Advanced Topics in Control ............................................................................................................... 34

Algebraic Statistics for Computational Biology .................................................................................... 34

CAD – Tools ...................................................................................................................................... 32

CMOS Nanoelectronics ...................................................................................................................... 32

Communication Networks ................................................................................................................. 27

Control Lab A ................................................................................................................................... 36

Control Lab B .................................................................................................................................... 36

Control Lab C .................................................................................................................................... 37

Control Systems Theory and Design ................................................................................................... 35

3D Computer Vision .......................................................................................................................... 26

Design and Implementation of Software Systems ............................................................................... 41

Digital Audio Signal Processing ........................................................................................................... 30

Digital Communications .................................................................................................................... 30

Digital Image Analysis ........................................................................................................................ 26

Digital Signal Processing and Digital Filters ......................................................................................... 30

Distributed Algorithms ...................................................................................................................... 39

EMC II: Signal Integrity and Power Supply of Electronics Systems ......................................................... 39

Electronic Circuits for Medical Application .......................................................................................... 32

Electronic Devices and Circuits ........................................................................................................... 32

Hierarchical Algorithms ..................................................................................................................... 33

High Frequency Techniques for Avionics ............................................................................................. 40

Industrial Process Automation ........................................................................................................... 26

Intelligent Autonomous Agents and Cognitive Robotics ....................................................................... 37

Intelligent Systems in Medicine ......................................................................................................... 26

Introduction to Waveguides, Antennas and Electromagnetic Compatibility .......................................... 40

Mathematical Image Processing ........................................................................................................ 33

Microsystem Engineering .................................................................................................................. 28

Microsystem Technology in theory and practice ................................................................................. 28

Microwave Engineering ..................................................................................................................... 27

Micrw. Semiconductor Devices + Circuits II ......................................................................................... 27

Modern Wireless Systems ................................................................................................................. 31

Optoelectronics II - Quantum Optics .................................................................................................. 33

Real-Time System ............................................................................................................................. 34

Seminar Advanced Topics in Control .................................................................................................. 35

Seminar Communications Engineering ............................................................................................... 32

Seminar Medical Technology ............................................................................................................. 26

Seminar on Electromagnetic Compatibility and Electrical Power Systems ............................................. 41

Seminar on Microwave Engineering ................................................................................................... 27

Soft Computing ................................................................................................................................. 34

Software Analysis .............................................................................................................................. 38

Software Security .............................................................................................................................. 37

Software Verificatio .......................................................................................................................... 39

Traffic Engineering ............................................................................................................................ 28

SUMMER TERM

↑SUMMER TERM↑ P a g e | 9

Course Contents Institute/Lecturer Period

↑SUMMER TERM ↑ P a g e | 9

SUMMER TERM Medical Technology Lab 6 ECTS 6 SWS

The actual project topic will be defined as part of the project. E-1 Prof. Dr. Alexander Schlaefer Summer Term

Robotics and Navigation in Medicine Lecture, Exercise, Seminar 6 ECTS 5 SWS

• Kinematics • Calibration • tracking systems • navigation and image guidance • motion compensation • The seminar extends and complements the contents

of the lecture with respect to recent research results.

E-1 Prof. Dr. Alexander Schlaefer Summer Term

Seminar Medical Technology 2 ECTS, 2 SWS

• Review of a recent scientific publication • presentation skills

E-1 Prof. Dr. Alexander Schlaefer Summer Term Winter Term

Pattern Recognition and Data Compression Lecture 6 ECTS 4 SWS

• Classification based on statistical models • Support vector machines • Unsupervised learning and clustering • Mixture models and EM • Adaptive basis function models and boosting • Information, entropy, redundancy, mutual

information, Markov processes • Entropy coding (Huffman, arithmetic coding) • Dictionary coding (LZ77/Deflate/LZMA2, LZ78/LZW) • Prediction, DPCM, CALIC • Quantization (scalar and vector quantization) • Transform coding, prediction, decorrelation (DPCM,

DCT, hybrid DCT, JPEG, JPEG-LS)

E-2 Prof. Dr. Rolf-Rainer Grigat Summer Term

Electromagnetic Waves Lecture, Exercise, Lab 6 ECTS 4 SWS

• General properties of fields and plane waves: General solution of Maxwell’s Equations (in Cartesian coordinates), plane waves, rectangular waveguide, attenuation in waveguides, degenerate modes, cavity resonators, partially dielectrically filled rectangular waveguide, dielectric slab waveguide, surface waveguides, leaky waves.

• Field expansions: Modal expansions of rectangular waveguide and at waveguide transitions, field expansions in free space.

• Microwave circuits: cylindrical waveguides, N-port networks.

• Perturbation and variational approaches: Stationary formulas, Rayleigh-Ritz procedure, reaction concept.

E-3 Prof. Dr. Arne Jacob Summer Term




• Method of moments: Formulation of problems, point matching, subsectional bases, approximate operators, Green’s functions, Application to scattering problems, wavelets as basis functions.

Introduction to Antenna Theory Lecture, Exercise, Lab 6 ECTS 4 SWS

• Basic principles: Near and far field, approximate solutions, Poynting Theorem

• Wire antennas: loop antenna, folded dipole, discone and conical-skirt monopole, traveling-wave antenna, long-wire antenna, helical antenna

• Horn antennas: rectangular aperture, circular aperture, corrugated horn

• Reflector antennas: Geometrical Optics, Geometrical Theory of Diffraction

• Antenna arrays: array factor, beam scanning, uniformly and non-uniformly excited linear arrays, array feeds

• CAD tools for electrical analysis and design of antennas and arrays

• Experimental antenna characterization


Microwave Semiconductor Devices and Circuits I Lecture, Exercise 6 ECTS 5 SWS

• Amplifier: S-Parameters, stability, gain definitions; Bipolar Junction Transistor and HMT, MESFET and HEMT; Circuit applications, nonlinear distortions, low noise and power amplifier

• Mixer: Conversion matrix analysis; pn- and Schottky-diode, FET; Circuit applications, conversion gain and noise figure

• Oszillator: Oscillation start-up, steady state operation, stability; IMPATT-diode, Gunn-element, FET; oscillator stabilization

• Linear passive circuits: Planar microwave circuits; quarterwave matching circuits and discontinuities, lowpass-filter and bandpass-filter synthesis

• Design of active circuits


Simulation of Communication Networks Lab 6 ECTS 5 SWS

• Stochastics • Introduction: • random numbers generators • distribution functions • confidence intervals • Simulations • Classification of Simulations • Simulation Environments • Simulation of Communication Networks • Network Optimization and Planning • Overview

E-4 Prof. Dr. Andreas Timm-Giel Summer Term




• Linear Programming Computer Graphics Lecture, Lab 6 ECTS 4 SWS

Computer graphics and animation are leading to an unprecedented visual revolution. The course deals with its technological foundations:

• Object-oriented Computer Graphics • Projections and Transformations • Polygonal and Parametric Modelling • Illuminating, Shading, Rendering • Computer Animation Techniques • Kinematics and Dynamics Effects

Students will be working on a series of mini-projects which will eventually evolve into a final project. Learning computer graphics and animation resembles learning a musical instrument. Therefore, doing your projects well and in time is essential for performing well on this course.

E-5 Prof. Dr. Tobias Knopp Summer Term

Process Measurement Engineering Lecture, Exercise 4 ECTS 3 SWS

• Process measurement engineering in the context of process control engineering

• Challenges of process measurement engineering

• Instrumentation of processes • Classification of pickups

• Systems theory in process measurement engineering • Generic linear description of pickups • Mathematical description of two-port

systems • Fourier and Laplace transformation

• Correlational measurement • Wide band signals • Auto- and cross-correlation function and

their applications • Fault-free operation of correlational

methods • Transmission of analog and digital measurement

signals • Modulation process (amplitude and

frequency modulation) • Multiplexing • Analog to digital converter

E-6 Prof. Dr. Roland Harig Summer Term




Microsystem Design Lecture, Lab 6 ECTS 5 SWS

• Finite difference methods • Approximation error • Finite element method • Order of convergence • Error estimation, mesh refinement • Makromodeling • Reduced order modeling • Black-box models • System identification • Multi-physics systems • System simulation • Levels of simulation, network simulation • Transient problems • Non-linear problems • Introduction to Comsol • Application to thermal, electric, electromagnetic,

mechanical and fluidic problems

E-7 Prof. Dr. Manfred Kasper Summer Term

Semiconductor Technology Lecture, Lab 7 ECTS 6 SWS

Students are able • to describe and to explain current fabrication

techniques for Si and GaAs substrates, • to discuss in details the relevant fabrication

processes, process flows and the impact thereof on the fabrication of semiconductor devices and integrated circuits and

• to present integrated process flows.

E-7 Prof. Dr. Hoc Khiem Trieu Summer Term

Advanced Concepts of Wireless Communications Lecture, Exercise 6 ECTS 4 SWS

The lecture deals with technical principles and related concepts of mobile communications. In this context, the main focus is put on the physical and data link layer of the ISO-OSI stack.

In the lecture, the transmission medium, i.e., the mobile radio

channel, serves as the starting point of all considerations. The characteristics and the mathematical descriptions of the radio channel are discussed in detail. Subsequently, various physical layer aspects of wireless transmission are covered, such as channel coding, modulation/demodulation, channel estimation, synchronization, and equalization. Moreover, the different uses of multiple antennas at the transmitter and receiver, known as MIMO techniques, are described. Besides these physical layer topics, concepts of multiple access schemes in a cellular network are outlined.

In order to illustrate the above-mentioned technical solutions, the lecture will also provide a system view, highlighting the basics of some contemporary wireless systems, including

E-8 Dr. Rainer Grünheid Summer Term




UMTS/HSPA, LTE, LTE Advanced, and WiMAX. Information Theory and Coding Lecture, Exercise 6 ECTS 4 SWS

• Fundamentals of information theory

• Self information, entropy, mutual information

• Source coding theorem, channel coding theorem

• Channel capacity of various channels • Fundamental source coding algorithms:

• Huffman Code, Lempel Ziv Algorithm • Fundamentals of channel coding

• Basic parameters of channel coding and respective bounds

• Decoding principles: Maximum-A-Posteriori Decoding, Maximum-Likelihood Decoding, Hard-Decision-Decoding and Soft-Decision-Decoding

• Error probability

• Block codes • Low Density Parity Check (LDPC) Codes and iterative

Ddecoding • Convolutional codes and Viterbi-Decoding • Turbo Codes and iterative decoding • Coded Modulation

E-8 Prof. Dr. Gerhard Bauch Summer Term

Seminar Communications Engineering 2 ECTS, 2 SWS

• Each participant chooses a topic out of a list of possible subjects and prepares a presentation for the seminar. Close contact with the supervisor is required.

E-8 Prof. Dr. Gerhard Bauch Summer Term Winter Term

Design of highly complex integrated systems and CAD Tools Lecture 3 ECTS 2 SWS

• Einführung/Wiederholung: Elektrische und magnetische Felder

• Halbleiter-Technologie: Speicher, Bauelemente, analoge und digitale Grundschaltungen

• Operationsverstärker • Low-Power • Spannungs-Referenzen • Wandler: Analog-Digital, Digital-Analog • Serielle Schnittstellen

E-9 Prof. Dr. Volkhard Klinger Summer Term

Fundamentals of IC Design Lecture, Lab 6 ECTS 4 SWS

• Circuit-Simulator SPICE • SPICE-Models for MOS transistors • IC design • Technology of MOS circuits • Standard cell design • Design of gate arrays

E-9 Prof. Dr. Matthias Kuhl Summer Term




• Examples for realization of ASICs in the institute of nanoelectronics

• Reliability of integrated circuits • Testing of integrated circuits

Semiconductor Seminar 2 ECTS 2 SWS

• Prepare, present, and discuss talks about recent topics from the field of semiconductors. The presentations must be given in English.

• Evaluation Criteria: • understanding of subject, discussion,

response to questions • structure and logic of presentation (clarity, precision) • coverage of the topic, selection of subjects presente

d • linguistic presentation (clarity, comprehensibility) • visual presentation (clarity, comprehensibility) • handout (see below) • compliance with timing requirement. • Handout:

Before your presentation, it is mandatory to distribute a printed handout (short abstract) of your presentation in English language. This must be no longer than two pages A4, and include the most important results, conclusions, explanations and diagrams.

E-9 Prof. Dr. Matthias Kuhl Summer Term

Approximation and Stability Lecture, Exercise, Seminar 6 ECTS 4 SWS

• crash course on Hilbert space: metric, norm, inner product, convergence, completeness

• crash course on operators: boundedness, norm, compactness, projectors

• uniform versus strong convergence, approximation methods

• applicability / stability of approx. methods, Polski's theorem

• Galerkin's method, collocation, spline interpolation, truncation

• convolution and Toeplitz operators • crash course on C∗-algebras • convergence of condition numbers • convergence of spectral quantities: spectrum,

eigenvalues, singular values, pseudospectrum • regularization methods (truncated SVD, Tichonov)

E-10 Prof. Dr. Marko Lindner Summer Term

Numerical Mathematics II Lecture, Exercise

• Error and stability: Notions and estimates • Interpolation: Rational and trigonometric

interpolation

E-10 Prof. Dr. Sabine Le Borne Summer Term




6 ECTS 4 SWS

• Quadrature: Gaussian quadrature, orthogonal polynomials

• Linear systems: Perturbation theory of decompositions, structured matrices

• Eigenvalue problems: LR-, QD-, QR-Algorithmus • Krylov space methods: Arnoldi-, Lanczos methods

Numerical treatment of ordinary differential equations Lecture, Exercise 6 ECTS 4 SWS

• Students are able to • list numerical methods for the solution of ordinary

differential equations and explain their core ideas, • repeat convergence statements for the treated

numerical methods (including the prerequisites tied to the underlying problem),

• explain aspects regarding the practical execution of a method.

E-10 Prof. Dr. Sabine Le Borne, Dr. Farrell Patricio Summer Term

Randomized Algorithms and Random Graphs Lecture, Excercise 6 ECTS 4 SWS

• Students can describe basic concepts in the area of Randomized Algorithms and Random Graphs such as random walks, tail bounds, fingerprinting and algebraic techniques, first and second moment methods, and various random graph models.

• They are able to explain them using appropriate examples.

• Students can discuss logical connections between these concepts. They are capable of illustrating these connections with the help of examples.

• They know proof strategies and can apply them.

E-10 Prof. Dr. Anusch Taraz E-17 Prof. Dr. Volker Turau Summer Term

Solvers for sparse linear systems Lecture, Exercise 6 ECTS 4 SWS

• list classical and modern iteration methods and their interrelationships,

• repeat convergence statements for iteration methods,

• explain aspects regarding the efficient implementation of iteration methods.

E-10 Prof. Dr. Sabine Le Borne Summer Term




Optical Communications Lecture, Exercise 4 ECTS 3 SWS

• Optical waveguide fundamentals

o total internal reflection at plane dielectric interfaces

o slab waveguides o rays in step-index and graded-index “multi-

mode” fibers o modes in optical fibers o single-mode fibers o fabrication of fibers

• Properties of silica optical fiber relevant in communications

o attenuation by scattering and absorption o dispersion and pulse broadening o polarization mode dispersion

• Passive fiber optical components o excitation of fibers, splice/connector loss o fiber optical directional couplers o isolators, circulators, phased arrays, grating

components

• Photodiode and LED fundamentals o pin-photodiodes: responsivity, response

time, equivalent circuit o avalanche photodiodes o light emitting diodes: spectra, output power,

modulation

• Noise in photodetectors o power spectral density of a train of randomly

occuring events o shot noise and thermal noise o photodetector equivalent circuits with noise

sources o basic receiver considerations

• Laserdiodes o basic laser physics o Fabry-Perot laser diodes o rate equations and LD characteristics o special laser diodes

• Optical fiber amplifiers

E-12 Dr. Hagen Renner Summer Term




o Erbium in silica fibers: energy levels, transitions, cross sections, amplification

o noise in optical amplifiers: spontaneous emission, ASE, noise figure, periodic amplification

o modelling of optical amplifiers o examples and applications

• Nonlinearities in optical fibers o basic nonlinear effects o solitons for high bit rate transmission:

dispersion vs. self phase modulation

• Optical fiber systems

Fibre and Integrated Optics Lecture, Exercise 4 ECTS 3 SWS

• Theory of optical waveguides • Coupling to and from waveguides • Losses • Linear and nonlinear dispersion • Components • Technical applications

E-12 Prof. Dr. Manfred Eich Summer Term

Optoelectronics I: Wave Optics Lecture, Exercise 4 ECTS 3 SWS

• Introduction to optoelectronics • Electromagnetic theory of light • Interference • Coherence • Diffraction • Fourier optics • Polarisation and crystal optics • Matrix formalism • Reflection and transmission • Complex refractive index • Dispersion • Modulation and switching of light

E-12 Prof. Dr. Manfred Eich Summer Term

Curves, Codes and • The students understand the basic theory of elliptic E-13




Cryptosystems Lecture 6 ECTS 4 SWS

curves • torsion points of elliptic curves • elliptic curves over finite fields • the discrete logarithm problem • the cryptography of elliptic curves • divisors of curves • hyperelliptic curves • algebraic codes over curves • and the famous theorem of Riemann-Roch.

Prof. Dr. Karl-Heinz Zimmermann Summer Term

Compilers for Embedded Systems Lecture, Lab 6 ECTS 4 SWS

The relevance of embedded systems increases from year to year. Within such systems, the amount of software to be executed on embedded processors grows continuously due to its lower costs and higher flexibility. Because of the particular application areas of embedded systems, highly optimized and application-specific processors are deployed. Such highly specialized processors impose high demands on compilers which have to generate code of highest quality. After the successful attendance of this course, the students are able

• to illustrate the structure and organization of such compilers,

• to distinguish and explain intermediate representations of various abstraction levels, and

• to assess optimizations and their underlying problems in all compiler phases.

The high demands on compilers for embedded systems make effective code optimizations mandatory. The students learn in particular, • which kinds of optimizations are applicable at the

source code level, • how the translation from source code to assembly

code is performed, • which kinds of optimizations are applicable at the

assembly code level, • how register allocation is performed, and • how memory hierarchies can be exploited

effectively. Since compilers for embedded systems often have to optimize for multiple objectives (e.g., average- or worst-case execution time, energy dissipation, code size), the students learn to evaluate the influence of optimizations on these different criteria.

E-13 Prof. Dr. Heiko Falk Summer Term

Computational Algebraic Geometry

• The students will get familiar with the following topics: ideals, local rings, standard bases and

E-13 Prof. Dr. Karl-Heinz




Lecture 6 ECTS 4 SWS

systems of polynomial equations; modules, syzygies, and free resolutions; algebraic invariant theory, and elliptic curves.

Zimmermann Summer Term

Design of Dependable Systems Lecture, Exercise 6 ECTS 4 SWS

Knowledge about approaches for designing dependable systems, e.g.,

• Structural solutions like modular redundancy • Algorithmic solutions like handling byzantine faults

or checkpointing

• Knowledge about methods for the analysis of dependable systems

E-13 Prof. Dr. Görschwin Fey Summer Term

Model Checking - Proof Engines and Algorithms Lecture 6 ECTS 4 SWS

Students know

• algorithms and data structures for model checking, • basics of Boolean reasoning engines and • the impact of specification and modelling on the

computational effort for model checking. Students can

• explain and implement algorithms and data structures for model checking,

• decide whether a given problem can be solved using Boolean reasoning or model checking, and

• implement the respective algorithms.

Students

• discuss relevant topics in class and • defend their solutions orally.

E-13 Prof. Dr. Görschwin Fey Summer Term

Applied Humanoid Robotics Lecture, 6 ECTS 6 SWS

• Students can explain humanoid robots. • Students can explain the basic concepts,

relationships and methods of forward- and inverse kinematics

• Students learn to apply basic control concepts for different tasks in humanoid robotics.

• Students can implement models for humanoid robotic systems in Matlab and C++, and use these models for robot motion or other tasks.

• They are capable of using models in Matlab for simulation and testing these models if necessary with C++ code on the real robot system.

E-14 Patrick Göttsch Summer Term




• They are capable of selecting methods for solving abstract problems, for which no standard methods are available, and apply it successfully.

Humanoid Robotics Lab 2 ECTS, 2 SWS

• Students can explain humanoid robots. • Students learn to apply basic control concepts for

different tasks in humanoid robotics. • Students acquire knowledge about selected aspects

of humanoid robotics, based on specified literature • Students generalize developed results and present

them to the participants • Students practice to prepare and give a presentation

E-14 Patrick Göttsch Summer Term

Linear and Nonlinear System Identification Lecture 3 ECTS 2 SWS

• Prediction error method • Linear and nonlinear model structures • Nonlinear model structure based on multilayer

perceptron network • Approximate predictive control based on multilayer

perceptron network model • Subspace identification

E-14 Prof. Dr. Herbert Werner Summer Term

Optimal and Robust Control Lecture, Exercise 4 ECTS 3 SWS (6 ECTS / 4 SWS from Summer term 2017 on)

• Optimal regulator problem with finite time horizon, Riccati differential equation

• Time-varying and steady state solutions, algebraic Riccati equation, Hamiltonian system

• Kalman’s identity, phase margin of LQR controllers, spectral factorization

• Optimal state estimation, Kalman filter, LQG control • Generalized plant, review of LQG control • Signal and system norms, computing H2 and H∞

norms • Singular value plots, input and output directions • Mixed sensitivity design, H∞ loop shaping, choice of

weighting filters • Case study: design example flight control • Linear matrix inequalities, design specifications as

LMI constraints (H2, H∞ and pole region) • Controller synthesis by solving LMI problems, multi-

objective design • Robust control of uncertain systems, small gain

theorem, representation of parameter uncertainty

E-14 Prof. Dr. Herbert Werner Summer Term

Control Lab A 4 ECTS, 4 SWS

• Students are capable of applying basic system identification tools (Matlab System Identification Toolbox) to identify a dynamic model that can be used for controller synthesis

• They are capable of using standard software tools (Matlab Control Toolbox) for the design and

E-14 Prof. Dr. Herbert Werner Summer Term Winter Term




implementation of LQG controllers • They are capable of using standard software tools

(Matlab Robust Control Toolbox) for the mixed-sensitivity design and the implementation of H-infinity optimal controllers

• They are capable of representing model uncertainty, and of designing and implementing a robust controller

• They are capable of using standard software tools (Matlab Robust Control Toolbox) for the design and the implementation of LPV gain-scheduled controllers

Control Lab B 2 ECTS, 2 SWS


• They are capable of using standard software tools (Matlab Control Toolbox) for the design and implementation of LQG controllers

• They are capable of using standard software tools (Matlab Robust Control Toolbox) for the mixed-sensitivity design and the implementation of H-infinity optimal controllers




Control Lab C 3 ECTS, 3 SWS





• They are capable of using standard software tools





(Matlab Robust Control Toolbox) for the design and the implementation of LPV gain-scheduled controllers

Seminar Advanced Topics in Control 2 ECTS, 2 SWS

• Students can explain modern control. • Students learn to apply basic control concepts for

different tasks


Application Security Lecture, Exercise 6 ECTS 5 SWS

• Email security • Web Services security • Security in Web applications • Access control • Trust Management • Trusted Computing • Digital Rights Management • Security Solutions for selected applications

E-15 Prof. Dr. Dieter Gollmann Summer Term

Network Security Lecture, Exercise 6 ECTS 5 SWS

• Security objectives • Security services and cryptographic mechanisms • Key establishment: Diffie-Hellman, Kerberos • IPsec protocols, mobile IPv6 • SSL/TLS • GSM/UMTS/LTE security protocols • WLAN security • Firewalls and Intrusion Detection Systems • Formal analysis of security protocols

E-15 Prof. Dr. Dieter Gollmann Summer Term

Machine Learning and Data Mining Lecture, Exercise 6 ECTS 4 SWS

• Decision trees • First-order inductive learning • Incremental learning: Version spaces • Uncertainty • Bayesian networks • Learning parameters of Bayesian networks

BME, MAP, ML, EM algorithm • Learning structures of Bayesian networks • Gaussian Mixture Models • kNN classifier, neural network classifier, support

vector machine (SVM) classifier • Clustering

Distance measures, k-means clustering, nearest neighbor clustering

• Kernel Density Estimation • Ensemble Learning • Reinforcement Learning • Computational Learning Theory

E-16 NN Summer Term

Software Testing Students explain the different phases of testing, describe E-16




Lecture, Exercise 6 ECTS 5 SWS

fundamental techniques of different types of testing, and paraphrase the basic principles of the corresponding test process. They give examples of software development scenarios and the corresponding test type and technique. They explain algorithms used for particular testing techniques and describe possible advantages and limitations. Students identify the appropriate testing type and technique for a given problem. They adapt and execute respective algorithms to execute a concrete test technique properly. They interpret testing results and execute corresponding steps for proper re-test scenarios. They write and analyze test specifications. They apply bug finding techniques for non-trivial problems.

Prof. Dr. Sybille Schupp Summer Term

Software for Embedded Systems Lecture, Exercise 6 ECTS 5 SWS

• General-Purpose Processors • Programming the Atmel AVR • Interrupts • C for Embedded Systems • Standard Single Purpose Processors: Peripherals • Finite-State Machines • Memory • Operating Systems for Embedded Systems • Real-Time Embedded Systems • Boot loader and Power Management

E-17 Prof. Dr. Volker Turau Summer Term

Bioelectromagnetics: Principles and Applications Lecture, Exercise 6 ECTS 5 SWS

• Fundamental properties of electromagnetic fields (phenomena)

• Mathematical description of electromagnetic fields (Maxwell’s Equations)

• Electromagnetic properties of biological tissue • Principles of energy absorption in biological tissue,

dosimetry • Numerical methods for the computation of

electromagnetic fields (especially FDTD) • Measurement techniques for characterization of

electromagnetic fields • Behavior of electromagnetic fields of low frequency

in biological tissue • Behavior of electromagnetic fields of medium

frequency in biological tissue • Behavior of electromagnetic fields of high frequency

in biological tissue • Behavior of electromagnetic fields of very high

frequency in biological tissue • Diagnostic applications of electromagnetic fields in

medical technology • Therapeutic applications of electromagnetic fields in

E-18 Prof. Dr. Christian Schuster Summer Term




medical technology • The human body as a generator of electromagnetic

fields EMC I: Coupling Mechanisms, Countermeasures and Test Procedures Lecture, Exercise, Lab 6 ECTS 5 SWS

• Introduction to Electromagnetic Compatibility (EMC) • Interference sources in time an frequency domain • Coupling mechanisms • Transmission lines and coupling to electromagnetic

fields • Shielding • Filters • EMC test procedures

E-18 Prof. Dr. Christian Schuster Summer Term

Seminar on Electromagnetic Compatibility and Electrical Power Systems Seminar 2 ECTS 2 SWS

• Current research topics in the fields electromagnetic compatibility, theory of electromagnetic fields, and electrical power systems

E-5 Prof. Dr. Christian Becker E-18 Prof. Dr. Christian Schuster Summer Term Winter Term

Wireless Sensor Networks Lecture, Practical Practical + project-based learning 6 ECTS 4 SWS

• Fundamentals of sensor networks • Architecture of sensor nodes and networks • Wireless communication (medium access and

routing) • Time synchronization • Localization • Environmentally-powered sensor nodes (hardware

and algorithms) The students will carry out a practical project involving both hardware and software design in small groups throughout the semester.

E-EX K2 Prof. Dr. Bernd-Christian Renner Summer Term

WINTER TERM

↑WINTER TERM↑ P a g e | 26


↑WINTER TERM ↑ P a g e | 26

WINTER TERM Industrial Process Automation Lecture and Exercise 6 ECTS 4 SWS

• foundations of problem solving and system modeling, discrete event systems

• properties of processes, modeling using automat and Petri-nets

• design considerations for processes (mutex, deadlock avoidance, liveness)

• optimal scheduling for processes • optimal decisions when planning manufacturing

systems, decisions under uncertainty software design and software architectures for automation, PLCs

E-1 Prof. Dr. Alexander Schlaefer Winter Term

Intelligent Systems in Medicine Lecture, Exercise, Seminar 6 ECTS 5 SWS

• methods for search, optimization, planning, classification, regression and prediction in a clinical context

• representation of medical knowledge • understanding challenges due to clinical and patient

related data and data acquisition • The students will work in groups to apply the

methods introduced during the lecture using problem based learning.

E-1 Prof. Dr. Alexander Schlaefer Winter Term

Seminar Medical Technology 2 ECTS, 2 SWS

• Review of a recent scientific publication • Reviewing of a scientific publications

E-1 Prof. Dr. Alexander Schlaefer Winter Term Summer Term

3D Computer Vision Lecture, Exercise 6 ECTS 4 SWS

• Projective Geometry and Transformations in 2D und 3D

• Projection matrix, calibration • Epipolar Geometry, fundamental and essential

matrices • weak calibration • 5 point algorithm • Homographies 2D and 3D • Trifocal Tensor

E-2 Prof. Dr. Rolf-Rainer Grigat Winter Term

Digital Image Analysis Lecture 6 ECTS 4 SWS

• Image representation • Imaging sensors, photon transfer • Perception of luminance and color • Spatio-temporal sampling and related effects • Features (filters, edge detection, morphology,

invariance, statistical features, texture) • Optical flow ( variational methods, quadratic

optimization, Euler-Lagrange equations) • Segmentation, registration

E-2 Prof. Dr. Rolf-Rainer Grigat Winter Term




Microwave Engineering Lecture, Exercise, Lab 6 ECTS 5 SWS

• Antennas: Analysis - Characteristics – Realizations; • Radio Wave Propagation • Transmitter: Power Generation with Vacuum Tubes

and Transistors; • Receiver: Preamplifier – Heterodyning – Noise; • Selected System Applications

E-3 Prof. Dr. Arne Jacob Winter Term

Micrw. Semiconductor Devices + Circuits II Lecture, Exercise, Lab 6 ECTS 6 SWS

• Frequency multiplier: Harmonic balance, noise in nonlinear circuits; Step Recovery Diode, FET; circuit synthesis, large signal, noise and stability analysis

• Low Noise Amplifier (LNA) circuit design: Stability and stability circles, gain and gain circles, noise, noise figure and noise figure circles

• Mixer, oscillator: Measurement techniques (Network analyzer, Spectrum analyzer; Frequency generator)

E-3 Prof. Dr. Arne Jacob Winter Term

Seminar on Microwave Engineering Seminar 2 ECTS 2 SWS

• Seminar talk on a given subject E-3 Prof. Dr. Arne Jacob Winter Term

Communication Networks Lecture, Seminar, Exercise 6 ECTS 5 SWS

Recommended Previous Knowledge: • Fundamental stochastics • Basic understanding of computer networks and/or

communication technologies is beneficial Educational Objectives: Professional Competence Theoretical Knowledge

• Students are able to describe the principles and structures of communication networks in detail. They can explain the formal description methods of communication networks and their protocols. They are able to explain how current and complex communication networks work and describe the current research in these examples.

• Students are able to evaluate the performance of communication networks using the learned methods. They are able to work out problems themselves and apply the learned methods. They can apply what they have learned autonomously on further and new communication networks.

• Students are able to define tasks themselves in small tams and solve these problems together using learned methods. They can present the obtained results. They are able to discuss and critically analyse the solutions.

E-4 Prof. Dr. Andreas Timm-Giel Winter Term




• Students are able to obtain the necessary expert

knowledge for understanding the functionality and performance

Traffic Engineering Lecture, Exercise, Seminar 6 ECTS 5 SWS

• Students are able to solve typical planning and optimisation tasks for communication networks. Furthermore they are able to evaluate the network performance using queuing theory.

• Students are able to apply independently what they have learned to other and new problems. They can present their results in front of experts and discuss them.

E-4 Prof. Dr. Andreas Timm-Giel Winter Term

Microsystem Engineering Lecture, Exercise, Lab 6 ECTS 4 SWS

• Object and goal of MEMS • Scaling Rules • Lithography • Film deposition • Structuring and etching • Energy conversion and force generation • Electromagnetic Actuators • Reluctance motors • Piezoelectric actuators, bi-metal-actuator • Transducer principles • Signal detection and signal processing • Mechanical and physical sensors • Acceleration sensor, pressure sensor • Sensor arrays • System integration • Yield, test and reliability

E-7 Prof. Dr. Manfred Kasper Winter Term

Microsystem Technology in theory and practice Lecture, Lab 6 ECTS 4 SWS

• Introduction (historical view, scientific and economic relevance, scaling laws)

• Semiconductor Technology Basics, Lithography (wafer fabrication, photolithography, improving resolution, next-generation lithography, nano-imprinting, molecular imprinting)

• Deposition Techniques (thermal oxidation, epitaxy, electroplating, PVD techniques: evaporation and sputtering; CVD techniques: APCVD, LPCVD, PECVD and LECVD; screen printing)

• Etching and Bulk Micromachining (definitions, wet chemical etching, isotropic etch with HNA, electrochemical etching, anisotropic etching with KOH/TMAH: theory, corner undercutting, measures for compensation and etch-stop techniques; plasma processes, dry etching: back sputtering, plasma

E-7 Prof. Dr. Hoc Khiem Trieu Winter Term




etching, RIE, Bosch process, cryo process, XeF2 etching)

• Surface Micromachining and alternative Techniques (sacrificial etching, film stress, stiction: theory and counter measures; Origami microstructures, Epi-Poly, porous silicon, SOI, SCREAM process, LIGA, SU8, rapid prototyping)

• Thermal and Radiation Sensors (temperature measurement, self-generating sensors: Seebeck effect and thermopile; modulating sensors: thermo resistor, Pt-100, spreading resistance sensor, pn junction, NTC and PTC; thermal anemometer, mass flow sensor, photometry, radiometry, IR sensor: thermopile and bolometer)

• Mechanical Sensors (strain based and stress based principle, capacitive readout, piezoresistivity, pressure sensor: piezoresistive, capacitive and fabrication process; accelerometer: piezoresistive, piezoelectric and capacitive; angular rate sensor: operating principle and fabrication process)

• Magnetic Sensors (galvanomagnetic sensors: spinning current Hall sensor and magneto-transistor; magnetoresistive sensors: magneto resistance, AMR and GMR, fluxgate magnetometer)

• Chemical and Bio Sensors (thermal gas sensors: pellistor and thermal conductivity sensor; metal oxide semiconductor gas sensor, organic semiconductor gas sensor, Lambda probe, MOSFET gas sensor, pH-FET, SAW sensor, principle of biosensor, Clark electrode, enzyme electrode, DNA chip)

• Micro Actuators, Microfluidics and TAS (drives: thermal, electrostatic, piezo electric and electromagnetic; light modulators, DMD, adaptive optics, microscanner, microvalves: passive and active, micropumps, valveless micropump, electrokinetic micropumps, micromixer, filter, inkjet printhead, microdispenser, microfluidic switching elements, microreactor, lab-on-a-chip, microanalytics)

• MEMS in medical Engineering (wireless energy and data transmission, smart pill, implantable drug delivery system, stimulators: microelectrodes, cochlear and retinal implant; implantable pressure




sensors, intelligent osteosynthesis, implant for spinal cord regeneration)

• Design, Simulation, Test (development and design flows, bottom-up approach, top-down approach, testability, modelling: multiphysics, FEM and equivalent circuit simulation; reliability test, physics-of-failure, Arrhenius equation, bath-tub relationship)

• System Integration (monolithic and hybrid integration, assembly and packaging, dicing, electrical contact: wire bonding, TAB and flip chip bonding; packages, chip-on-board, wafer-level-package, 3D integration, wafer bonding: anodic bonding and silicon fusion bonding; micro electroplating, 3D-MID)

Digital Audio Signal Processing Lecture, Exercise 6 ECTS 3 SWS

• Introduction (Studio Technology, Digital Transmission Systems, Storage Media, Audio Components at Home)

• Quantization (Signal Quantization, Dither, Noise Shaping, Number Representation)

• AD/DA Conversion (Methods, AD Converters, DA Converters, Audio Processing Systems, Digital Signal Processors, Digital Audio Interfaces, Single-Processor Systems, Multiprocessor Systems)

• Equalizers (Recursive Audio Filters, Nonrecursive Audio Filters, Multi-Complementary Filter Bank)

• Room Simulation (Early Reflections, Subsequent Reverberation, Approximation of Room Impulse Responses)

• Dynamic Range Control (Static Curve, Dynamic Behavior, Implementation, Realization Aspects)

• Sampling Rate Conversion (Synchronous Conversion, Asynchronous Conversion, Interpolation Methods)

• Data Compression (Lossless Data Compression, Lossy Data Compression, Psychoacoustics, ISO-MPEG1 Audio Coding)

E-8 Prof. Dr. Udo Zölzer Winter Term

Digital Communications Lecture, Exercise, Lab 6 ECTS 4 SWS

• Digital modulation methods • Coherent and non-coherent detection • Channel estimation and equalization • Single-Carrier- and multi carrier transmission

schemes, multiple access schemes (TDMA, FDMA, CDMA, OFDM)

E-8 Prof. Dr. Gerhard Bauch Winter Term

Digital Signal Processing and Digital Filters Lecture, Exercise

• Transforms of discrete-time signals:

• Discrete-time Fourier Transform (DTFT)

E-8 Prof. Dr. Gerhard Bauch Winter Term




6 ECTS 4 SWS

• Discrete Fourier-Transform (DFT), Fast Fourier Transform (FFT)

• Z-Transform • Correspondence of continuous-time and discrete-

time signals, sampling, sampling theorem • Fast convolution, Overlap-Add-Method, Overlap-

Save-Method • Fundamental structures and basic types of digital

filters • Characterization of digital filters using pole-zero

plots, important properties of digital filters • Quantization effects • Design of linear-phase filters • Fundamentals of stochastic signal processing and

adaptive filters • MMSE criterion • Wiener Filter • LMS- and RLS-algorithm

• Traditional and parametric methods of spectrum estimation

Modern Wireless Systems Lecture 3 ECTS 2 SWS

The lecture gives an overview of contemporary wireless communication concepts and related techniques from a system point of view. For that purpose, different systems, ranging from Wireless Personal to Wide Area Networks, are covered, mainly discussing the physical and data link layer.

Systems under consideration include:

• Near Field Communications • ZigBee / IEEE 802.15.4 • Bluetooth • IEEE 802.11 family • Long Term Evolution (LTE) and LTE Advanced • WiMAX

A special focus is placed on 4th generation networks; in

particular, an in-depth view into the technical principles of the Long Term Evolution (LTE / LTE Advanced ) standard is given, with an emphasis on multiple antenna techniques.

The lecture builds upon basic knowledge on mobile communication concepts, as it was conveyed in the lecture "Mobile Communications".

Pre-requisites: • Lecture on Signals and Systems

E-8 Dr. Rainer Grünheid Winter Term




• Basic knowledge on Mobile Communications Seminar Communications Engineering 2 ECTS, 2 SWS

• Each participant chooses a topic out of a list of possible subjects and prepares a presentation for the seminar. Close contact with the supervisor is required.

E-8 Prof. Dr. Gerhard Bauch Summer Term Winter Term

CAD – Tools Lecture 3 ECTS 2 SWS

• Motivation, Moore"s law, design circle • HW-Technology: Full-Custom, semi-custom, gate-

array, programmable devices • Design Flow: Design Capture and frontend,

schematic entry, graphics entry, design rules, simulation, verification, synthesis and backend, production test, design for testability

• Hardware description languages: Concepts, examples

• Project

E-9 Prof. Dr. Volkhard Klinger Winter Term

CMOS Nanoelectronics Lecture, Exercise, Lab 6 ECTS 5 SWS

• Ideal and non-ideal MOS devices • Threshold voltage, Parasitic charges, Work function

difference • I-V behavior • Scaling-down rules • Details of very small MOS transistors • Basic CMOS process flow • Memory Technology, SRAM, DRAM, embedded

DRAM • Gain memory cells • Non-volatile memories, Flash memory circuits • Methods for Quality Control, C(V)-technique, Charge

pumping, Uniform injection • Systems with extremely small CMOS transistors

E-9 NN Winter Term

Electronic Circuits for Medical Application Lecture, Exercise, Lab 6 ECTS 4 SWS

• Market for medical instruments • Membrane potential, action potential, sodium-

potassium pump • Information transfer by the central nervous system • Interface tissue - electrode • Amplifiers for medical applications, analog-digital

converters • Examples for electronic implants • Artificial eye, cochlea implant

E-9 Prof. Dr. Matthias Kuhl Winter Term

Electronic Devices and Circuits Lecture 6 ECTS 4 SWS

• Students can explain basic concepts of electron transport in semiconductor devices (energy bands, generation/recombination, carrier concentrations, drift and diffusion current densities, semiconductor device equations).

• Students are able to explain functional principles of

E-9 Dr. Dietmar Schröder Winter Term




pn-diodes, MOS capacitors, and MOSFETs using energy band diagrams.

• Students can present and discuss current-voltage relationships and small-signal equivalent circuits of these devices.

• Students can explain the physics and current-voltage behavior transistors based on charged carrier flow.

• Students are able to explain the basic concepts for static and dynamic logic gates for integrated circuits

• Students can exemplify approaches for low power consumption on the device and circuit level

• Students can describe the potential and limitations of analytical expression for device and circuit analysis.

• Students can explain characterization techniques for MOS devices.

Hierarchical Algorithms Lecture, Exercise 6 ECTS 4 SWS

• Low rank matrices • Separable expansions • Hierarchical matrix expansions • Hierarchical matrices • Formatted matrix operations Applications • Additional topics

E-10 Prof. Dr. Sabine Le Borne Winter Term

Mathematical Image Processing Lecture, Exercise 6 ECTS 4 SWS

• basic concepts of functional analysis • introduction to partial differential equations • basic methods of image processing • image segmentation • image registration

E-10 Prof. Dr. Marko Lindner Winter Term

Optoelectronics II - Quantum Optics Lecture, Exercise 4 ECTS 3 SWS

• Generation of light • Photons • Thermals and non thermal light • Laser amplifier • Noise • CW-Laser (gas, solidstate, semiconductor) • Pulsed lasers • Detection of light • Optoelectronic displays

E-12 Prof. Dr. Manfred Eich Winter Term

Advanced System-on-Chip Design Lab 6 ECTS 3 SWS

• Introduction into fundamental technologies (FPGAs, MIPS single-cycle machine)

• Pipelined instruction execution • Cache-based memory hierarchies • Busses and their arbitration • Multi-Processor Systems-on-Chip • Optional: Advanced pipelining concepts (dynamic

scheduling, branch prediction)

E-13 Prof. Dr. Heiko Falk Winter Term




Algebraic Statistics for Computational Biology Lecture, Exercise 6 ECTS 4 SWS

• Alignment of sequences, Needleman-Wunsch algorithm, parametric alignment

• Hidden Markov model, Viterbi algorithm, EM algorithm, CpG islands

• Hidden tree model, Felsenstein algorithm, Jukes-Cantor and related models

• Phylogenetic invariants • Gröbner bases techniques • Markov bases and Metropolis algorithm • Contingency tables • Hardy-Weinberg model • Analysis of ranked data

E-13 Prof. Dr. Karl-Heinz Zimmermann Winter Term

Real-Time Systems Lecture, Excercise 6 ECTS 4 SWS

• E-13 Prof. Dr. Heiko Falk Dr. Selma Saidi Winter Term

Soft Computing Lecture 6 ECTS, 4 SWS

• Students are able to formalize, compute, and analyze belief networks, alignments of sequences, hidden Markov models, phylogenetic tree models, neural networks, and fuzzy controllers. In particular, inference and learning in belief networks are important topics that the students should be able to master.

E-13 Prof. Dr. Karl-Heinz Zimmermann Winter Term

Advanced Topics in Control Lecture, Exercise 6 ECTS 4 SWS

• Students can explain the advantages and shortcomings of the classical gain scheduling approach

• They can explain the representation of nonlinear systems in the form of quasi-LPV systems

• They can explain how stability and performance conditions for LPV systems can be formulated as LMI conditions

• They can explain how gridding techniques can be used to solve analysis and synthesis problems for LPV systems

• They are familiar with polytopic and LFT representations of LPV systems and some of the basic synthesis techniques associated with each of these model structures

• Students can explain how graph theoretic concepts are used to represent the communication topology of multiagent systems

• They can explain the convergence properties of first order consensus protocols

• They can explain analysis and synthesis conditions

E-14 Prof. Dr. Herbert Werner Winter Term




for formation control loops involving either LTI or LPV agent models

• Students can explain the state space representation of spatially invariant distributed systems that are discretized according to an actuator/sensor array

• They can explain (in outline) the extension of the bounded real lemma to such distributed systems and the associated synthesis conditions for distributed controllers

Seminar Advanced Topics in Control 2 ECTS, 2 SWS

• Students can explain modern control. • Students learn to apply basic control concepts for

different tasks

E-14 Prof. Dr. Herbert Werner Winter Term Summer Term

Control Systems Theory and Design Lecture, Exercise 6 ECTS 4 SWS

• State space methods (single-input single-output) State space models and transfer functions, state feedback

• Coordinate basis, similarity transformations • Solutions of state equations, matrix exponentials,

Cayley-Hamilton Theorem • Controllability and pole placement • State estimation, observability, Kalman

decomposition • Observer-based state feedback control, reference

tracking • Transmission zeros • Optimal pole placement, symmetric root locus

Multi-input multi-output systems • Transfer function matrices, state space models of

multivariable systems, Gilbert realization • Poles and zeros of multivariable systems, minimal

realization • Closed-loop stability • Pole placement for multivariable systems, LQR

design, Kalman filter • Digital Control • Discrete-time systems: difference equations and z-

transform • Discrete-time state space models, sampled data

systems, poles and zeros • Frequency response of sampled data systems, choice

of sampling rate • System identification and model order reduction • Least squares estimation, ARX models, persistent

excitation

E-14 Prof. Dr. Herbert Werner Winter Term




• Identification of state space models, subspace identification

• Balanced realization and model order reduction Case study

• Modelling and multivariable control of a process evaporator using Matlab and Simulink Software tools

• Matlab/Simulink Control Lab A 4 ECTS, 4 SWS







Control Lab B 2 ECTS, 2 SWS










Control Lab C 3 ECTS, 3 SWS







Software Security Lecture, Lab 6 ECTS 4 SWS

• Reliabilty and Software Security • Attacks exploiting character and integer

representations • Buffer overruns • Vulnerabilities in memory managemet: double free

attacks • Race conditions • SQL injection • Cross-site scripting and cross-site request forgery • Testing for security; taint analysis • Type safe languages • Development proceses for secure software • Code-based access control

E-15 Prof. Dr. Dieter Gollmann Winter Term

Intelligent Autonomous Agents and Cognitive Robotics Lecture, Exercise 6 ECTS 4 SWS

• Definition of agents, rational behavior, goals, utilities, environment types

• Adversarial agent cooperation: Agents with complete access to the state(s) of the environment, games, Minimax algorithm, alpha-beta pruning, elements of chance

• Uncertainty: Motivation: agents with no direct access to the state(s) of the environment, probabilities, conditional probabilities, product rule, Bayes rule, full joint probability distribution, marginalization, summing out, answering queries, complexity, independence assumptions, naive Bayes, conditional independence assumptions

E-16 Rainer Marrone Winter Term




• Bayesian networks: Syntax and semantics of Bayesian networks, answering queries revised (inference by enumeration), typical-case complexity, pragmatics: reasoning from effect (that can be perceived by an agent) to cause (that cannot be directly perceived).

• Probabilistic reasoning over time: Environmental state may change even without the agent performing actions, dynamic Bayesian networks, Markov assumption, transition model, sensor model, inference problems: filtering, prediction, smoothing, most-likely explanation, special cases: hidden Markov models, Kalman filters, Exact inferences and approximations

• Decision making under uncertainty: Simple decisions: utility theory, multivariate utility functions, dominance, decision networks, value of informatio Complex decisions: sequential decision problems, value iteration, policy iteration, MDPs Decision-theoretic agents: POMDPs, reduction to multidimensional continuous MDPs, dynamic decision networks

• Simultaneous Localization and Mapping • Planning • Game theory (Golden Balls: Split or Share)

Decisions with multiple agents, Nash equilibrium, Bayes-Nash equilibrium

• Social Choice Voting protocols, preferences, paradoxes, Arrow's Theorem,

• Mechanism Design Fundamentals, dominant strategy implementation, Revelation Principle, Gibbard-Satterthwaite Impossibility Theorem, Direct mechanisms, incentive compatibility, strategy-proofness, Vickrey-Groves-Clarke mechanisms, expected externality mechanisms, participation constraints, individual rationality, budget balancedness, bilateral trade, Myerson-Satterthwaite Theorem

Software Analysis Lecture, Exercise 6 ECTS 4 SWS

• Modeling: Control-Flow Modeling, Data Dependences, Intermediate Languages)

• Classical Bit-Vector Analyses (Reaching Definition, Very Busy Expressions, Liveness, Available Expressions, May/Must, Forward/Backward)

E-16 Prof. Dr. Sibylle Schupp Winter Term




• Monotone Frameworks (Lattices, Transfer Functions, Ascending Chain Condition, Distributivity, Constant Propagation)

• Theory of Data-Flow Analysis (Tarski's Fixed Point Theorem, Data-Flow Equations, MFP Solution, MOP Solution, Worklist Algorithm)

• Non-Classical Data-Flow Analyses • Abstract Interpretation (Galois Connections,

Approximating Fixed Points, Construction Techniques)

• Type Systems (Type Derivation, Inference Trees, Algorithm W, Unification)

• Recent Developments of Analysis Techniques and Applications

Software Verification Lecture, 2 Exercises 6 ECTS 6 SWS

• Syntax and semantics of logic-based systems • Deductive verification

• Specification • Proof obligations • Program properties • Automated vs. interactive theorem proving

• Model checking • Foundations • Property languages • Tool support

• Recent developments of verification techniques and applications

E-16 Prof. Dr. Sibylle Schupp Winter Term

Distributed Algorithms Lecture, Exercise 6 ECTS 4 SWS

• Leader Election • Colorings & Independent Sets • Tree Algorithms • Minimal Spanning Trees • Randomized Distributed Algorithms • Mutual Exclusion

E-17 Prof. Dr. Volker Turau Winter Term

EMC II: Signal Integrity and Power Supply of Electronics Systems Lecture, Exercise, Lab 6 ECTS 5 SWS

• The role of packages and interconnects in electronic systems

• Components of packages and interconnects in electronic systems

• Main goals and concepts of signal and power integrity of electronic systems

• Repeat of relevant concepts from the theory electromagnetic fields

• Properties of digital signals and systems • Design and characterization of signal integrity

E-18 Prof. Dr. Christian Schuster Winter Term




• Design and characterization of power supply • Techniques and devices for measurements in time-

and frequency-domain • CAD tools for electrical analysis and design of

packages and interconnects • Connection to overall electromagnetic compatibility

of electronic systems High Frequency Techniques for Avionics Lecture, Exercise 4 ECTS 3 SWS

In avionics several electrical engineering disciplines are combined within aeronautic systems. In this lecture the concepts of high frequency theory and communication theory in avionics are explained and combined. These concepts also are of importance for the design of other complex systems, such as those of the automotive industry, e.g.. The following topics are discussed in the lecture:

• Basics of electromagnetic theory • Basics of antenna theory • Wave propagation in real environments • Classical navigation systems • Satellite-based navigation systems • Radar and other identification systems • Communication Systems • Electromagnetic Compatibility in aerospace

E-18 Prof. Dr. Frank Gronwald Winter Term

Introduction to Waveguides, Antennas and Electromagnetic Compatibility Lecture, Exercise 6 ECTS, 5 SWS

Students can explain the basic principles, relationships, and methods for the design of waveguides and antennas as well as of Electromagnetic Compatibility. Specific topics are:

• Fundamental properties and phenomena of electrical circuits

• Steady-state sinusoidal analysis of electrical circuits • Fundamental properties and phenomena of

electromagnetic fields and waves • Steady-state sinusoidal description of

electromagnetic fields and waves • Useful microwave network parameters • Transmission lines and basic results from

transmission line theory • Plane wave propagation, superposition, reflection

and refraction • General theory of waveguides • Most important types of waveguides and their

properties • Radiation and basic antenna parameters • Most important types of antennas and their

properties • Numerical techniques and CAD tools for waveguide

E-18 Prof. Dr. Christian Schuster Winter Term




and antenna design • Fundamentals of Electromagnetic Compatibility • Coupling mechanisms and countermeasures • Shielding, grounding, filtering • Standards and regulations • EMC measurement techniques

Seminar on Electromagnetic Compatibility and Electrical Power Systems Seminar 2 ECTS 2 SWS

• Current research topics in the fields electromagnetic compatibility, theory of electromagnetic fields, and electrical power systems

E-5 Prof. Dr. Christian Becker E-18 Prof. Dr. Christian Schuster Summer Term Winter Term

Design and Implementation of Software Systems Lecture, Lab 6 ECTS, 4 SWS

• Students are able to describe mechatronic systems and define requirements.

• Students are able to design and implement mechatronic systems. They are able to argue the combination of Hard- and Software and the interfaces.

E-EXK2 Prof. Dr. Christian Renner Winter Term

1 SWS = 45 minutes of teaching time per week

Electrical Engineering, Computer Science and Mathematics · PDF fileElectrical Engineering,...

Documents

Transcript of Electrical Engineering, Computer Science and Mathematics · PDF fileElectrical Engineering,...