Sciweavers

539 search results - page 38 / 108
» Observability of Switched Linear Systems
Sort
View
LFCS
2007
Springer
14 years 4 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ICNSC
2008
IEEE
14 years 4 months ago
Robust Variance Constrained Filter Design for Systems with Non-Gaussian Noises
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
Fuwen Yang, Yongmin Li, Xiaohui Liu
IEEEIAS
2009
IEEE
13 years 7 months ago
Detection of Abnormal Sound Using Multi-stage GMM for Surveillance Microphone
We developed a system that detects abnormal sound from sound signal observed by a surveillance microphone. Our system learns the "normal sound" from observation of the m...
Akinori Ito, Akihito Aiba, Masashi Ito, Shozo Maki...
ICC
2008
IEEE
14 years 4 months ago
Queuing Analysis on MIMO Systems with Adaptive Modulation and Coding
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...
Sheng Zhou, Kai Zhang, Zhisheng Niu, Yang Yang
IJSYSC
2010
92views more  IJSYSC 2010»
13 years 8 months ago
Constrained optimal control: an application to semiactive suspension systems
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
Tina Paschedag, Alessandro Giua, Carla Seatzu