3565 search results - page 455 / 713 » Modeling a system controller for timing analysis |
123
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
175
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
144
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
135
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
137
click to vote
COORDINATION
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...