Sciweavers

654 search results - page 25 / 131
» Hybrid Modelling for Robust Solving
Sort
View
HYBRID
2009
Springer
15 years 10 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
TSP
2008
124views more  TSP 2008»
15 years 3 months ago
Robust Beamforming via Worst-Case SINR Maximization
Minimum variance beamforming, which uses a weight vector that maximizes the signal-to-interference-plus-noise ratio (SINR), is often sensitive to estimation error and uncertainty i...
Seung-Jean Kim, Alessandro Magnani, Almir Mutapcic...
BMCBI
2010
101views more  BMCBI 2010»
15 years 3 months ago
Detection of copy number variation from array intensity and sequencing read depth using a stepwise Bayesian model
Background: Copy number variants (CNVs) have been demonstrated to occur at a high frequency and are now widely believed to make a significant contribution to the phenotypic variat...
Zhengdong D. Zhang, Mark B. Gerstein
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 1 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é
RTCSA
1997
IEEE
15 years 7 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha