4434 search results - page 23 / 887 » On the Composition of Hybrid Systems |
127
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
187
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
167
click to vote
SCL
2010
15 years 4 months ago
2010
In this paper we introduce the novel concept of a hybrid generating series and show that continuous state and output trajectories of bilinear hybrid systems can be described in te...
188
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
146
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...