Reactive systems are systems that maintain permanent interactions with their environment. In this paper, we present our experience teaching discrete-event reactive systems to Electrical Engineering students. The course ranges from logic circuits to software components, and covers models, analysis, design of various systems (from logical systems to embedded systems). Since our students are not e...

We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each other. Semantic schema matching is based on the two ideas: (i) we discover mappings by computing semantic relations (e.g., equivalence, more general); (ii) we determine semantic relations by analyzing the meaning (con...

In this paper, we address the following problem: given a robot which is at some unknown location in a known environment, how does the robot go about reaching its goal? In resolving this problem, we have abandoned the notion of localisation and instead developed the concept of a reactive network. A reactive network is simply a specialized kind of nite state machine whose states correspond to act...

Reactive systems are often designed as two parts: computation and control. The computation part is modeled by operator diagrams, while the control part is modeled by transition-based models. In this paper, we concentrate on analyzing the testability of the control part by using upon transition based models. We first transform transition-based models into Markov chains by augmenting probability ...

To address the complex and dynamic conditions of a virtual environment, computer animation researchers are applying methods similar to the ones used in artificial life to create reactive actors. A reactive actor is a control entity whose behavior is based on the sensory information it receives from the environment. The system presented within this paper, RAVE (Reactive Actors in Virtual Environ...

The term navigation refers to the capability of a system to move autonomously in its environment, by using its own sensors. The more specific term visual navigation is used for the process of motion control based on the analysis of data gathered by visual sensors. The field of visual navigation is of particular importance mainly because of the rich perceptual input provided by vision. The probl...

Abstract. Synchronous programming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imper...

Autonomous systems in uncertain dynamic environments must reconfigure themselves in response to unanticipated events and goals in real-time. We present an approach to reactive configuration planning based on the principle of decomposition. Reactive plans are susceptible to exponential state space explosion. We address this problem through transition-based decomposition by generating compact dec...

We propose a design approach for real-time reactive systems. The core of the approach is to use abstract real-time requirements or constraints arising from different views of a system. These requirements are specified separately in the early phases of the development. When conjoining such views, it is a design decision to partition realtime requirements given in the views into those needed for ...

Synchronousprogramming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, decl...