Sciweavers

HYBRID
1998
Springer
14 years 1 months ago
Stabilization of Systems with Changing Dynamics
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...
Milos Zefran, Joel W. Burdick
HYBRID
1998
Springer
14 years 1 months ago
Formal Verification of Safety-Critical Hybrid Systems
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....
Carolos Livadas, Nancy A. Lynch
HYBRID
1998
Springer
14 years 1 months ago
High Order Eigentensors as Symbolic Rules in Competitive Learning
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 ...
Hod Lipson, Hava T. Siegelmann
HYBRID
1998
Springer
14 years 1 months ago
A Connectionist Simulation of the Empirical Acquisition of Grammatical Relations
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...
HYBRID
1998
Springer
14 years 1 months ago
Large Patterns Make Great Symbols: An Example of Learning from Example
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...
Pentti Kanerva
HYBRID
1998
Springer
14 years 1 months ago
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance
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...
Enrique D. Ferreira, Bruce H. Krogh
HYBRID
1998
Springer
14 years 1 months ago
Reachability Analysis via Face Lifting
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...
Thao Dang, Oded Maler
HYBRID
1998
Springer
14 years 1 months ago
Equations on Timed Languages
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...
Eugene Asarin
HYBRID
1998
Springer
14 years 1 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis
HYBRID
1998
Springer
14 years 1 months ago
A Novel Modular Neural Architecture for Rule-Based and Similarity-Based Reasoning
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...
Rafal Bogacz, Christophe G. Giraud-Carrier