Hybrid Models of Physical Systems and Discrete Controllers

A unifying modeling method is presented that (1) extends the declarative, equation based, object oriented modeling approach by discontinuous and variable structure components which arise from abstractions in physical system models and (2) combines this with imperative, reactive, discrete event controllers based on the statechart and the sequential function chart formalisms.

[1]  Per Lötstedt.  Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints , 1982 .

[2]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[3]  Martin Otter.  Objektorientierte Modellierung Physikalischer Systeme, Teil 4: Transformationsalgorithmen , 1999 .

[4]  Charles L. Lawson,et al.  Solving least squares problems , 1976, Classics in applied mathematics.

[5]  C. Clauss,et al.  Extended admittance description of nonlinear n-poles , 1995 .

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[8]  Pieter J. Mosterman,et al.  Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica , 1998 .

[9]  Martin Otter,et al.  Hybrid modeling in Modelica based on the synchronous data flow principle , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[10]  Hilding Elmqvist,et al.  DYMOLA - A Structured Model Language for Large Continuous Systems , 1978 .

[11]  Pieter J. Mosterman,et al.  A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models , 1996, AAAI/IAAI, Vol. 2.

[12]  Friedrich Pfeiffer,et al.  Multibody Dynamics with Unilateral Contacts , 1996 .

[13]  M. Andersson.  An object-oriented language for model representation , 1989, IEEE Control Systems Society Workshop on Computer-Aided Control System Design.

[14]  Paul I. Barton,et al.  The modelling and simulation of combined discrete/continuous processes , 1992 .

[15]  Sebastian Engell,et al.  BaSiP — Batch process simulation with dynamically reconfigured process dynamics , 1996 .

[16]  Pieter J. Mosterman,et al.  Object-oriented computational model building of aircraft flight dynamics and systems , 1999 .

[17]  Hilding Elmqvist,et al.  Object-oriented modeling of hybrid systems , 1993 .