Sciweavers

213 search results - page 5 / 43
» hybrid 2000
Sort
View
HYBRID
2000
Springer
15 years 3 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
RSP
2000
IEEE
130views Control Systems» more  RSP 2000»
15 years 4 months ago
A Comprehensive Prototyping-Platform for Hardware-Software Codesign
We present a flexible, yet cost-effective prototyping platform for hybrid hardware/software systems. Our approach is based on combining off-the-shelf hardware components with cus...
Andreas Koch
IJCNN
2000
IEEE
15 years 4 months ago
Hybrid HMM-NN Architectures for Connected Digit Recognition
This paper deals with the more recent results obtained by the application of the CSLU Toolkit frame-based hybrid HMM/ANN architecture on the connected digit recognition task for t...
Piero Cosi
84
Voted
WSC
2000
15 years 1 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...