269 search results - page 23 / 54 » Applications of MetiTarski in the Verification of Control an... |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Though fingerprint identification is widely used now, its imperfect performance for some high security applications, such as ATM, the access control of nuclear power stations and ...
FROCOS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
SCL
2008
13 years 7 months ago
2008
The reduction of dynamic systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically p...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...