1398 search results - page 102 / 280 » Ensuring Properties of Interaction Systems |
153
click to vote
RSS
2007
15 years 5 months ago
2007
— We propose a novel switching control law for the posture stabilization of a wheeled mobile robot, that utilizes the (energetic) passivity of the system’s open-loop dynamics w...
ENTCS
2006
15 years 4 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
109
click to vote
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
130
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
155
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...