2364 search results - page 27 / 473 » On O-Minimal Hybrid Systems |
169
click to vote
AIML
2008
15 years 7 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
144
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
148
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
178
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
145
click to vote
HYBRID
2007
Springer
16 years 10 days ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...