Learn More
The automated modeling of multi-physical dynamical systems is usually realized by coupling different subsystems together via certain interface or coupling conditions. This approach results in large-scale high-index differential-algebraic equations (DAEs). Since the direct numerical simulation of these kind of systems leads to instabilities and possibly(More)
Modelica traditionally has a non-compositional semantic definition, based on so-called " flattening ". But in the realm of programming languages and theoretical computer science it is by now an accepted principle that semantics should be given in a compositional way. Such a semantics is given in this paper for Modelica-style languages. Moreover , the(More)
We analyze the structure of the linear differential and difference operators associated with the necessary optimality conditions of optimal control problems for descriptor systems in continuous-and discrete-time. It has been shown in [27] that in continuous-time the associated optimality system is a self-conjugate operator associated with a self-adjoint(More)
  • 1