219 search results - page 19 / 44 » Computational Approaches to Reachability Analysis of Stochas... |
APN
1993
Springer
13 years 11 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
AUTOMATICA
2002
13 years 7 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
WSC
2001
13 years 9 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...