4693 search results - page 103 / 939 » Verifying Hybrid Systems |
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
132
click to vote
SIGMETRICS
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
115
Voted
ICAPR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we propose a Neural Net-PMRS hybrid for forecasting time-series data. The neural network model uses the traditional MLP architecture and backpropagation method of tr...
93
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
104
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...