1578 search results - page 92 / 316 » Self-healing systems - survey and synthesis |
194
Voted
BPM
2006
Springer
15 years 9 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
178
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
160
Voted
HYBRID
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
202
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...