4971 search results - page 27 / 995 » Observation systems |
UTP
2010
13 years 5 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
CAV
2003
Springer
14 years 23 days ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...