1204 search results - page 137 / 241 » Hybrid Probabilistic Programs |
102
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
131
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
148
click to vote
HYBRID
2011
Springer
14 years 13 days ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
152
Voted
UAI
1997
15 years 2 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...