6514 search results - page 935 / 1303 » Low-Knowledge Algorithm Control |
155
Voted
HYBRID
2003
Springer
15 years 9 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...
131
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
107
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
150
Voted
IMR
2003
Springer
15 years 9 months ago
2003
Springer
Generation of surface meshes remains an active research problem despite the many publications addressing this topic. The main issues which must be treated by a good remeshing algo...