Sciweavers

5325 search results - page 162 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 6 months ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
15 years 8 months ago
Robust design of a spacecraft attitude tracking control system with actuator uncertainties
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiot...
SIGMOD
2005
ACM
178views Database» more  SIGMOD 2005»
16 years 6 months ago
Towards Effective Indexing for Very Large Video Sequence Database
With rapid advances in video processing technologies and ever fast increments in network bandwidth, the popularity of video content publishing and sharing has made similarity sear...
Heng Tao Shen, Beng Chin Ooi, Xiaofang Zhou
SNPD
2008
15 years 8 months ago
Effect of Security Increment to Symmetric Data Encryption through AES Methodology
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
Md. Nazrul Islam, Md. Monir Hossain Mia, Muhammad ...