Sciweavers

844 search results - page 143 / 169
» Reachability in Linear Dynamical Systems
Sort
View
JSCIC
2008
107views more  JSCIC 2008»
15 years 28 days ago
A Hierarchy of Approximations of the Master Equation Scaled by a Size Parameter
Solutions of the master equation are approximated using a hierarchy of models based on the solution of ordinary differential equations: the macroscopic equations, the linear noise...
Lars Ferm, Per Lötstedt, Andreas Hellander
MP
2006
110views more  MP 2006»
15 years 28 days ago
Extending Scope of Robust Optimization: Comprehensive Robust Counterparts of Uncertain Problems
In this paper, we propose a new methodology for handling optimization problems with uncertain data. With the usual Robust Optimization paradigm, one looks for the decisions ensurin...
Aharon Ben-Tal, Stephen Boyd, Arkadi Nemirovski
TON
2008
69views more  TON 2008»
15 years 26 days ago
Order optimal delay for opportunistic scheduling in multi-user wireless uplinks and downlinks
Abstract-- We consider a one-hop wireless network with independent time varying channels and N users, such as a multiuser uplink or downlink. We first show that general classes of ...
Michael J. Neely
PODC
2003
ACM
15 years 6 months ago
Asynchronous resource discovery
Consider a dynamic, large-scale communication infrastructure (e.g., the Internet) where nodes (e.g., in a peer to peer system) can communicate only with nodes whose id (e.g., IP a...
Ittai Abraham, Danny Dolev
EMSOFT
2008
Springer
15 years 2 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...