7529 search results - page 388 / 1506 » The Modula-3 Type System |
158
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract A master-slave type remote ultrasound diagnostic system was developed. This paper presents its controller. The controller has impedance control capability for the master a...
163
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
198
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
192
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
206
click to vote
SSDBM
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...