Sciweavers

3670 search results - page 61 / 734
» Linear Recursive Functions
Sort
View
117
Voted
CRYPTO
2010
Springer
195views Cryptology» more  CRYPTO 2010»
15 years 3 months ago
Fully Secure Functional Encryption with General Relations from the Decisional Linear Assumption
This paper presents a fully secure functional encryption scheme for a wide class of relations, that are specified by non-monotone access structures combined with inner-product rel...
Tatsuaki Okamoto, Katsuyuki Takashima
AUTOMATICA
2008
112views more  AUTOMATICA 2008»
15 years 28 days ago
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions
Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admi...
Franco Blanchini, Carlo Savorgnan
81
Voted
ISSAC
2005
Springer
77views Mathematics» more  ISSAC 2005»
15 years 7 months ago
Picard--Vessiot extensions for linear functional systems
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
Manuel Bronstein, Ziming Li, Min Wu
123
Voted
AUTOMATICA
2005
136views more  AUTOMATICA 2005»
15 years 2 months ago
Conjugate Lyapunov functions for saturated linear systems
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
Tingshu Hu, Rafal Goebel, Andrew R. Teel, Zongli L...
ISCAS
2005
IEEE
179views Hardware» more  ISCAS 2005»
15 years 8 months ago
Robust stabilization of control systems using piecewise linear Lyapunov functions and evolutionary algorithm
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
K. Tagawa, Y. Ohta