HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
This paper presents new results on switching control using neural networks. Given a set of candidate controllers, a pair of neural networks is trained to identify the stability reg...
HYBRID
1998
Springer
13 years 11 months 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...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...