4434 search results - page 59 / 887 » On the Composition of Hybrid Systems |
182
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
141
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...
171
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
163
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
147
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...