Constrained Control of Nonlinear Systems
|
|
- Herbert Burgstaller
- vor 8 Jahren
- Abrufe
Transkript
1 Diss. ETH No Constrained Control of Nonlinear Systems A dissertation submitted to the Swiss Federal Institute of Technology (ETH) Zurich for the degree of Doctor of Technical Sciences presented by Vesna Nevistic Dipl. Engineer of Electronics, Military Technical Academy, Zagreb Magister of Sciences in Electrical Engineering, Zagreb University born June 20, 1965 citizen of Croatia accepted on the recommendation of Prof. Dr. M. Morari, examiner Prof. Dr. D. Bonvin, co-examiner January, 1997
2 Summary One of the most important practical and theoretical open problems in control is the design and analysis of feedback controllers for systems with constraints Constraints on the actuators and often also on the outputs are present in all real systems and can lead to performance deterioration and even instability if not properly accounted for in the design procedure Constraints render a control problem nonlmear even when the plant itself is linear Over the years many different approaches have been proposed for the analysis and design of control systems subject to constraints They have ranged from simple ad hoc techniques like anti-wmdup to the solution of appropriately defined optimal control problems and their on-line implementation This dissertation includes contributions on a wide range of problems related to the control of constrained linear and nonlinear systems First, m order to put the work in perspective, the optimal control approach to determining the feedback law for gen eral nonlinear systems is reviewed The classical variational technique is contrasted with the Hamilton-Jacobi-Bellman approach in terms of open vs closed loop local vs global, and necessary vs sufficient characterization of optimahty While these mentioned tools can lead to useful benchmark results their applicability to real-world problems is severely limited by numerical and dimensionality issues Model Predictive Control (MPC) constitutes a practical alternative Different formu lations of MPC have been employed m industry for about two decades with varying degrees of success For these implementations stability can often be determined by trial and error only, except in the special case of a linear plant with a quadratic objec tive there are no efficient computational procedures, robustness can only be assessed via case studies, any comparison with other nonlinear control techniques is highly sub jective depending on the designers effort and experience all these topics are reported in this dissertation Significant developments on It had become customary to guarantee stability for MPC by either extending the out put horizon to infinity or by imposing a terminal (end) constraint For constrained problems with a finite horizon and no end constraint, essentially no workable stability analysis techniques were available Here, based on a Lyapunov approach, sufficient conditions for stability are derived In the unconstrained case, evaluation of these conditions requires the computation of some eigenvalues M\ other similar conditions reported in the literature are shown to be special cases of this general result More importantly, these conditions also yield bounds on the infinite horizon performance v
3 of this finite honzon controller For the constrained case, the solution of a max-min problem is necessary to obtain a sufficient condition for stability Simulation experi ence suggests that this max-min problem is well behaved A performance bound is established similarly as for unconstrained systems For the full execution of MPC for nonlinear systems ("Nonlinear MPC ), a dynamic optimization problem must be solved on line at each time step, which is rarely a prac tical proposition Here, two alternate approaches are derived which require much less numerical effort and where the performance is essentially indistinguishable from that obtained with standard nonlinear MPC One technique combines feedback lineariza tion with MPC For open-loop stable nonlinear systems with constraints it guarantees global stability The only other method with equally strong properties is full nonlinear MPC, but it achieves these characteristics at the cost of much more involved on-line computations The other proposed technique approximates the nonlinear plant model with a linear time varying model, obtained from a linearization of the system along the predicted trajectory of the nonlinear system it is widely applicable Unlike MPC with feedback linearization In the last decade, it has become customary to assess closed loop performance and, in particular, robust performance via the induced 2-norm For linear systems with a wide range of uncertainty descriptions, a so-called fi problem results For general non linear systems a robust performance test can be formulated in the form of a two-point boundary-value problem which is solvable via an efficient numerical method This technique is used here to compare the robust performance of several MPC variants Finally, a systematic technique, the converse constrained Hamilton-Jacobi-Bellman approach, is developed to generate examples of nonlinear constrained systems, for which the optimal feedback control law is known analytically By comparing various control techniques in terms of their closeness to this standard, an objective evaluation of the relative merits becomes possible MPC is found to be a most effective strategy for nonlinear constrained problems - was investigated equal to or better than any other technique which
4 MPC) Kurzfassung Der Entwurf und die Analyse von Regelungen fur Systeme mit Beschrankungen gehort zu den praktisch und theoretisch wichtigsten offenen Problemen in der Regelungstechnik. Beschrankungen der Stellgrosse und oft auch von einzelnen Ausgangen finden sich in alien wirklichen Systemen. Wenn diese Beschrankungen nicht explizite im En twurf berucksichtigt werden, konnen sie nicht nur eine Beeintrachtigung der Regelgiite mit sich bringen, sondern sogar zur tnstabilitat fiihren. Beschrankungen machen ein Regelproblem auch dann nichtlinear wenn die Strecke selbst linear ist. In den letzten Jahren wurden viele Ansatze zur Analyse und Synthese von Reglern fur Systeme mit Beschrankungen vorgestellt. Sie reichen von einfachen ad hoc Methoden wie "antiwindup" bis zur Losung von entsprechend definierten optimalen Regelproblemen und ihrer on-line Implementierung. Diese Dissertation beinhaltet eine Reihe von Beitragen im Zusammenhang mit der Regelung von linearen und nichtlinearen Systemen mit Beschrankungen. Zuerst, um einen entsprechenden Rahmen fur diese Arbeit zu setzen, wird besprochen, wie das Ruckfuhrungsgesetz fur allgemeine nichtlineare Systeme iiber die Losung eines opti malen Regelungproblems bestimmt werden kann. Die klassische Variaritionenrechnung wird mit der Methode von Hamilton, Jacobi und Bellman verglichen und die Unterschiede in Bezug auf Steuerung vs. Regelung, und lokale vs. globale, sowie notwendige vs. hinreichende Charakterisierung des Optimums werden aufgezeigt. Wahrend die erwahnten Werkzeuge niitzlich sind um gewisse Standards zu setzen, ist ihre Anwendbarkeit auf realistische Falle durch numerische Probleme sehr eingeschrankt. Die pradiktive Regelung ("Model Predictive Control" - stellt eine praktische Alternative dar. Verschiedene Varianten von MPC wurden in den letzten zwei Jahrzehnten in der Industrie mit unterschiedlichem Erfolg angewandt. Bei diesen Implementierungen kann Stabilitat oft nur durch "trial and error" bestimmt werden; ausser fur lineare Strecken mit quadratischen Zielfunktionen existieren keine effiziente Berechnungsmethoden; die Robustheit muss iiber Fallstudien untersucht werden; alle Vergleiche mit anderen nichtlinearen Reglern sind rein subjektiv und hangen voll von der Erfahrung des Anwenders ab. In dieser Dissertation werden signifikante Beitrage zu alien diesen Themen gebracht. Es war iiblich geworden, die Stabilitat von MPC Reglern durch Vorschreiben eines unendlichen Horizonts oder einer Endbedingung zu erzwingen. Fur Probleme mit Beschrankungen und einem endlichen Horizont ohne Endbedingung gab es keine brauchvn
5 baren Methoden zur Stabilitatsanalyse. Hier werden hinreichende Stabilitatsbedingungen basierend auf einem Lyapunov Ansatz hergeleitet. Im Fall ohne Beschrankungen ist fiir die Untersuchung dieser Bedingungen die Losung von Eigenwertproblemen notwendig. Es wird gezeigt, dass alle anderen ahnlichen Bedingungen in der Literatur Spezialfalle dieses allgemeinen Ergebnisses sind. Zusatzlich erlaubt die Losung dieses Problems auch, einen Grenzwert fiir die Regelgiite fiber einen unendlichen Horizont zu bestimmen, die mit diesem Regler, der fiber einen endlichen Horizont berechnet wird, erreicht werden kann. Im Falle mit Beschrankungen ergeben sich die hinreichenden Stabilitatsbedingungen aus der Losung eines max-min Problems. Erfahrungen mit Simulationen zeigen, dass diese Optimierungsaufgabe mit Standardalgorithmen fiir nichtlineare Programmierung losbar ist. Ein Grenzwert fur die Regelgiite kann in ahnlicher Weise wie fiir Systeme ohne Beschrankungen bestimmt werden. Fiir die voile Implementierung von MPC auf nichtlinearen Systemen ("Nonlinear MPC") muss man on-line ein dynamisches Optimierungsproblem losen, was in der Praxis nur selten realisierbar ist. In dieser Arbeit werden zwei Alternativen vorgeschlagen, die viel weniger numerischen Aufwand erfordern, fur die jedoch die Regelgiite kaum von der mit "Nonlinear MPC" erreichbaren unterscheidbar ist. Die erste Methode kombiniert "feedback linearization" mit MPC. Fiir stabile nichtlineare Systeme mit Beschrankungen garantiert diese Technik globale Stabilitat. Die einzige andere Meth ode mit ahnlich starken Eigenschaften ist nichtlineares MPC, das jedoch mit einem viel grosseren on-line Rechenaufwand verbunden ist. Die zweite Methode approximiert das nichtlineare Streckenmodell mit einem linearen zeitvarianten Modell, das man von der Linearisierung des Systems entlang der pradiktierten Trajektorie des nichtlinearen Systems erhalt. ode breit anwendbar. Im Gegensatz zur MPC mit "feedback linearization" ist diese Meth Im letzten Jahrzehnt ist es ublich geworden, die Regelgiite und insbesondere die robuste Regelgiite ("robust performance") durch eine induzierte 2-Norm zu messen. Fiir lineare Systeme mit einer breiten Auswahl von Unsicherheitsbeschreibungen erhalt man ein sogenanntes fj, Problem. Fiir allgemeine nichtlineare Systeme kann man einen "robust performance" Test als "two-point boundary-value problem" formulieren, das effizient gelost werden kann. Diese Methode wurde hier verwendet, um die robuste Regelgiite von verschiedenen MPC Varianten zu vergleichen. Schliesslich wird eine systematische Methode ("converse constrained Hamilton-Jacobi- Bellman approach") hergeleitet, um Beispiele nichtlinearer Systeme mit Beschrankun gen zu generieren, fiir die das optimale Regelgesetz analytisch bestimmt werden kann. Durch den Vergleich verschiedener Methoden nach ihrer Nahe zu diesem Standard, kann man ihre relativen Vorteile objektiv beurteilen. Hier zeigte es sich, dass MPC eine effektive Strategic fiir nichtlineare Probleme mit - Beschrankungen darstellt gleich gut oder besser als alle anderen Methoden, welche untersucht wurden.
Efficient Design Space Exploration for Embedded Systems
Diss. ETH No. 16589 Efficient Design Space Exploration for Embedded Systems A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Sciences presented by
Mehrmiditech 4merge 4-fach MIDI Merger mit :
miditech 4merge 4-fach MIDI Merger mit : 4 x MIDI Input Port, 4 LEDs für MIDI In Signale 1 x MIDI Output Port MIDI USB Port, auch für USB Power Adapter Power LED und LOGO LEDs Hochwertiges Aluminium Gehäuse
MehrWays and methods to secure customer satisfaction at the example of a building subcontractor
Abstract The thesis on hand deals with customer satisfaction at the example of a building subcontractor. Due to the problems in the building branch, it is nowadays necessary to act customer oriented. Customer
MehrWAS IST DER KOMPARATIV: = The comparative
DER KOMPATATIV VON ADJEKTIVEN UND ADVERBEN WAS IST DER KOMPARATIV: = The comparative Der Komparativ vergleicht zwei Sachen (durch ein Adjektiv oder ein Adverb) The comparative is exactly what it sounds
MehrOn the List Update Problem
DISS. ETH No. 14529, 2002 On the List Update Problem A dissertation submitted to the Swiss Federal Institute of Technology, ETH Zürich for the degree of Doctor of Technical Sciences presented by Christoph
MehrKurzanleitung um Transponder mit einem scemtec TT Reader und der Software UniDemo zu lesen
Kurzanleitung um Transponder mit einem scemtec TT Reader und der Software UniDemo zu lesen QuickStart Guide to read a transponder with a scemtec TT reader and software UniDemo Voraussetzung: - PC mit der
MehrComputer-gestützter Entwurf von absatzweise arbeitenden chemischen Mehrproduktanlagen
Research Collection Doctoral Thesis Computer-gestützter Entwurf von absatzweise arbeitenden chemischen Mehrproduktanlagen Author(s): Klossner, Jürg Publication Date: 1985 Permanent Link: https://doi.org/10.3929/ethz-a-000342601
MehrDaten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1
Daten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1 2.800.000.000.000.000.000.000 Bytes Daten im Jahr 2012* * Wenn jedes Byte einem Buchstaben entspricht und wir 1000 Buchstaben auf
MehrSecurity Patterns. Benny Clauss. Sicherheit in der Softwareentwicklung WS 07/08
Security Patterns Benny Clauss Sicherheit in der Softwareentwicklung WS 07/08 Gliederung Pattern Was ist das? Warum Security Pattern? Security Pattern Aufbau Security Pattern Alternative Beispiel Patternsysteme
MehrMagic Figures. We note that in the example magic square the numbers 1 9 are used. All three rows (columns) have equal sum, called the magic number.
Magic Figures Introduction: This lesson builds on ideas from Magic Squares. Students are introduced to a wider collection of Magic Figures and consider constraints on the Magic Number associated with such
MehrEinkommensaufbau mit FFI:
For English Explanation, go to page 4. Einkommensaufbau mit FFI: 1) Binäre Cycle: Eine Position ist wie ein Business-Center. Ihr Business-Center hat zwei Teams. Jedes mal, wenn eines der Teams 300 Punkte
MehrResearch Collection. Backward stochastic differential equations with super-quadratic growth. Doctoral Thesis. ETH Library. Author(s): Bao, Xiaobo
Research Collection Doctoral Thesis Backward stochastic differential equations with super-quadratic growth Author(s): Bao, Xiaobo Publication Date: 2009 Permanent Link: https://doi.org/10.3929/ethz-a-005955736
MehrWürfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.
040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl
MehrEinführung in die Robotik Kinematik. Mohamed Oubbati Institut für Neuroinformatik. Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 20. 11.
Einführung in die Robotik Kinematik Mohamed Oubbati Institut für Neuroinformatik Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 20. 11. 2012 Die Klausur findet am 12 März 2013 im H20 um 11h. Dauer:
MehrOptimierungsprobleme mit Nebenbedingungen - Einführung in die Theorie, Numerische Methoden und Anwendungen
Optimierungsprobleme mit Nebenbedingungen - Einführung in die Theorie, Numerische Methoden und Anwendungen Dr. Abebe Geletu Ilmenau University of Technology Department of Simulation and Optimal Processes
MehrSemantic Web. RDF, RDFS, OWL, and Ontology Engineering. F. Abel, N. Henze, and D. Krause 17.12.2009. IVS Semantic Web Group
Semantic Web RDF, RDFS, OWL, and Ontology Engineering F. Abel, N. Henze, and D. Krause IVS Semantic Web Group 17.12.2009 Exercise 1: RDFS OWL Erstellen Sie mit Hilfe von RDF Schema und OWL eine Ontologie
MehrListening Comprehension: Talking about language learning
Talking about language learning Two Swiss teenagers, Ralf and Bettina, are both studying English at a language school in Bristo and are talking about language learning. Remember that Swiss German is quite
MehrUntersuchung der Auswahl der Hauptfreiheitsgrade zum Import eines Modells von ANSYS nach SIMPACK
IMW - Institutsmitteilung Nr. 35 (2010) 103 Untersuchung der Auswahl der Hauptfreiheitsgrade zum Import eines Modells von ANSYS nach SIMPACK M. Leng; Z. Liang Die Auswahl der Hauptfreiheitsgrade spielt
MehrReal-time Model Predictive Control
Diss. ETH No. 19524 Real-time Model Predictive Control Adissertationsubmittedto ETH ZURICH for the degree of Doctor of Sciences presented by Melanie Nicole Zeilinger Dipl.-Ing., University of Stuttgart
MehrKlausur BWL V Investition und Finanzierung (70172)
Klausur BWL V Investition und Finanzierung (70172) Prof. Dr. Daniel Rösch am 13. Juli 2009, 13.00-14.00 Name, Vorname Anmerkungen: 1. Bei den Rechenaufgaben ist die allgemeine Formel zur Berechnung der
MehrANALYSIS AND SIMULATION OF DISTRIBUTION GRIDS WITH PHOTOVOLTAICS
Diss. ETH No. 22001 ANALYSIS AND SIMULATION OF DISTRIBUTION GRIDS WITH PHOTOVOLTAICS A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by CHRISTOF BUCHER ETH Zurich
MehrLineargleichungssysteme: Additions-/ Subtraktionsverfahren
Lineargleichungssysteme: Additions-/ Subtraktionsverfahren W. Kippels 22. Februar 2014 Inhaltsverzeichnis 1 Einleitung 2 2 Lineargleichungssysteme zweiten Grades 2 3 Lineargleichungssysteme höheren als
MehrLarge-Scale Mining and Retrieval of Visual Data in a Multimodal Context
Diss. ETH No. 18190 Large-Scale Mining and Retrieval of Visual Data in a Multimodal Context A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical
MehrInteger Convex Minimization in Low Dimensions
DISS. ETH NO. 22288 Integer Convex Minimization in Low Dimensions A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented by TIMM OERTEL Diplom-Mathematiker,
MehrInformationsblatt Induktionsbeweis
Sommer 015 Informationsblatt Induktionsbeweis 31. März 015 Motivation Die vollständige Induktion ist ein wichtiges Beweisverfahren in der Informatik. Sie wird häufig dazu gebraucht, um mathematische Formeln
MehrGroup and Session Management for Collaborative Applications
Diss. ETH No. 12075 Group and Session Management for Collaborative Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree of Doctor of Technical Seiences
MehrZurich Open Repository and Archive. Anatomie von Kommunikationsrollen. Methoden zur Identifizierung von Akteursrollen in gerichteten Netzwerken
University of Zurich Zurich Open Repository and Archive Winterthurerstr. 190 CH-8057 Zurich http://www.zora.uzh.ch Year: 2008 Anatomie von Kommunikationsrollen. Methoden zur Identifizierung von Akteursrollen
Mehrjuergen.vogt@uni-ulm.de
Benutzerregistrierung für SciFinder on WWW Mitglieder, auch Studenten, der Universität Ulm können SciFinder Scholar für nicht-kommerzielle Zwecke nutzen. Allerdings ist der Zugang personalisiert. Damit
MehrMobiDM-App Handbuch für Windows Mobile
MobiDM-App Handbuch für Windows Mobile Dieses Handbuch beschreibt die Installation und Nutzung der MobiDM-App für Windows Mobile Version: x.x MobiDM-App Handbuch für Windows Mobile Seite 1 Inhalt 1. WILLKOMMEN
MehrSchreiben auf Englisch
Schreiben auf Englisch Folien zum Tutorium Internationalisierung Go West: Preparing for First Contacts with the Anglo- American Academic World Alexander Borrmann Historisches Institut Lehrstuhl für Spätmittelalter
MehrKURZANLEITUNG. Firmware-Upgrade: Wie geht das eigentlich?
KURZANLEITUNG Firmware-Upgrade: Wie geht das eigentlich? Die Firmware ist eine Software, die auf der IP-Kamera installiert ist und alle Funktionen des Gerätes steuert. Nach dem Firmware-Update stehen Ihnen
MehrFinite Difference Method (FDM)
Finite Difference Method (FDM) home/lehre/vl-mhs-1-e/folien/vorlesung/2a_fdm/cover_sheet.tex page 1 of 15. p.1/15 Table of contents 1. Problem 2. Governing Equation 3. Finite Difference-Approximation 4.
MehrProfessionelle Seminare im Bereich MS-Office
Der Name BEREICH.VERSCHIEBEN() ist etwas unglücklich gewählt. Man kann mit der Funktion Bereiche zwar verschieben, man kann Bereiche aber auch verkleinern oder vergrößern. Besser wäre es, die Funktion
MehrModel-Based Adaptive Air/Fuel Ratio Control for an Automotive Gasoline Engine
Diss. ETH No. 18302 Model-Based Adaptive Air/Fuel Ratio Control for an Automotive Gasoline Engine A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Daniel Rupp Dipl.
MehrOptimal Energy Management and Component Sizing of a Stand-Alone Building Energy System
Diss. ETH No. 21036 Optimal Energy Management and Component Sizing of a Stand-Alone Building Energy System A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Samuel
MehrKünstliches binäres Neuron
Künstliches binäres Neuron G.Döben-Henisch Fachbereich Informatik und Ingenieurwissenschaften FH Frankfurt am Main University of Applied Sciences D-60318 Frankfurt am Main Germany Email: doeben at fb2.fh-frankfurt.de
MehrCABLE TESTER. Manual DN-14003
CABLE TESTER Manual DN-14003 Note: Please read and learn safety instructions before use or maintain the equipment This cable tester can t test any electrified product. 9V reduplicated battery is used in
MehrBernadette Büsgen HR-Consulting www.buesgen-consult.de
Reiss Profile Es ist besser mit dem Wind zu segeln, als gegen ihn! Möchten Sie anhand Ihres Reiss Rofiles erkennen, woher Ihr Wind weht? Sie haben verschiedene Möglichkeiten, Ihr Leben aktiv zu gestalten.
MehrGern beraten wir auch Sie. Sprechen Sie uns an!
de en Unter dem Motto wire Solutions bietet die KIESELSTEIN International GmbH verschiedenste Produkte, Dienstleistungen und After Sales Service rund um den Draht an. Die Verbindung von Tradition und Innovation
MehrFolgende Voraussetzungen für die Konfiguration müssen erfüllt sein: - Ein Bootimage ab Version 7.4.4. - Optional einen DHCP Server.
1. Dynamic Host Configuration Protocol 1.1 Einleitung Im Folgenden wird die Konfiguration von DHCP beschrieben. Sie setzen den Bintec Router entweder als DHCP Server, DHCP Client oder als DHCP Relay Agent
MehrPreisliste für The Unscrambler X
Preisliste für The Unscrambler X english version Alle Preise verstehen sich netto zuzüglich gesetzlicher Mehrwertsteuer (19%). Irrtümer, Änderungen und Fehler sind vorbehalten. The Unscrambler wird mit
MehrVermeiden Sie es sich bei einer deutlich erfahreneren Person "dranzuhängen", Sie sind persönlich verantwortlich für Ihren Lernerfolg.
1 2 3 4 Vermeiden Sie es sich bei einer deutlich erfahreneren Person "dranzuhängen", Sie sind persönlich verantwortlich für Ihren Lernerfolg. Gerade beim Einstig in der Programmierung muss kontinuierlich
MehrIntroduction FEM, 1D-Example
Introduction FEM, D-Example /home/lehre/vl-mhs-/inhalt/cover_sheet.tex. p./22 Table of contents D Example - Finite Element Method. D Setup Geometry 2. Governing equation 3. General Derivation of Finite
MehrErweiterung der Aufgabe. Die Notenberechnung soll nicht nur für einen Schüler, sondern für bis zu 35 Schüler gehen:
VBA Programmierung mit Excel Schleifen 1/6 Erweiterung der Aufgabe Die Notenberechnung soll nicht nur für einen Schüler, sondern für bis zu 35 Schüler gehen: Es müssen also 11 (B L) x 35 = 385 Zellen berücksichtigt
MehrKapitel MK:IV. IV. Modellieren mit Constraints
Kapitel MK:IV IV. Modellieren mit Constraints Einführung und frühe Systeme Konsistenz I Binarization Generate-and-Test Backtracking-basierte Verfahren Konsistenz II Konsistenzanalyse Weitere Analyseverfahren
MehrAufbau eines IT-Servicekataloges am Fallbeispiel einer Schweizer Bank
SwissICT 2011 am Fallbeispiel einer Schweizer Bank Fritz Kleiner, fritz.kleiner@futureways.ch future ways Agenda Begriffsklärung Funktionen und Aspekte eines IT-Servicekataloges Fallbeispiel eines IT-Servicekataloges
MehrCarMedia. Bedienungsanleitung Instruction manual. AC-Services Albert-Schweitzer-Str.4 68766 Hockenheim www.ac-services.eu info@ac-services.
CarMedia Bedienungsanleitung Instruction manual AC-Services Albert-Schweitzer-Str.4 68766 Hockenheim www.ac-services.eu info@ac-services.eu DE Inhaltsverzeichnis 1. Allgemeine Hinweise... 3 2. CarMedia...
MehrGURUCAD - IT DIVISION CATIA V5 PLM EXPRESS CONFIGURATIONS Hamburg, 16th February 2010, Version 1.0
Engineering & IT Consulting GURUCAD - IT DIVISION CATIA V5 PLM EXPRESS CONFIGURATIONS Hamburg, 16th February 2010, Version 1.0 IT DIVISION CATIA V5 DEPARTMENT Mobile: +49(0)176 68 33 66 48 Tel.: +49(0)40
MehrEntwicklung des Dentalmarktes in 2010 und Papier versus Plastik.
Sehr geehrter Teilnehmer, hier lesen Sie die Ergebnisse aus unserer Umfrage: Entwicklung des Dentalmarktes in 2010 und Papier versus Plastik. Für die zahlreiche Teilnahme an dieser Umfrage bedanken wir
MehrDarstellung und Anwendung der Assessmentergebnisse
Process flow Remarks Role Documents, data, tool input, output Important: Involve as many PZU as possible PZO Start Use appropriate templates for the process documentation Define purpose and scope Define
MehrOPTIMAL CONTROL AND DESIGN OF HYBRID-ELECTRIC VEHICLES
Diss. ETH No. 18543 OPTIMAL CONTROL AND DESIGN OF HYBRID-ELECTRIC VEHICLES A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Olle Sundström MSc in Electrical Engineering,
MehrAufnahmeuntersuchung für Koi
Aufnahmeuntersuchung für Koi Datum des Untersuchs: Date of examination: 1. Angaben zur Praxis / Tierarzt Vet details Name des Tierarztes Name of Vet Name der Praxis Name of practice Adresse Address Beruf
MehrFragebogen: Abschlussbefragung
Fragebogen: Abschlussbefragung Vielen Dank, dass Sie die Ameise - Schulung durchgeführt haben. Abschließend möchten wir Ihnen noch einige Fragen zu Ihrer subjektiven Einschätzung unseres Simulationssystems,
MehrInstitut für Computational Engineering ICE. N ä h e r d ra n a m S ys t e m d e r Te c h n i k d e r Z u ku n f t. w w w. n t b.
Institut für Computational Engineering ICE N ä h e r d ra n a m S ys t e m d e r Te c h n i k d e r Z u ku n f t w w w. n t b. c h Rechnen Sie mit uns Foto: ESA Das Institut für Computational Engineering
MehrSenioren helfen Junioren
Was lernen Sie hier? Sie überprüfen Ihr Wort- und Textverständnis. Was machen Sie? Sie finden Synonyme, beurteilen und formulieren Aussagen. Senioren helfen Junioren Lektion 9 in Themen aktuell 2, nach
Mehrarlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek
arlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek Speaker Andreas Holubek VP Engineering andreas.holubek@arlanis.com arlanis Software AG, D-14467 Potsdam 2009, arlanis
MehrFunktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition)
Funktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition) Philipp Heckele Click here if your download doesn"t start automatically Download and Read Free Online Funktion
MehrWenn Russland kein Gas mehr liefert
Ergänzen Sie die fehlenden Begriffe aus der Liste. abhängig Abhängigkeit bekommen betroffen bezahlen Gasspeicher Gasverbrauch gering hätte helfen importieren liefert 0:02 Pläne politischen Projekte Prozent
MehrDas neue Volume-Flag S (Scannen erforderlich)
NetWorker 7.4.2 - Allgemein Tip 2, Seite 1/5 Das neue Volume-Flag S (Scannen erforderlich) Nach der Wiederherstellung des Bootstraps ist es sehr wahrscheinlich, daß die in ihm enthaltenen Informationen
MehrAbituraufgabe zur Stochastik, Hessen 2009, Grundkurs (TR)
Abituraufgabe zur Stochastik, Hessen 2009, Grundkurs (TR) Eine Firma stellt USB-Sticks her. Sie werden in der Fabrik ungeprüft in Packungen zu je 20 Stück verpackt und an Händler ausgeliefert. 1 Ein Händler
MehrCritical Chain and Scrum
Critical Chain and Scrum classic meets avant-garde (but who is who?) TOC4U 24.03.2012 Darmstadt Photo: Dan Nernay @ YachtPals.com TOC4U 24.03.2012 Darmstadt Wolfram Müller 20 Jahre Erfahrung aus 530 Projekten
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus:
Unterrichtsmaterialien in digitaler und in gedruckter Form Auszug aus: If-clauses - conditional sentences - Nie mehr Probleme mit Satzbau im Englischen! Das komplette Material finden Sie hier: School-Scout.de
MehrBIG ANALYTICS AUF DEM WEG ZU EINER DATENSTRATEGIE. make connections share ideas be inspired. Wolfgang Schwab SAS D
make connections share ideas be inspired BIG ANALYTICS AUF DEM WEG ZU EINER DATENSTRATEGIE Wolfgang Schwab SAS D Copyright 2013, SAS Institute Inc. All rights reserved. BIG DATA: BEDROHUNG ODER CHANCE?
MehrKybernetik Regelung. Mohamed Oubbati Institut für Neuroinformatik. Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 19. 06.
Kybernetik Regelung Mohamed Oubbati Institut für Neuroinformatik Tel.: (+49) 73 / 50 2453 mohamed.oubbati@uni-ulm.de 9. 06. 202 Was ist Regelung? Regelung ist eine gezielte Beeinflussung dynamischer Systeme,
MehrDie Kunst des Programmierens...
Die Kunst des Programmierens... Wo die Kosten anfallen Der Mythos Wiederverwendung: Design für Wartung als eigentliches Ziel, Objekt Spektrum 4/2009 software maintainers sped 45 percent of their time seeking
MehrWie man heute die Liebe fürs Leben findet
Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Click here if your download doesn"t start automatically Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Wie
MehrAUFBAUPROGRAMME YOU ONLY LIVE ONCE, BUT IF YOU DO IT RIGHT, ONCE IS ENOUGH.
AUFBAUPROGRAMME YOU ONLY LIVE ONCE, BUT IF YOU DO IT RIGHT, ONCE IS ENOUGH. Leben ist ständige Weiterentwicklung! Und diese Weiterentwicklung hört nie auf, weil das Leben nie stehen bleibt. Mit der AKADEMIE
MehrEin Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten. Click here if your download doesn"t start automatically
Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Click here if your download doesn"t start automatically Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Ein Stern in dunkler
MehrTangentengleichung. Wie lautet die Geradengleichung für die Tangente, y T =? Antwort:
Tangentengleichung Wie Sie wissen, gibt die erste Ableitung einer Funktion deren Steigung an. Betrachtet man eine fest vorgegebene Stelle, gibt f ( ) also die Steigung der Kurve und somit auch die Steigung
MehrEinführung in die Fuzzy Logic
Einführung in die Fuzzy Logic Entwickelt von L. Zadeh in den 60er Jahren Benutzt unscharfe (fuzzy) Begriffe und linguistische Variablen Im Gegensatz zur Booleschen Logik {0,} wird das ganze Intervall [0,]
MehrSagen und Geschichten aus dem oberen Flöhatal im Erzgebirge: Pfaffroda - Neuhausen - Olbernhau - Seiffen (German Edition)
Sagen und Geschichten aus dem oberen Flöhatal im Erzgebirge: Pfaffroda - Neuhausen - Olbernhau - Seiffen (German Edition) Dr. Frank Löser Click here if your download doesn"t start automatically Sagen und
MehrBATCH-WISE CHEMICAL PLANTS
Diss. ETH 5340 THE COMPUTER-AIDED DESIGN OF MULTI-PRODUCT BATCH-WISE CHEMICAL PLANTS ABHANDLUNG zur Erlangung des Titels eines Doktors der technischen Wissenschaften der EIDGENÖSSISCHEN TECHNISCHEN HOCHSCHULE
MehrInstallation mit Lizenz-Server verbinden
Einsteiger Fortgeschrittene Profis markus.meinl@m-quest.ch Version 1.0 Voraussetzungen für diesen Workshop 1. Die M-Quest Suite 2005-M oder höher ist auf diesem Rechner installiert 2. Der M-Lock 2005 Lizenzserver
MehrAlgorithms & Datastructures Midterm Test 1
Algorithms & Datastructures Midterm Test 1 Wolfgang Pausch Heiko Studt René Thiemann Tomas Vitvar
MehrHandbuch. Artologik EZ-Equip. Plug-in für EZbooking version 3.2. Artisan Global Software
Artologik EZ-Equip Plug-in für EZbooking version 3.2 Artologik EZbooking und EZ-Equip EZbooking, Ihre webbasierte Software zum Reservieren von Räumen und Objekten, kann nun durch die Ergänzung um ein oder
MehrContents. Interaction Flow / Process Flow. Structure Maps. Reference Zone. Wireframes / Mock-Up
Contents 5d 5e 5f 5g Interaction Flow / Process Flow Structure Maps Reference Zone Wireframes / Mock-Up 5d Interaction Flow (Frontend, sichtbar) / Process Flow (Backend, nicht sichtbar) Flow Chart: A Flowchart
MehrStudieninformationsveranstaltung. Informatik. Institut für Informatik IV Universität Bonn. Tel.: 0228/73-4118 e-mail
Studieninformationsveranstaltung Informatik Vortrag am Dies Academicus (1.12.99) Prof. Dr.. Peter Martini Institut für Informatik IV Universität Bonn Tel.: 0228/73-4118 e-mail mail: martini@informatik
MehrUsability ohne Maus und ohne Bildschirm
Usability ohne Maus und ohne Bildschirm Referent: Jan Eric Hellbusch Publikationen Buch "Barrierefreies Webdesign" (1. Auflage 2005, 391 Seiten) bf-w.de/dpunkt/ KnowWare-Heft "Barrierefreies Webdesign"
MehrRadiation Grafted Fuel Cell Membranes with Improved Oxidative Stability
Diss. ETH No. 16995 Radiation Grafted Fuel Cell Membranes with Improved Oxidative Stability A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY For the deg ree of DOCTOR OF SCIENCES presented
MehrInternet Explorer Version 6
Internet Explorer Version 6 Java Runtime Ist Java Runtime nicht installiert, öffnet sich ein PopUp-Fenster, welches auf das benötigte Plugin aufmerksam macht. Nach Klicken auf die OK-Taste im PopUp-Fenster
MehrOptimierung für Nichtmathematiker
Optimierung für Nichtmathematiker Typische Prüfungsfragen Die folgenden Fragen dienen lediglich der Orientierung und müssen nicht den tatsächlichen Prüfungsfragen entsprechen. Auch Erkenntnisse aus den
MehrWerbemittel-Spezifikationen
Werbemittel-Spezifikationen Ein Angebot der Ein Angebot der Inhalt Allgemeines Seite 3 Allgemeine Flash-Spezifikationen Seite 4 Flash FunctionsforTracking Seite 5 Flash Functions for Expandable Banners
MehrRegelungs- und Systemtechnik 1. Kapitel 1: Einführung
Regelungs- und Systemtechnik 1 Kapitel 1: Einführung Prof. Dr.-Ing. Pu Li Fachgebiet Simulation und Optimale Prozesse (SOP) Luft- und Raumfahrtindustrie Zu regelnde Größen: Position Geschwindigkeit Beschleunigung
MehrAll Motorola Europe, Middle East & Africa Approved Channel Partners
To: Re: All Motorola Europe, Middle East & Africa Approved Channel Partners Information über Motorola Cenelec/ATEX Akkus der GP900,GP1200, MTS 2000 EX-Geräte (Martin Rogat, EMEA Product Manager ) Diese
MehrDie Gleichung A x = a hat für A 0 die eindeutig bestimmte Lösung. Für A=0 und a 0 existiert keine Lösung.
Lineare Gleichungen mit einer Unbekannten Die Grundform der linearen Gleichung mit einer Unbekannten x lautet A x = a Dabei sind A, a reelle Zahlen. Die Gleichung lösen heißt, alle reellen Zahlen anzugeben,
MehrResearch Collection. Digital estimation of continuous-time signals using factor graphs. Doctoral Thesis. ETH Library. Author(s): Bolliger, Lukas
Research Collection Doctoral Thesis Digital estimation of continuous-time signals using factor graphs Author(s): Bolliger, Lukas Publication Date: 2012 Permanent Link: https://doi.org/10.3929/ethz-a-007342807
MehrQuality Management as Key Factor for Economic Success in Biotechnology
Quality Management as Key Factor for Economic Success in Biotechnology PHATOCON (Pharm/Tox Concept) Dr. Thomas W. Becker Am Klopferspitz 19 (im IZB) 82152 Planegg/Martinsried (Germany) BioM-Technica Service
MehrStellvertretenden Genehmiger verwalten. Tipps & Tricks
Tipps & Tricks INHALT SEITE 1. Grundlegende Informationen 3 2.1 Aktivieren eines Stellvertretenden Genehmigers 4 2.2 Deaktivieren eines Stellvertretenden Genehmigers 11 2 1. Grundlegende Informationen
MehrMitarbeiter IVR - Wozu
Mitarbeiter IVR - Wozu Da alle Fahrzeuge auch mit GSM-Telefonen ausgestattet sind, ist es naheliegend, dass ein Großteil der Kommunikation zwischen Fahrzeugen (Mitarbeitern) und der Leitstelle über das
MehrKybernetik Intelligent Agents- Action Selection
Kybernetik Intelligent Agents- Action Selection Mohamed Oubbati Institut für Neuroinformatik Tel.: (+49) 731 / 50 24153 mohamed.oubbati@uni-ulm.de 26. 06. 2012 Intelligent Agents Intelligent Agents Environment
MehrGroup signature schemes and payment systems based on the discrete logarithm problem
Research Collection Doctoral Thesis Group signature schemes and payment systems based on the discrete logarithm problem Author(s): Camenisch, Jan Publication Date: 1998 Permanent Link: https://doi.org/10.3929/ethz-a-001923735
MehrVorstellung RWTH Gründerzentrum
Vorstellung RWTH Gründerzentrum Once an idea has been formed, the center for entrepreneurship supports in all areas of the start-up process Overview of team and services Development of a business plan
Mehr5.12. Variable Temperaturgradienten über dem Scheibenzwischenraum
5. Numerische Ergebnisse 92 5.12. Variable Temperaturgradienten über dem Scheibenzwischenraum Strukturbildungsprozesse spielen in der Natur eine außergewöhnliche Rolle. Man denke nur an meteorologische
MehrIntroduction FEM, 1D-Example
Introduction FEM, 1D-Example home/lehre/vl-mhs-1-e/folien/vorlesung/3_fem_intro/cover_sheet.tex page 1 of 25. p.1/25 Table of contents 1D Example - Finite Element Method 1. 1D Setup Geometry 2. Governing
MehrWärmebildkamera. Arbeitszeit: 15 Minuten
Wärmebildkamera Arbeitszeit: 15 Minuten Ob Menschen, Tiere oder Gegenstände: Sie alle senden unsichtbare Wärmestrahlen aus. Mit sogenannten Wärmebildkameras können diese sichtbar gemacht werden. Dadurch
MehrDominik Stockem Datenschutzbeauftragter Microsoft Deutschland GmbH
Dominik Stockem Datenschutzbeauftragter Microsoft Deutschland GmbH Peter Cullen, Microsoft Corporation Sicherheit - Die Sicherheit der Computer und Netzwerke unserer Kunden hat Top-Priorität und wir haben
MehrEin neues Outlook Konto können Sie im Control Panel über den Eintrag Mail erstellen.
Ein neues Outlook Konto können Sie im Control Panel über den Eintrag Mail erstellen. Wählen Sie nun Show Profiles und danach Add. Sie können einen beliebigen Namen für das neue Outlook Profil einsetzen.
MehrGuide DynDNS und Portforwarding
Guide DynDNS und Portforwarding Allgemein Um Geräte im lokalen Netzwerk von überall aus über das Internet erreichen zu können, kommt man um die Themen Dynamik DNS (kurz DynDNS) und Portweiterleitung(auch
MehrUse Cases. Use Cases
Use Cases Eigenschaften: Ein Use Case beschreibt einen Teil des Verhaltens eines Systems aus externer Sicht (Formuliert in der der Fachsprache der Anwendung) Dies geschieht, indem ein Systemdialog beschrieben
MehrUSBASIC SAFETY IN NUMBERS
USBASIC SAFETY IN NUMBERS #1.Current Normalisation Ropes Courses and Ropes Course Elements can conform to one or more of the following European Norms: -EN 362 Carabiner Norm -EN 795B Connector Norm -EN
Mehr