613 search results - page 43 / 123 » Observability of Linear Hybrid Systems |
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
ENTCS
2010
14 years 12 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
AAAI
2000
15 years 1 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
We propose a neuro-genetic daily stock prediction model. Traditional indicators of stock prediction are utilized to produce useful input features of neural networks. The genetic al...
116
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...