15660 search results - page 142 / 3132 » The Unbalance of Set Systems |
167
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
164
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
185
click to vote
WSC
2008
15 years 9 months ago
2008
We consider the problem of selecting the best among several heavy-tailed systems using a large deviations perspective. In contrast to the light-tailed setting studied by Glynn and...
182
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
156
click to vote
IJCAI
2003
15 years 8 months ago
2003
We address the task of problem determination in a distributed system using probes, or test transactions, which gather information about system components. Effective probing requir...