Sciweavers

3995 search results - page 3 / 799
» Linearization of hybrid processes
Sort
View
JAIR
2006
122views more  JAIR 2006»
13 years 5 months ago
Solving Factored MDPs with Hybrid State and Action Variables
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
Branislav Kveton, Milos Hauskrecht, Carlos Guestri...
ICIAP
2007
ACM
14 years 5 months ago
Interval-Based Linear Hybrid Dynamical System for Modeling Cross-Media Timing Structures in Multimedia Signals
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
Hiroaki Kawashima, Takashi Matsuyama
CAV
2004
Springer
93views Hardware» more  CAV 2004»
13 years 11 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
EOR
2006
91views more  EOR 2006»
13 years 5 months ago
Solving Irregular Strip Packing problems by hybridising simulated annealing and linear programming
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space ...
A. Miguel Gomes, José F. Oliveira
HYBRID
2007
Springer
13 years 12 months ago
Sporadic Control of First-Order Linear Stochastic Systems
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
Erik Johannesson, Toivo Henningsson, Anton Cervin