Sciweavers

352 search results - page 28 / 71
» Stability margins for generalized state space systems
Sort
View
ATAL
2006
Springer
14 years 22 days ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
ASIACRYPT
2009
Springer
14 years 3 months ago
Cascade Encryption Revisited
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
Peter Gazi, Ueli M. Maurer
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
13 years 8 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
MCS
2004
Springer
14 years 2 months ago
Multiple Classifiers System for Reducing Influences of Atypical Observations
Atypical observations, which are called outliers, are one of difficulties to apply standard Gaussian density based pattern classification methods. Large number of outliers makes di...
Sarunas Raudys, Masakazu Iwamura
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
13 years 9 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...