4693 search results - page 112 / 939 » Verifying Hybrid Systems |
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
81
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
100
Voted
IEAAIE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The study of a system for Vietnamese continuous digit recognition is described. The CSLU Toolkit was used to develop and implement hybrid HMM/ANN recognition systems. Exp...
130
click to vote
ENTCS
2007
15 years 20 days ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
113
click to vote
REX
1991
15 years 4 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...