186 search results - page 13 / 38 » Compositional modeling and refinement for hierarchical hybri... |
100
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
WSC
1998
15 years 1 months ago
1998
The increasing use of discrete simulation in modelling large and complex systems brings new challenges. One such challenge is the need to devise ways of developing modular approac...
89
Voted
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
ATVA
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
100
Voted
UML
2001
Springer
15 years 4 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...