1578 search results - page 92 / 316 » Self-healing systems - survey and synthesis |
BPM
2006
Springer
13 years 10 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
EDOC
2008
IEEE
14 years 2 months ago
2008
IEEE
CDC
2009
IEEE
14 years 27 days 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...
HYBRID
2004
Springer
14 years 1 months 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...
TABLEAUX
2009
Springer
14 years 2 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...