We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
William C. Morris, Garrison W. Cottrell, Jeffrey L...
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...
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...
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...
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...
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...