Sciweavers

3370 search results - page 590 / 674
» Correlation Embedding Analysis
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
13 years 10 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
CORR
2008
Springer
117views Education» more  CORR 2008»
13 years 10 months ago
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to re...
David Soloveichik
CORR
2008
Springer
114views Education» more  CORR 2008»
13 years 10 months ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
ESE
2006
256views Database» more  ESE 2006»
13 years 10 months ago
Integrating agile software development into stage-gate managed product development
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
Daniel Karlström, Per Runeson
FTWEB
2006
141views more  FTWEB 2006»
13 years 10 months ago
A Framework for Web Science
This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
Tim Berners-Lee, Wendy Hall, James A. Hendler, Kie...