Sciweavers

14403 search results - page 231 / 2881
» Dynamical Systems Trees
Sort
View
IWMM
2009
Springer
114views Hardware» more  IWMM 2009»
16 years 1 months ago
Scalable support for multithreaded applications on dynamic binary instrumentation systems
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
Kim M. Hazelwood, Greg Lueck, Robert Cohn
HYBRID
2007
Springer
16 years 18 days ago
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
Domitilla Del Vecchio
DAGSTUHL
2006
15 years 7 months ago
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
Margarita V. Korovina, Nicolai Vorobjov
CAD
2000
Springer
15 years 6 months ago
Automatic generation of system-level dynamic equations for mechatronic systems
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
Antonio Diaz-Calderon, Christiaan J. J. Paredis, P...
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 3 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya