Online reconfiguration offers great potential for improv-ing the performance of technical systems at run-time. To enable reconfiguration, which can also be employed in complex hierarchical designs for mechatronic systems, support for the modeling and realization of modular re-configuration is required. In this paper, we present the modular code synthesis for our modeling approach with Hybrid Components and a related Hybrid Statechart extension for the Unified Modelling Language (UML) which offers a representation of reconfigurable systems including conventional, non-reconfigurable block dia-grams. To avoid the logic to be executed down to ev-ery possible ramification, the control behavior is at first partitioned into hierarchically organize...
This paper describes a modeling language that aims to provide a unified framework for representing c...
Since visual modelling languages are getting more and more popular, the automatic generation of the ...
One of the main benefits of the component-based develop-ment paradigm is its support for reuse which...
Advanced mechatronic systems have to integrate existing technologies from mechanical, electrical and...
Abstract: Complex technical systems, such as mechatronic systems, can exploit the computational powe...
The development of complex mechatronic systems requires a careful and ideally verifiable design. In ...
Abstract. Due to the safety-critical character of mechatronic systems the engi-neers have to face th...
Abstract. While traditionally the environment considered by an autonomous mechatronic systems only c...
This article presents the first framework to design and synthesize a formal controller managing dyna...
International audienceThis paper presents a framework to integrate the formal synthesis of a reconfi...
This paper presents a framework to integrate the formal syn-thesis of a reconfiguration controller i...
Abstract: Advanced mechatronic systems of the future are expected to behave more intelligently than ...
To cope with the high complexity of software in ad-vanced technical systems, the software of these s...
Abstract. In this paper, the authors introduce an extension of UML for the pur-pose of hybrid system...
for the generating of control programs is worked out. It allows support for building-up and using ob...
This paper describes a modeling language that aims to provide a unified framework for representing c...
Since visual modelling languages are getting more and more popular, the automatic generation of the ...
One of the main benefits of the component-based develop-ment paradigm is its support for reuse which...
Advanced mechatronic systems have to integrate existing technologies from mechanical, electrical and...
Abstract: Complex technical systems, such as mechatronic systems, can exploit the computational powe...
The development of complex mechatronic systems requires a careful and ideally verifiable design. In ...
Abstract. Due to the safety-critical character of mechatronic systems the engi-neers have to face th...
Abstract. While traditionally the environment considered by an autonomous mechatronic systems only c...
This article presents the first framework to design and synthesize a formal controller managing dyna...
International audienceThis paper presents a framework to integrate the formal synthesis of a reconfi...
This paper presents a framework to integrate the formal syn-thesis of a reconfiguration controller i...
Abstract: Advanced mechatronic systems of the future are expected to behave more intelligently than ...
To cope with the high complexity of software in ad-vanced technical systems, the software of these s...
Abstract. In this paper, the authors introduce an extension of UML for the pur-pose of hybrid system...
for the generating of control programs is worked out. It allows support for building-up and using ob...
This paper describes a modeling language that aims to provide a unified framework for representing c...
Since visual modelling languages are getting more and more popular, the automatic generation of the ...
One of the main benefits of the component-based develop-ment paradigm is its support for reuse which...