412 search results - page 35 / 83 » Observability of Switched Linear Systems in Continuous Time |
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
Planar linear motors Sawyer motors have been used in industry as open-loop stepping motors, but their robustness and versatility has been limited. Using a sensor recently integrat...
FCT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we describe a proactive recovery scheme based on service migration for long-running Byzantine fault tolerant systems. Proactive recovery is an essential method for ...