Sciweavers

893 search results - page 28 / 179
» Environment Assumptions for Synthesis
Sort
View
ICARCV
2008
IEEE
146views Robotics» more  ICARCV 2008»
14 years 2 months ago
Stabilization of networked multi-input systems with channel resource allocation
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
Guoxiang Gu, Li Qiu
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
13 years 7 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
SP
2000
IEEE
13 years 11 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
ICASSP
2010
IEEE
13 years 7 months ago
An analytical approach to 2.5D sound field reproduction employing linear distributions of non-omnidirectional loudspeakers
We present an analytical approach targeting the physical reproduction of sound fields by means of linear distributions loudspeakers. Unlike with conventional analytical approache...
Jens Ahrens, Sascha Spors
CDC
2010
IEEE
216views Control Systems» more  CDC 2010»
13 years 2 months ago
On infinity norms as Lyapunov functions: Alternative necessary and sufficient conditions
This paper considers the synthesis of infinity norm Lyapunov functions for discrete-time linear systems. A proper conic partition of the state-space is employed to construct a fini...
Mircea Lazar