4434 search results - page 63 / 887 » On the Composition of Hybrid Systems |
181
click to vote
EPEW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
152
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Path-dependent impulse differential inclusions, and in particular, path-dependent hybrid control systems, are defined by a path-dependent differential inclusion (or path-depend...
163
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
168
click to vote
VVEIS
2007
15 years 7 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
130
click to vote
DEDS
2008
15 years 6 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...