2838 search results - page 123 / 568 » Verifying Controlled Components |
ZUM
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
AROBOTS
2004
13 years 10 months ago
2004
In this paper, we present discrete-time, nonspatial, macroscopic models able to capture the dynamics of collective aggregation experiments using groups of embodied agents endowed ...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
This paper presents an authentication scheme and an access control scheme for JPEG2000 image codestreams based on hash chains. Both schemes are fully compatible with the core part...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
—It is desirable that colony robots be autonomous and self-sufficient, which requires that they can perform their duties while maintaining enough energy to operate. In previous w...