613 search results - page 65 / 123 » Observability of Linear Hybrid Systems |
ATVA
2010
Springer
15 years 29 days 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...
GECCO
2005
Springer
15 years 5 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...
CORR
2008
Springer
14 years 12 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...
102
click to vote
ICB
2009
Springer
14 years 9 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...
HAIS
2008
Springer
15 years 28 days 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...