Skip to main content
SpringerLink
Log in
Book cover

Modelling, Analysis and Design of Hybrid Systems

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Sebastian Engell

    1. Fachbereich Chemietechnik Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Goran Frehse

    1. Fachbereich Chemietechnik Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Eckehard Schnieder

    1. Institut für Regelungstechnik und Automatisierungstechnik, Technische Universität Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the Art in Hybrid Control
  • Edited book comprising the DFG program KONDISK
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Control and Information Sciences (LNCIS, volume 279)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Modeling

    1. What Is a Hybrid System?

      • Jan Lunze
      Pages 3-14

    2. Description of Hybrid Systems by Modified Petri Nets

      • Rainer Drath
      Pages 15-36

    3. Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation

      • Klaus Bender, Manfred Broy, István Péter, Alexander Pretschner, Thomas Stauner
      Pages 37-51

    4. Hybrid Modeling of Complex Process Control Function Blocks

      • Ansgar Münnemann, Udo Enste, Ulrich Epple
      Pages 53-65

    5. Discrete Models for Hybrid Systems

      • Jan Lunze, Jörg Raisch
      Pages 67-80

  3. Simulation

    1. An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics

      • Manuel A. Pereira Remelhe, Sebastian Engell, Martin Otter, André Deparade, Pieter J. Mosterman
      Pages 83-105

    2. A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure Systems

      • Thorsten Pawletta, Bernhard Lampe, Sven Pawletta, Wolfgang Drewelow
      Pages 107-129

    3. Object-Oriented Development of Simulation Models for Complex Hybrid Systems

      • André Nordwig
      Pages 131-149

  4. Analysis and Verification

    1. Introduction to the Analysis and Verification of Hybrid Systems

      • Stefan Kowalewski
      Pages 153-171

    2. Reachability Analysis and Control of a Special Class of Hybrid Systems

      • Gero Nenninger, Goran Frehse, Volker Krebs
      Pages 173-192

    3. Performance Models for a Hybrid Reactor System

      • Katinka Wolter, Andrea Zisowsky, Günter Hommel
      Pages 193-210

    4. Using Parameterized Timestamp Petri Nets in Automatic Control

      • Carlo Simon, Kurt Lautenbach, Hans-Michael Hanisch, Jan Thieme
      Pages 211-223

    5. Compositional Verification of Continuous-Discrete Systems

      • Ralf Huuck, Ben Lukoschus, Goran Frehse, Sebastian Engell
      Pages 225-244

    6. Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems

      • Thomas Moor, Jörg Raisch
      Pages 247-265

    7. Hybrid Reconfigurable Control

      • Jan Lunze, Thomas Steffen
      Pages 267-284

    8. Automatic Design of Controllers for Hybrid Systems Using Genetic Algorithms

      • Stefan Wegele, Eckehard Schnieder, Mourad Chouikha
      Pages 285-294

    9. Synthesis of a Discrete Control for Hybrid Systems by Means of a Petri-Net-State-Model

      • Christian Müller, Philipp Orth, Dirk Abel, Heinrich Rake
      Pages 295-310

    10. Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications

      • Martin Buss, Markus Glocker, Michael Hardt, Oskar von Stryk, Roland Bulirsch, Günther Schmidt
      Pages 311-335

    11. Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics

      • Olaf Stursberg, Sebastian Panek, Jochen Till, Sebastian Engell
      Pages 337-352
Back to top

Keywords

About this book

In 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schw- punktprogramm in German) calledKondisk– Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. Such a priority program is usually sponsored for six years and supports about twenty scientists at a time, in engineering andcomputersciencemostlyyoungresearchersworkingforadoctoraldegree. There is a yearly competition across all disciplines of arts and sciences for the funding of such programs, and the group of proposers was the happy winner of a slot in that year. The program started in 1996 after an open call for proposals; the successful projects were presented and re-evaluated periodically, and new projects could be submitted simultaneously. During the course of the focused research program, 25 different projects were funded in 19 participating university institutes, some of the projects were collaborative efforts of two groups with different backgrounds, mostly one from engineering and one from computer science. There were two main motivations for establishingKondisk. The rst was the fact that technical systems nowadays are composed of physical components with (mostly) continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Contr- lers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems.

Editors and Affiliations

  • Fachbereich Chemietechnik Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund, Dortmund, Germany

    Sebastian Engell, Goran Frehse

  • Institut für Regelungstechnik und Automatisierungstechnik, Technische Universität Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation