Sciweavers

213 search results - page 5 / 43
» hybrid 2000
Sort
View
HYBRID
2000
Springer
13 years 11 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»
13 years 12 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
13 years 12 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
WSC
2000
13 years 8 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...