Sciweavers

213 search results - page 5 / 43
» hybrid 2000
Sort
View
HYBRID
2000
Springer
15 years 1 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 1 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 2 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
14 years 11 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...