Sciweavers

575 search results - page 22 / 115
» Controller Synthesis for Probabilistic Systems
Sort
View
IDEAS
1999
IEEE
166views Database» more  IDEAS 1999»
14 years 6 days ago
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
Cory J. Butz, S. K. Michael Wong
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
13 years 8 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic
LCTRTS
2010
Springer
14 years 2 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
LSSC
2005
Springer
14 years 1 months ago
On the Synthesis of a Stabilizing Feedback Control
Starting from states near to a closed set S we want to steer S and to stay always close to S. Unfortunately, open-loop controls are very sensitive to disturbances and can lead to v...
Mikhail Krastanov
IVA
2007
Springer
14 years 2 months ago
The CereVoice Characterful Speech Synthesiser SDK
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
Matthew P. Aylett, Christopher J. Pidcock