Sciweavers

2377 search results - page 188 / 476
» Hybrid Systems in TLA
Sort
View
SIGMOD
2011
ACM
248views Database» more  SIGMOD 2011»
14 years 9 months ago
Llama: leveraging columnar storage for scalable join processing in the MapReduce framework
To achieve high reliability and scalability, most large-scale data warehouse systems have adopted the cluster-based architecture. In this paper, we propose the design of a new clu...
Yuting Lin, Divyakant Agrawal, Chun Chen, Beng Chi...
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 11 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
MVA
2007
124views Computer Vision» more  MVA 2007»
15 years 8 months ago
The Agent WiSARD Approach to Intelligent Active Video Surveillance Systems
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
Massimo De Gregorio
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 8 months ago
Observer-based control of discrete-time piecewise affine systems: Exploiting continuity twice
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
Maurice Heemels, Mircea Lazar, Nathan van de Wouw,...
HYBRID
2010
Springer
16 years 1 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft