4693 search results - page 23 / 939 » Verifying Hybrid Systems |
90
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
77
Voted
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
103
Voted
FAC
2006
15 years 14 days ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
130
click to vote
IJACTAICIT
2010
14 years 7 months ago
2010
In this paper, a recurrent neural network based fuzzy inference system (RNFIS) for prediction is proposed. A recurrent network is embedded in the RNFIS by adding feedback connecti...
94
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we investigate the question of the global controllability posed for control hybrid systems with autounomous and controlled swithchings. The main tool for ou...