50 search results - page 1 / 10 » Component-Based Abstraction Refinement for Timed Controller ... |
RTSS
2009
IEEE
13 years 11 months ago
2009
IEEE
CDC
2010
IEEE
12 years 12 months ago
2010
IEEE
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
CBSE
2005
Springer
13 years 10 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
CBSE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
SOCO
2008
Springer
13 years 4 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...