4434 search results - page 412 / 887 » On the Composition of Hybrid Systems |
159
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
190
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
165
click to vote
HCI
2009
15 years 4 months ago
2009
ImproV is a video compositing system for live video. It uses a dataflow diagram to represent the video processing flow and allows performers to edit the diagrams even while the vid...
157
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
170
click to vote
COCOS
2003
Springer
16 years 2 days ago
2003
Springer
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...