575 search results - page 42 / 115 » Controller Synthesis for Probabilistic Systems |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
APN
2005
Springer
14 years 1 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper deals with convex relaxations for quadratic distance problems, a class of optimization problems relevant to several important topics in the analysis and synthesis of ro...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— The vision system for micromanipulation and microassembly usually includes at least two cameras allowing top and lateral views of the work field. The top view is used to contr...
EJASMP
2010
13 years 2 months ago
2010
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...