157 search results - page 24 / 32 » Compositional Control Synthesis for Partially Observable Sys... |
192
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
119
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
The genetic network regulating the biosynthesis of subtilin in Bacillus subtilis is modeled as a stochastic hybrid system. The continuous state of the hybrid system is the concentr...
148
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
253
click to vote
DNA
2011
Springer
14 years 2 months ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
124
click to vote
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...