1809 search results - page 223 / 362 » Software Model Checking Using Linear Constraints |
128
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
118
click to vote
AAAI
2008
15 years 7 months ago
2008
We introduce Bayesian Coalitional Games1 (BCGs), a generalization of classical coalitional games to settings with uncertainties. We define the semantics of BCG using the partition...
152
Voted
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
150
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
195
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Growing interest on biological pathways has called for new statistical methods for modeling and testing a genetic pathway effect on a health outcome. The fact that gen...