276 search results - page 4 / 56 » Bisimulation Relations for Dynamical and Control Systems |
FOSSACS
2004
Springer
14 years 27 days ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
AI
2011
Springer
13 years 2 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
CDC
2009
IEEE
14 years 7 days ago
2009
IEEE
— It is presented a discontinuous controller that ensure uniform finite-time zero stabilization of the output for uncertain SISO systems of relative degree two, while keeping th...
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemp...