182.732 Hybrid Systems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2016S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

The technological developments of the past two decades have nurtured a fascinating convergence of computer science and electrical, mechanical and biological engineering. Nowadays, computer scientists work hand in hand with engineers to model, analyze and control complex systems, that exhibit discrete as well as continuous behavior. Examples of such systems include automated highway systems, air traffic management, automotive controllers, robotics and real-time circuits. They also include biological systems, such as immune response, bio-molecular networks, gene- regulatory networks, protein-signaling pathways and metabolic processes.

The more pervasive and more complex these systems become, the more is the infrastructure of our modern society relying on their dependability. Traditionally however, the modeling, analysis and control theory of discrete systems is quite different from the one of continuous systems. The first is based on automata theory, a branch of discrete mathematics, where time is typically abstracted away. The second is based on linear systems theory, of differential (or difference) equations, a branch of continuous mathematics where time is of essence. This course is focused on the principles underlying their combination. By the end of this course the students will be provided with detailed knowledge and substantial experience in the mathematical modeling, analysis and control of hybrid systems.

Inhalt der Lehrveranstaltung

Hybrid automata as discrete-continuous models of hybrid systems. Executions and traces of hybrid automata. Infinite transition systems as a time-abstract semantics of hybrid automata.  Finite abstractions of infinite transition systems. Language inclusion and language equivalence. Simulation and bisimulation. Quotient structures. Approximate notions of inclusion and simulation. State logics, and model checking. Partition-refinement and model checking within mu-calculus. Classes of hybrid automata for which the model-checking problem is decidable. Modern overapproximation techniques for reachability analysis. Simulation-based verification techniques. Controller synthesis problem for exact and approximate quotient structures. Stability, Lyapunov functions and differential invariants. Modern analysis and controller synthesis tools.

 

Weitere Informationen

Literatur

Recommended:

  • Lygeros, Tomlin, Sastry. Hybrid Systems: Modeling analysis and control
  • Tabuada. Verification and control of hybrid systems: A symbolic approach
  • Lee and Varaiya. Structure and interpretation of signals and systems
  • Alur. Principles of Embedded Computation
  • Lee and Seshia. Introduction to Embedded Systems: A CPS Approach
  • Clarke, Grumberg and Peled. Model checking
  • Hefferon, Linear Algebra
  • Linear Algebra Video Lecture by Gilbert Strang

Verification Tools for Hybrid Systems:

ECTS-Breakdown: 3 ECTS = 75 Hours 

  • 1 h - Introduction to the course 
  • 74 h - Lessons on Hybrid Systems, Reachability Analysis, Quotient structures, simulation and bisimulation, model checking and partition refinement.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:00 - 12:0001.03.2016 - 28.06.2016 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.10:00 - 12:0003.03.2016Seminarraum Techn. Informatik Hybrid Systems
Do.10:00 - 12:0010.03.2016 - 16.06.2016 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Hybrid Systems - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.03.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.03.03.201610:00 - 12:00Seminarraum Techn. Informatik Hybrid Systems
Do.10.03.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.15.03.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.17.03.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.05.04.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.07.04.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.19.04.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.28.04.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.03.05.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.10.05.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.12.05.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.19.05.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.24.05.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.02.06.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.07.06.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.09.06.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Do.16.06.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems
Di.28.06.201610:00 - 12:00 Library of Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien (3rd floor)Hybrid Systems

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Familiarity with elementary discrete and continuous mathematics, signals and systems and the control theory. Fluency in devising and writing simple mathematical proofs.

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

bei Bedarf in Englisch