88 search results - page 2 / 18 » Structural Analysis of Boolean Equation Systems |
ICIS
2004
13 years 7 months ago
2004
Enterprise systems entail complex organizational interventions. Accurately gauging the impact of any complex information system requires understanding its multidimensionality, and...
CSCLP
2008
Springer
13 years 7 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
IFIPTCS
2000
13 years 9 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
SIAMCO
2010
13 years 16 days ago
2010
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
DAC
2009
ACM
13 years 9 months ago
2009
ACM
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...