15840 search results - page 417 / 3168 » The Control of Synchronous Systems |
184
click to vote
DEXAW
2010
IEEE
15 years 8 months ago
2010
IEEE
This work is focused on the context of speech interfaces for controlling household electronic devices. In particular, we present an example of a spoken dialogue system for controll...
222
click to vote
ENTCS
2006
15 years 7 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
205
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
170
click to vote
CONCUR
2009
Springer
16 years 2 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
153
click to vote
ICRA
2000
IEEE
16 years 1 days ago
2000
IEEE
In this paper the control problem of a hydraulic servosystem is addressed. The performance achievable by classical linear controllers, e.g. PD, are usually limited due to highly n...