On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification

1) Concept: In order to adapt rapidly to changes, it is im- portant to quickly take into account recent events. A common way to give a high importance to recent events is to forget

The Nice Declaration, which was adopted in December 2000, stressed the need to preserve and promote the social functions of sport and the key role of sports federations to ensure

Since the semantics is defined at the level of Kermeta’s transformation language itself, our work presents two interesting features: first, any DSL whose behaviour is defined

In this paper, we report on an experiment using DiaSpec (both the design language and compiler) to develop a standard robotics application.. We discuss the benefits and problems

While classical timing-based algorithms assume a global timing assumption that is, for each process, on any pair of consecutive operations (even when executed on different objects,

Neural networks provide multi-class classification regardless of the linear time-separability of classes. In addition, neural networks are able to determine the presence

We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover several known determinizable classes of

It is not always possible to express all the constraints as combinatory DSC because for that, it is necessary to have a sensor. If the sensor is not present, it is necessary to