613 search results - page 65 / 123 » Observability of Linear Hybrid Systems |
127
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
133
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper reports on the application of classifier systems to the acquisition of decision-making algorithms for agents in online soccer games. The objective of this research is t...
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
153
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
Many large-scale biometric systems operate in the identification mode and include multimodal information. While biometric fusion is a well-studied problem, most of the fusion schem...
123
click to vote
HAIS
2008
Springer
15 years 5 months ago
2008
Springer
Energy saving systems are needed to reduce the energy taxes, so the electric energy remains balanced. In Spain, a local company that produces electric heaters needs an energy savin...