Formally reening a real-time speciication to an implementation is only possible when the speciication allows for all physical limitations , and timing and signal errors inherent in the implementation. Allowing for such implementation-speciic details in a top-level specii-cation can, however, obscure the desired functionality and complicate analysis. Furthermore, such an approach assumes the spe...

In this paper, we show that Asteroid (433) Eros is currently residing in a spin–orbit resonance, with its spin axis undergoing a smallamplitude libration about the Cassini state 2 of the proper mode in the nonsingular orbital element sin I/2 exp(ıΩ), where I the orbital inclination and Ω the longitude of the node. The period of this libration is 53.4 kyr. By excluding these libration wiggles, w...

The stepwise development of a program using reene-ment requires that the original abstract speciication is realisable, i.e., an implementation exists with identical functionality. In some situations, this may not be desirable or even possible, and an ideal speciication which is only approximated by the nal implementation is used. For these speciications, an informal step, based on the developer...

We explore a new possibility that some inflaton fields in multi-field inflation models satisfy the observed value of the spectral index so that the curvature perturbation generated by them through post-inflationary dynamics may be relevant for the current observations. We illustrate this point using a simple and reasonable multi-field chaotic inflation model motivated from string theory. Possib...

In this paper differential forms and differential algebra are applied to give a new definition of realization for multivariable nonlinear systems consistent with the linear realization theory. Criteria for the existence of realization and the definition of minimal realization are presented. The relations of minimal realization and accessibility and finally the computation of realizations are al...

Copyright © 2001, Idea Group Publishing. The research effort on Electronic Patient Records (EPRs) has rapidly increased in the last decade. Much of this research focussed on standardisation and technical realizations. We will describe such a research effort in this chapter and evaluate its success. Our main finding is that the lack of success of this specific research effort is mainly due to it...

Previous timing data for PSR B1620−26 were consistent with a second companion mass m 2 anywhere in the range ∼ 10 −3 − 1 M ⊙ , i.e., from a Jupiter-type planet to a star. We present the latest timing parameters for the system, including a significant change in the projected semi-major axis of the inner binary, a marginal detection of the fourth time derivative of the pulse frequency, and the pu...

The paper investigates the structure of the reachable set of linear switched systems. The structure of the reachable set is determined using techniques from classical nonlinear systems theory, namely, the theory of orbits developed by H. Sussman and the realization theory for nonlinear systems developed by B. Jakubczyk.

Dealing with dialogues requires developing different levels of interpretation. An intention-based analysis must take into account discourse conventions and communication phenomena which shall result in coherent cooperative dialogues. The realisation of such a system is possible by distributing the tasks to independent agents. We show that the collaboration of these agents is possible by buildin...

Multi-agent systems have been importantly contributing to the development of the theory and the practice of complex distributed systems and, in particular, have shown the potential to meet critical needs in high-speed, mission-critical content-rich and distributed information applications where mutual interdependencies, dynamic environments, uncertainty, and sophisticated control play a role. T...