2364 search results - page 274 / 473 » On O-Minimal Hybrid Systems |
185
click to vote
Publication
The power of Matlab can now be used from within Labview. A labview application can now use a Matlab script directly in the Labview code and exchange data between Labview and matlab...
149
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a "supervisor", which orchestr...
213
click to vote
ISCI
2002
15 years 6 months ago
2002
In a transaction-time temporal object database management system (TODBMS), updating an object creates a new version of the object, but the old version is still accessible. A TODBM...
261
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
198
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
The two dominant costs in continuous spatial query systems are the wireless communication cost for location update, and the evaluation cost for query processing. Existing works add...