14190 search results - page 373 / 2838 » Abstractions for hybrid systems |
179
Voted
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
This work addresses a problem of optimal query processing in heterogeneous and distributed multidatabase systems. The objective is to nd a method for opimization of global query p...
189
Voted
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
175
Voted
DT
2000
15 years 6 months ago
2000
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
157
click to vote
ISSAC
2005
Springer
16 years 11 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...
171
click to vote
COCOS
2003
Springer
16 years 3 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...