Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems (Englisch)
- Neue Suche nach: Decknatel, Gebhard
- Neue Suche nach: Slovák, Roman
- Neue Suche nach: Schnieder, Eckehard
- Neue Suche nach: Engell, Sebastian
- Neue Suche nach: Frehse, Goran
- Neue Suche nach: Schnieder, Eckehard
- Neue Suche nach: Decknatel, Gebhard
- Neue Suche nach: Slovák, Roman
- Neue Suche nach: Schnieder, Eckehard
In:
Modelling, Analysis, and Design of Hybrid Systems
;
Kapitel: 20
;
355-367
;
2002
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems
-
Beteiligte:Engell, Sebastian ( Herausgeber:in ) / Frehse, Goran ( Herausgeber:in ) / Schnieder, Eckehard ( Herausgeber:in ) / Decknatel, Gebhard ( Autor:in ) / Slovák, Roman ( Autor:in ) / Schnieder, Eckehard ( Autor:in )
-
Erschienen in:Modelling, Analysis, and Design of Hybrid Systems ; Kapitel: 20 ; 355-367Lecture Notes in Control and Information Sciences ; 279 ; 355-367
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:24.07.2002
-
Format / Umfang:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
What Is a Hybrid System?Lunze, Jan et al. | 2002
- 2
-
Description of Hybrid Systems by Modified Petri NetsDrath, Rainer et al. | 2002
- 3
-
Model Based Development of Hybrid Systems: Specification, Simulation, Test Case GenerationBender, Klaus / Broy, Manfred / Péter, István / Pretschner, Alexander / Stauner, Thomas et al. | 2002
- 4
-
Hybrid Modeling of Complex Process Control Function BlocksMünnemann, Ansgar / Enste, Udo / Epple, Ulrich et al. | 2002
- 5
-
Discrete Models for Hybrid SystemsLunze, Jan / Raisch, Jörg et al. | 2002
- 6
-
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete DynamicsPereira Remelhe, Manuel A. / Engell, Sebastian / Otter, Martin / Deparade, André / Mosterman, Pieter J. et al. | 2002
- 7
-
A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure SystemsPawletta, Thorsten / Lampe, Bernhard / Pawletta, Sven / Drewelow, Wolfgang et al. | 2002
- 8
-
Object-Oriented Development of Simulation Models for Complex Hybrid SystemsNordwig, André et al. | 2002
- 9
-
Introduction to the Analysis and Verification of Hybrid SystemsKowalewski, Stefan et al. | 2002
- 10
-
Reachability Analysis and Control of a Special Class of Hybrid SystemsNenninger, Gero / Frehse, Goran / Krebs, Volker et al. | 2002
- 11
-
Performance Models for a Hybrid Reactor SystemWolter, Katinka / Zisowsky, Andrea / Hommel, Günter et al. | 2002
- 12
-
Using Parameterized Timestamp Petri Nets in Automatic ControlSimon, Carlo / Lautenbach, Kurt / Hanisch, Hans-Michael / Thieme, Jan et al. | 2002
- 13
-
Compositional Verification of Continuous-Discrete SystemsHuuck, Ralf / Lukoschus, Ben / Frehse, Goran / Engell, Sebastian et al. | 2002
- 14
-
Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous SystemsMoor, Thomas / Raisch, Jörg et al. | 2002
- 15
-
Hybrid Reconfigurable ControlLunze, Jan / Steffen, Thomas et al. | 2002
- 16
-
Automatic Design of Controllers for Hybrid Systems Using Genetic AlgorithmsWegele, Stefan / Schnieder, Eckehard / Chouikha, Mourad et al. | 2002
- 17
-
Synthesis of a Discrete Control for Hybrid Systems by Means of a Petri-Net-State-ModelMüller, Christian / Orth, Philipp / Abel, Dirk / Rake, Heinrich et al. | 2002
- 18
-
Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and ApplicationsBuss, Martin / Glocker, Markus / Hardt, Michael / von Stryk, Oskar / Bulirsch, Roland / Schmidt, Günther et al. | 2002
- 19
-
Generation of Optimal Control Policies for Systems with Switched Hybrid DynamicsStursberg, Olaf / Panek, Sebastian / Till, Jochen / Engell, Sebastian et al. | 2002
- 20
-
Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection SystemsDecknatel, Gebhard / Slovák, Roman / Schnieder, Eckehard et al. | 2002
- 21
-
Simulation for Analysis of Aircraft Elevator Feedback and Redundancy ControlMosterman, Pieter J. / Pereira Remelhe, Manuel A. / Engell, Sebastian / Otter, Martin et al. | 2002
- 22
-
Development of Hybrid Component Models for Online Monitoring of Complex Dynamic SystemsManz, Susanne / Göhner, Peter et al. | 2002
- 23
-
Modelling and Simulation of Controlled Road TrafficCzogalla, Olaf / Hoyer, Robert / Jumar, Ulrich et al. | 2002
- 24
-
Hybrid Control of Multi-fingered Dextrous Robotic HandsSchlegl, Thomas / Buss, Martin / Schmidt, Günther et al. | 2002