359 search results - page 22 / 72 » Reachability for Continuous and Hybrid Systems |
NIPS
1997
13 years 9 months ago
1997
In thispaper, we present a novelhybridarchitecture forcontinuousspeech recognition systems. It consists of a continuous HMM system extended by an arbitrary neural network that is ...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...