Sciweavers

519 search results - page 47 / 104
» Symmetries and Dynamics of Discrete Systems
Sort
View
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 10 months ago
Multiprocessor Global Scheduling on Frame-Based DVFS Systems
In this work, we are interested in multiprocessor energy efficient systems where task durations are not known in advance but are known stochastically. More precisely we consider g...
Vandy Berten, Joël Goossens
ICCS
2005
Springer
14 years 3 months ago
Bifurcation Analysis of Large Equilibrium Systems in Matlab
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...
David Bindel, James Demmel, Mark J. Friedman, Will...
ARTS
1999
Springer
14 years 2 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
14 years 2 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
ENTCS
2010
133views more  ENTCS 2010»
13 years 10 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness