Models of complex dynamical systems are often built by connecting submodels of smaller parts. The key to this method is the operation of ``interconnection'' or ``composition'' which serves to define the whole in terms of its parts. In the setting of smooth differential equations the composition operation has often been regarded as trivial, but a quite different attitude is found in the discrete domain where several definitions of composition have been proposed and different semantics have been developed. The nontriviality of composition carries over from discrete systems to hybrid systems. The paper discusses the compositionality issue in the context of discrete, continuous, and hybrid systems, mainly on the basis of a number of examples
Contains fulltext : 32347.pdf (publisher's version ) (Open Access)The interaction ...
Abstract. Timed and weak timed simulation relations are often used to show that operations on hybrid...
International audienceModularity and composability are essential properties to facilitate and scale ...
Models of complex dynamical systems are often built by connecting submodels of smaller parts. The ke...
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. ...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
A complementarity framework is described for the modeling of certain classes of mixed continuous/dis...
The complexity of physical and engineering systems, both in terms of the governing physical phenomen...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
Abstract. A compositional interchange format for hybrid systems is defined in terms of an interchang...
Equation-based modelling of hybrid systems has to consider dynamical systems consisting of component...
This contribution provides an introduction to the topic of discrete models for hybrid systems. It mo...
Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be character...
Contains fulltext : 32347.pdf (publisher's version ) (Open Access)The interaction ...
Abstract. Timed and weak timed simulation relations are often used to show that operations on hybrid...
International audienceModularity and composability are essential properties to facilitate and scale ...
Models of complex dynamical systems are often built by connecting submodels of smaller parts. The ke...
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. ...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
A complementarity framework is described for the modeling of certain classes of mixed continuous/dis...
The complexity of physical and engineering systems, both in terms of the governing physical phenomen...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
In this paper we formulate a general framework based on the behavioral approach to dynamical systems...
Abstract. A compositional interchange format for hybrid systems is defined in terms of an interchang...
Equation-based modelling of hybrid systems has to consider dynamical systems consisting of component...
This contribution provides an introduction to the topic of discrete models for hybrid systems. It mo...
Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be character...
Contains fulltext : 32347.pdf (publisher's version ) (Open Access)The interaction ...
Abstract. Timed and weak timed simulation relations are often used to show that operations on hybrid...
International audienceModularity and composability are essential properties to facilitate and scale ...