666 search results - page 96 / 134 » Component-Based Design and Analysis: A Case Study |
115
click to vote
ICRA
1994
IEEE
15 years 3 months ago
1994
IEEE
While most previous work in planning manipulation tasks relies on the assumption of quasi-static conditions, there can be situations where the quasi-static assumption may not hold...
106
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...
128
click to vote
PDP
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—The peer-to-peer networking concept has revolutionized the cost structure of Internet data dissemination by making large scale content delivery with low server cost feas...
AUTOMATICA
2008
14 years 12 months ago
2008
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 ...