Structuring Discrete Event Models in Modelica (Englisch)
- Neue Suche nach: Remelhe, M. A. P.
- Neue Suche nach: Engell, S.
- Neue Suche nach: University of Dortmund
- Neue Suche nach: Remelhe, M. A. P.
- Neue Suche nach: Engell, S.
- Neue Suche nach: Engell, S.
- Neue Suche nach: Kowalewski, S.
- Neue Suche nach: Zaytoon, J.
- Neue Suche nach: University of Dortmund
In:
International conference on automation of mixed processes: hybrid dynamic systems
;
147-152
;
2000
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Structuring Discrete Event Models in Modelica
-
Beteiligte:Remelhe, M. A. P. ( Autor:in ) / Engell, S. ( Autor:in ) / Engell, S. / Kowalewski, S. / Zaytoon, J. / University of Dortmund
-
Kongress:Conference; 4th, International conference on automation of mixed processes: hybrid dynamic systems ; 2000 ; Dortmund, Germany
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Shaker
-
Erscheinungsdatum:01.01.2000
-
Format / Umfang:6 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
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.
- 3
-
Modeling by Hybrid Petri Nets and Extended Hybrid Petri NetsDavid, R. / University of Dortmund et al. | 2000
- 7
-
Object-Oriented and Hybrid Modeling in ModelicaElmqvist, H. / University of Dortmund et al. | 2000
- 19
-
Hybrid Dynamics in Semiconductor ManufacturingGluer, D. / University of Dortmund et al. | 2000
- 23
-
Tool Supported Validation of Real Time and Hybrid SystemsLarsen, K. / University of Dortmund et al. | 2000
- 29
-
Simulation of Hybrid Systems in Industrial Process ControlCarpanzano, E. / Ferrarini, L. / University of Dortmund et al. | 2000
- 35
-
Implicit Modeling and Simulation of Discontinuities in Physical System ModelsMostermann, P. J. / University of Dortmund et al. | 2000
- 41
-
A Hybrid Modelling Approach for HVAC System integration in Intelligent BuildingsVillani, E. / Miyagi, P. E. / Maruyama, N. / University of Dortmund et al. | 2000
- 47
-
Application of an Hybrid Esterel/Lustre/Simulink System: a Hybrid Energy SystemRoy, V. / Maizi, N. / University of Dortmund et al. | 2000
- 55
-
Discrete event abstraction of quantised systems with asynchronous input and state eventsForstner, D. / Jung, M. / Lunze, J. / University of Dortmund et al. | 2000
- 61
-
State Reconstruction for a Class of Discrete-Continuous Dynamical Systems Based on Discrete MeasurementsSchnabel, M. K. / Krebs, V. / University of Dortmund et al. | 2000
- 67
-
Hierarchical Control of Hybrid SystemsRaisch, J. / Itigin, A. / Moor, T. / University of Dortmund et al. | 2000
- 73
-
Analysis of Switched Continuous Systems based on Discrete ApproximationsStursberg, O. / University of Dortmund et al. | 2000
- 81
-
Threshold Assignment for Mixed Systems under SamplingFranke, D. / University of Dortmund et al. | 2000
- 87
-
Hybrid Regions of Attraction of Piecewise Affine Hybrid SystemsNenninger, G. / Krebs, V. / Frehse, G. / University of Dortmund et al. | 2000
- 93
-
Fractals and Closures in Hybrid SystemsWada, R. / Nishikawa, J. / Gohara, K. / Okudo, T. / University of Dortmund et al. | 2000
- 99
-
Decomposition of Mixed-Integer Optimal Control Problems Using Branch and Bound and Sparse Direct Collocationvon Stryk, O. / Glocker, M. / University of Dortmund et al. | 2000
- 107
-
Petri Nets and Linear Logic as an Aid for Scheduling Batch ProcessesChampagnat, R. / Pradin-Chezalviel, B. / Valette, R. / University of Dortmund et al. | 2000
- 113
-
Integrated Decision Support For Flexible Multipurpose PlantsRickard, J. G. / Macchietto, S. / Shah, N. / University of Dortmund et al. | 2000
- 119
-
Exception Handling in Recipe-Based Batch ControlOlsson, R. / Arzen, K.-E. / University of Dortmund et al. | 2000
- 125
-
Synthesis and Dispatching of Production Schemes for Chemical Batch PlantsNiebert, P. / Yovine, S. / University of Dortmund et al. | 2000
- 133
-
A Comparison of Mixed Specification FormalismsGueguen, H. / Lefebvre, M.-A. / University of Dortmund et al. | 2000
- 139
-
Multi-Domain Modeling, Simulation, and Controlvan Beek, D. A. / Rooda, J. E. / University of Dortmund et al. | 2000
- 147
-
Structuring Discrete Event Models in ModelicaRemelhe, M. A. P. / Engell, S. / University of Dortmund et al. | 2000
- 153
-
Conditioning in Hybrid System FormalismNikoukhah, R. / Steer, S. / University of Dortmund et al. | 2000
- 157
-
Modular and Non-Causal Representation of Complex Hybrid Systems for SimulationThevenon, L. / Flaus, J.-M. / University of Dortmund et al. | 2000
- 165
-
What's the Formal Method for PLC Applications?Mader, A. / Wupper, H. / University of Dortmund et al. | 2000
- 171
-
Hybrid Simulation of IEC 61131 PLC Programs Using Signal and SimulinkJimenez-Faustro, F. / Rutten, E. / University of Dortmund et al. | 2000
- 177
-
Formal Modeling of Timed Function Blocks for the Automatic Verification of Ladder Diagram ProgramsRossi, O. / Schnoebelen, P. / University of Dortmund et al. | 2000
- 183
-
Utilizing Static Analysis for Programmable Logic ControllersBornot, S. / Huuck, R. / Lukoschus, B. / Lakhnech, Y. / University of Dortmund et al. | 2000
- 189
-
PLC Programming for Hybrid Systems via Signal Interpreted Petri NetsFrey, G. / Litz, L. / University of Dortmund et al. | 2000
- 197
-
On Dynamics, Complementarity and Passivity: Electrical Networks with Ideal DiodesHeemels, W. P. M. H. / Camlibel, M. K. / Schumacher, J. M. / University of Dortmund et al. | 2000
- 203
-
Mixed Logical Dynamical Model of a Hydroelectric Power PlantFerrari-Trecate, G. / Mignone, D. / Castagnoli, D. / Morari, M. / University of Dortmund et al. | 2000
- 209
-
Chaotic Behaviour in Hybrid SystemsCannas, B. / Fanni, A. / Giua, A. / Seatzu, C. / University of Dortmund et al. | 2000
- 217
-
Hybrid State modeling and Analysis of Electronic CircuitsDogruel / Ozguner / University of Dortmund et al. | 2000
- 225
-
A Tool for Hazard Detection in Hybrid SystemsHerrmann, P. / Grannas, P. / University of Dortmund et al. | 2000
- 231
-
Hybrid Dynamic Systems Verification with Mixed Petri NetsValentin-Roubinet, C. / University of Dortmund et al. | 2000
- 237
-
Modeling and Verification of Sampled-Data Hybrid SystemsSilva, B. I. / Krogh, B. / University of Dortmund et al. | 2000
- 243
-
Towards a HOL Framework for the Deductive Analysis of Hybrid Control SystemsVolker, N. / University of Dortmund et al. | 2000
- 251
-
Modeling Systems with Variable Algebraic Constraints for Explicit Integration MethodsMosterman, P. J. / Neumann, P. / Preusche, C. / University of Dortmund et al. | 2000
- 257
-
Ideal versus Non-Ideal Approaches in Bond Graph Modeling of Switched Devices: a Comparison Based on Singular Perturbation TheoryBuisson, J. / Richard, P.-Y. / Cormerais, H. / University of Dortmund et al. | 2000
- 265
-
Simulation of Linear Networks with Ideal Diodes: Consistency of a Time-Stepping MethodCamlibel, M. K. / Heemels, W. P. M. H. / Schumacher, J. M. / University of Dortmund et al. | 2000
- 273
-
Modeling and Control of Inventory Management Policies Using First-Order Hybrid Petri NetsGiua, A. / Furcas, R. / Piccaluga, A. / Seatzu, C. / University of Dortmund et al. | 2000
- 279
-
PN Fludification revisited: Semantics and Steady StateRecalde, L. / Silva, M. / University of Dortmund et al. | 2000
- 287
-
Modeling Hybrid Systems with Fluid Stochastic Petri NetsWolter, K. / University of Dortmund et al. | 2000
- 295
-
Optimization of the Functioning of a Hybrid Dynamic System by a Fixed Point Method Application to a Thermal DeviceCebron, B. / Sechilariu, M. / Burger, J. / El Bagdouri, M. / University of Dortmund et al. | 2000
- 301
-
A Declarative Framework for the Characterization of Cyclic Behaviour for Electronic ConvertersCarre-Menetrier, V. / Nour-el-Alaoui, O. / Gellot, F. / Zaytoon, J. / University of Dortmund et al. | 2000
- 307
-
Using Wavelets for the Identification of Hybrid SystemsSimon, S. / Engell, S. / University of Dortmund et al. | 2000
- 313
-
State Estimation for a Class of Hybrid SystemsBara, G. I. / Daafouz, J. / Kratz, F. / Iung, C. / University of Dortmund et al. | 2000
- 317
-
Gradient Model to Three-Position Triggering and a Complete Solution to the Three Tanks ProblemRudenko, A. / University of Dortmund et al. | 2000
- 323
-
Modeling and Verifying Hybrid Dynamic Systems Using CheckMateSilva, B. I. / Richeson, K. / Krogh, B. / Chutinan, A. / University of Dortmund et al. | 2000
- 331
-
A Petri Net-State-Model for the Analysis and the Control Synthesis of Hybrid Technical SystemsMuller, C. / Rake, H. / University of Dortmund et al. | 2000
- 337
-
A Formal Definition and Discrete-Event Simulation of Hybrid High-Level Petri NetsDecknatel, G. / Schnieder, E. / University of Dortmund et al. | 2000
- 343
-
Modeling of Delays on Contiuous Flows Thanks to Extended Hybrid Petri NetsDavid, R. / Caramihai, S. I. / University of Dortmund et al. | 2000
- 351
-
Calculation of Input-Output Relation for Hybrid Petri Nets Using Discrete Approximations and (min,+) AlgebraKomenda, J. / University of Dortmund et al. | 2000
- 357
-
Steady State of Flow SystemsMostefaoui, M. / Demongodin, I. / Sauer, N. / University of Dortmund et al. | 2000
- 363
-
A Modular Modeling Approach for Hybrid Systems Based on C/E-Systems and Extended Timestamp NetsHanisch, H.-M. / Thieme, J. / Lautenbach, K. / Simon, C. / University of Dortmund et al. | 2000
- 369
-
A Modular and Hierarchical Approach for Supervisory Control of Batch ProcessesPascal, J.-C. / University of Dortmund et al. | 2000
- 375
-
Automatic Synthesis of Schedules in a Timed Discrete Event PlantBoel, R. K. / University of Dortmund et al. | 2000
- 383
-
Case Study: A Demonstration Plant for the Control and Scheduling of Multi-Product Batch ProcessesBauer, N. / Kowalewski, S. / Sand, G. / Lohl, T. / University of Dortmund et al. | 2000