157 search results - page 24 / 32 » Compositional Control Synthesis for Partially Observable Sys... |
146
click to vote
VLDB
2007
ACM
15 years 9 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...
HYBRID
2004
Springer
15 years 3 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...
SIGSOFT
2001
ACM
15 years 10 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...
194
click to vote
DNA
2011
Springer
13 years 9 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...
FORMATS
2009
Springer
15 years 1 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 ...