527 search results - page 29 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
AMC
2006
13 years 8 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes the utilization of hybrid models of supervised neural networks for the modelling of dynamic systems. Particularly, as an example of a system, a autonomous helic...
HYBRID
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
ARTCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...