4434 search results - page 110 / 887 » On the Composition of Hybrid Systems |
182
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
152
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
184
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
165
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
165
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...