15840 search results - page 417 / 3168 » The Control of Synchronous Systems |
132
click to vote
DEXAW
2010
IEEE
15 years 6 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...
162
click to vote
ENTCS
2006
15 years 5 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 ...
157
Voted
CDC
2010
IEEE
15 years 1 days 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...
114
click to vote
CONCUR
2009
Springer
15 years 11 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 ...
107
Voted
ICRA
2000
IEEE
15 years 9 months 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...